Leveraging access mode declarations in a model for memory consistency in heterogeneous systems.