projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 00b14c0) | patch
promise: add is_compatible_exclusive()
authorBrian Norris <banorris@uci.edu>
Tue, 5 Feb 2013 22:03:28 +0000 (14:03 -0800)
committerBrian Norris <banorris@uci.edu>
Wed, 6 Feb 2013 21:44:39 +0000 (13:44 -0800)
commitf06cd40fb350723b2dbe59f8c494b03a60f41b40
treef3bc9ae11bcf4f79626412e13f7b5bd4d37f315btree | snapshot
parent00b14c0561d3838aeb798d3c22f4136f8c4d136bcommit | diff
promise: add is_compatible_exclusive()

Check if a Promise is both compatible *and* exclusive to a particular
thread. This allows ordering optimizations when we can guarantee that a
particular thread must fulfill the promise.
promise.cc diff | blob | history
promise.h diff | blob | history
C++11 memory model checker