projects / model-checker-benchmarks.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 650879e) | patch
spsc-queue: add new benchmark
authorBrian Norris <banorris@uci.edu>
Thu, 11 Oct 2012 00:03:04 +0000 (17:03 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 11 Oct 2012 00:03:04 +0000 (17:03 -0700)
commitced31653a84f29c3f236fb5976f1241262953914
tree916bea4a65ec1986a5c431c3132921f18dadd5a6tree | snapshot
parent650879eaa7fc800f453f65c717ccd8c30aa1089bcommit | diff
spsc-queue: add new benchmark

From:
https://groups.google.com/forum/?fromgroups=#!msg/comp.programming.threads/nSSFT9vKEe0/7eD3ioDg6nEJ
spsc-queue/eventcount.h [new file with mode: 0644] blob
spsc-queue/queue.h [new file with mode: 0644] blob
spsc-queue/spsc-queue.cc [new file with mode: 0644] blob
C++11 memory model checker benchmarks