projects / model-checker-benchmarks.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 40b27f4) | patch
barrier: modify to allow more than one reader
authorBrian Norris <computersforpeace@gmail.com>
Fri, 2 Nov 2012 04:57:22 +0000 (21:57 -0700)
committerBrian Norris <computersforpeace@gmail.com>
Fri, 2 Nov 2012 04:57:22 +0000 (21:57 -0700)
commita5efb65980dd2d82ed59a3b66d34a524e373a64d
treeac4604e0f2c52b71afbbbd796edd7e4f03e90d35tree | snapshot
parent40b27f40998eed81640b016094bacf79df96d377commit | diff
barrier: modify to allow more than one reader

Just change the NUMREADERS macro to add more reader-threads.

Having 3 or more threads is a more interesting example, since there's
no contention if you just have one thread spin, waiting for the other.
barrier/barrier.cc diff | blob | history
C++11 memory model checker benchmarks