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

Vulkan-MemoryModel issue 7: Clarify that scoped modification order only relates atomic writes. (#906) 

Bonus: Clarify that mutually-ordered is irreflexive. Irreflexivity of some other relations follows naturally from this.
This commit is contained in:
Jeff Bolz 2019-02-10 04:35:13 -06:00 committed by Jon Leech
parent b59ec03ee3
commit 38e3780685
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
appendices/memorymodel.txt
View File

@ -172,6 +172,7 @@ if all of the following are true:
* They use the same reference.
* A is in the instance of B's memory scope.
* B is in the instance of A's memory scope.
* A and B are not the same operation (irreflexive).
Two atomic operations A and B are _mutually-ordered_ if and only if they are
potentially-mutually-ordered and any of the following are true:
@ -188,7 +189,7 @@ other as if they were non-atomic operations.
[[memory-model-scoped-modification-order]]
== Scoped Modification Order
For a given atomic operation A, all atomic operations that are
For a given atomic write A, all atomic writes that are
mutually-ordered with A occur in an order known as A's _scoped modification
order_.
A's scoped modification order relates no other operations.