projects / c11tester.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fe45c6f) | patch
model: add read-acquire/fence-release support
authorBrian Norris <banorris@uci.edu>
Tue, 4 Dec 2012 22:08:13 +0000 (14:08 -0800)
committerBrian Norris <banorris@uci.edu>
Tue, 4 Dec 2012 23:33:23 +0000 (15:33 -0800)
commit7966c737f2a88e5e1a56817eb9f6fdaead3eca92
tree48e4de44721aac2996cf35c76d0ce4209b6e5ea5tree | snapshot
parentfe45c6f997fc39b80e8cfeb326b7cd514c0eda3bcommit | diff
model: add read-acquire/fence-release support

C++ Section 29.8, statement 3: gives conditions under which a
read-acquire and fence-release might synchronize. It's easy enough to
integrate into our existing release sequence code.
model.cc diff | blob | history
C11 Tester Tool Public Repository