projects / model-checker-benchmarks.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9f2a28f) | patch
optimizations to mpmc-queue yield placement
authorBrian Demsky <bdemsky@uci.edu>
Thu, 14 Mar 2013 07:24:25 +0000 (00:24 -0700)
committerBrian Demsky <bdemsky@uci.edu>
Thu, 14 Mar 2013 07:24:25 +0000 (00:24 -0700)
commite2f231b345801a670b9e817c1248c7ae53bdd96d
tree229fc4258db04862a4d7014b0bc20f00c8745ed2tree | snapshot
parent9f2a28f12f61001be2bd5adc74964acf5e8e6721commit | diff
optimizations to mpmc-queue yield placement
simpler test case for concurrent readers/writers of mpmc-queue
bench.sh diff | blob | history
mpmc-queue/Makefile diff | blob | history
mpmc-queue/mpmc-queue.cc diff | blob | history
mpmc-queue/mpmc-queue.h diff | blob | history
C++11 memory model checker benchmarks