projects / model-checker-benchmarks.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0c8437e) | patch
mpmc-queue: unify source file again
authorBrian Norris <banorris@uci.edu>
Thu, 8 Nov 2012 17:53:11 +0000 (09:53 -0800)
committerBrian Norris <banorris@uci.edu>
Thu, 8 Nov 2012 17:53:11 +0000 (09:53 -0800)
commitca8555d0e02fb0b6e37bfbff4adee760c2248efb
tree5de1b37cb7ecb2bba7e8ff3ae0a4bc75570d1648tree | snapshot
parent0c8437e6e1d1c333ed326acc5304a289c48f5443commit | diff
mpmc-queue: unify source file again

I really didn't want 3 copies of the same source file just to get around
some model-checker snapshotting limitations in argument parsing... So
now, it's a compile-time option to configure the number of reader/writer
threads.
mpmc-queue/Makefile diff | blob | history
mpmc-queue/mpmc-queue.cc diff | blob | history
C++11 memory model checker benchmarks