Re: [petsc-dev] John McCalpin talk: Explicit Hardware and Software Semantics for Data Movement in Parallel Computing