Specification Version
SYCL 2020 (Revision 12)
Section Number(s)
3.8. Memory model (https://registry.khronos.org/SYCL/specs/sycl-2020/html/sycl-2020.html#sec:memory.model)
Issue Description
We should describe the formal memory of SYCL. Something similar has been done for OpenCL (see https://registry.khronos.org/OpenCL/specs/unified/html/OpenCL_API.html#_memory_model), so this could perhaps be the starting point.
Previous comment in the SYCL spec:
The addition of memory scopes to the C++ memory model modifies the definition of some concepts from the C++ core language.
For example: data races, the synchronizes-with relationship and sequential consistency must be defined in a way that accounts for atomic operations with differing (but compatible) scopes, in a manner similar to the OpenCL specification.
Code Example (Optional)
No response
Specification Version
SYCL 2020 (Revision 12)
Section Number(s)
3.8. Memory model (https://registry.khronos.org/SYCL/specs/sycl-2020/html/sycl-2020.html#sec:memory.model)
Issue Description
We should describe the formal memory of SYCL. Something similar has been done for OpenCL (see https://registry.khronos.org/OpenCL/specs/unified/html/OpenCL_API.html#_memory_model), so this could perhaps be the starting point.
Previous comment in the SYCL spec:
The addition of memory scopes to the C++ memory model modifies the definition of some concepts from the C++ core language.
For example: data races, the synchronizes-with relationship and sequential consistency must be defined in a way that accounts for atomic operations with differing (but compatible) scopes, in a manner similar to the OpenCL specification.
Code Example (Optional)
No response