https://123dok.net/document/qvlv65ry-ensuring-memory-consistency-in-heterogeneous-systems-based-on-access-mode-declarations.html