projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 82a487f) | patch
the initialized logic appears to be wrong... release/acquire pairs only
authorBrian Demsky <bdemsky@uci.edu>
Fri, 13 Jul 2012 17:21:58 +0000 (10:21 -0700)
committerBrian Demsky <bdemsky@uci.edu>
Fri, 13 Jul 2012 17:21:58 +0000 (10:21 -0700)
commit86fcd30e9522c2bc7f81a7bf7da88186b38c3fd0
tree81be56f67be6c5f6f53ec22e7c79eb44ac4819f6tree | snapshot
parent82a487f5efd48d3ec5f35a72e826100371731506commit | diff
the initialized logic appears to be wrong...  release/acquire pairs only
establish synchronization if the load reads the release store...  just because
all possible reads would synchronize doesn't mean that load can't fail to see them all...
model.cc diff | blob | history
C++11 memory model checker