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
treef3bc9ae11bcf4f79626412e13f7b5bd4d37f315b
parent00b14c0561d3838aeb798d3c22f4136f8c4d136b
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
promise.h