Repository navigation
Clarify atomics memory model - #1032
Conversation
| 2.0 specification>>. | ||
| For example: sequential consistency must be defined in a way that accounts for | ||
| atomic operations with differing (but compatible) scopes, in a manner similar to | ||
| the <<opencl20, OpenCL 2.0 specification>>. |
There was a problem hiding this comment.
I don't know if there is a better way to refer to the OpenCL spec, which I believe is also a combined spec? Or should we just add a reference to the 3.1 spec?
There was a problem hiding this comment.
I think a link to 3.3.7. Memory Consistency Model for OpenCL 2.x maybe the cleaner indeed .
There was a problem hiding this comment.
To be honest, I'm not sure what this sentence is trying to convey other than a TODO for the SYCL WG. Similarly, the following sentence is a promise of something we are still not doing. Is anyone opposed to just removing both lines?
There was a problem hiding this comment.
I agree that this whole NOTE is a TODO for the WG. What do we need to do to address it? Since this PR is already addressing some memory model things, can it be expanded to address the remaining issues in this NOTE?
There was a problem hiding this comment.
As per WG discussion I have removed the rest of the note. I opened #1041 to track addressing the TODOs described in it.
| [NOTE] | ||
| ==== | ||
| The addition of memory scopes to the {cpp} memory model modifies the definition | ||
| of some concepts from the {cpp} 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 <<opencl20, OpenCL | ||
| 2.0 specification>>. | ||
| Efforts to formalize the memory model of SYCL are ongoing, and a formal memory | ||
| model will be included in a future version of the SYCL specification. | ||
| ==== |
There was a problem hiding this comment.
Move the note to issue.
Thanks!
|
Merge as clarification of SYCL 2020 except
Which is a SYCL Next change. |
3 participants
Intended to replace #849. Based on text from OpenCL: https://gitlab.khronos.org/opencl/OpenCL-Docs/-/merge_requests/226.