projects / model-checker-benchmarks.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f85d213) | patch
williams-queue: add lock-free-queue
authorBrian Norris <banorris@uci.edu>
Thu, 11 Oct 2012 18:31:03 +0000 (11:31 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 11 Oct 2012 18:31:03 +0000 (11:31 -0700)
commit6f74d487d2d4e80c3785bef20be19d6975c45c73
tree9b51c75c4173b7ae31c85e1380920d6f955b77b3tree | snapshot
parentf85d2132f7b0567de423e76404f3528ae7aba205commit | diff
williams-queue: add lock-free-queue

Lock-free queue code from "C++ Concurrency in Action: Practical
Multithreading", by Anthony Williams

Code taken from:
  http://www.manning.com/williams/CCiA_SourceCode.zip
  http://www.manning.com/williams/

Note that this commit includes several implementation of pieces of the
queue. I will trim them down to a working class in the next step.
williams-queue/williams-queue.h [new file with mode: 0644] blob
C++11 memory model checker benchmarks