projects / model-checker-benchmarks.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c446c39) | patch
mpmc-queue: driver fixes
authorBrian Norris <banorris@uci.edu>
Wed, 10 Oct 2012 23:15:56 +0000 (16:15 -0700)
committerBrian Norris <banorris@uci.edu>
Wed, 10 Oct 2012 23:15:56 +0000 (16:15 -0700)
commit650879eaa7fc800f453f65c717ccd8c30aa1089b
treee641ef3d7b7e81df68e25fc138324bb3922f1fabtree | snapshot
parentc446c39fc3b95192f9504d746862b946084a1dfecommit | diff
mpmc-queue: driver fixes

* Initialize queue with at least one item

* Instrument some racy accesses in driver

* Print a little information to see what kind of loops we're stuck in
mpmc-queue/mpmc-queue.cc diff | blob | history
C++11 memory model checker benchmarks