projects / model-checker-benchmarks.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 56f694f) | patch
mpmc-queue: improve driver, to read all items from queue
authorBrian Norris <banorris@uci.edu>
Thu, 1 Nov 2012 19:19:58 +0000 (12:19 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 1 Nov 2012 19:19:58 +0000 (12:19 -0700)
commitfca16811b01b581abd2a12df879558cdf32663e4
treec043cb3c8289e418bd2b98f516dfd79d39dbb981tree | snapshot
parent56f694f69986d2bf749d9cec0c5fe2fa4693aed0commit | diff
mpmc-queue: improve driver, to read all items from queue

threadB() will now read all currently available items from the queue.
mpmc-queue/mpmc-queue.cc diff | blob | history
C++11 memory model checker benchmarks