status-im
/
Vulkan-Docs
mirror of https://github.com/status-im/Vulkan-Docs.git
2
0
Fork 0
Code Issues Projects Releases Wiki Activity

Memory model: Remove (unnecessary) scoped modification order case from location-ordered definition (#924)

This commit is contained in:
Jeff Bolz 2019-03-11 03:18:24 -05:00 committed by Jon Leech
parent 35e7bee5f0
commit ab5ee84397
1 changed files with 0 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
appendices/memorymodel.txt
View File

@ -719,8 +719,6 @@ the following is true:
* A~X~ == A~Y~ and R~X~ == R~Y~ and X->Y
** NOTE: this case means no availability/visibility ops required when it's
the same (agent,reference).
* X and Y are mutually-ordered atomics, and X is before Y in X's scoped
modification order
* X is a read, both X and Y are non-private, and X->Y
* X is a read, and X (transitively) system-synchronizes with Y