projects / model-checker-benchmarks.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4cd5981) | patch
ms-queue: finally, the correct (?) memory orderings
authorBrian Norris <banorris@uci.edu>
Fri, 8 Mar 2013 23:52:26 +0000 (15:52 -0800)
committerBrian Norris <banorris@uci.edu>
Fri, 8 Mar 2013 23:52:26 +0000 (15:52 -0800)
commitd9df2d0a3a5bbd40771568c659d60c19e197af25
tree96552ddfb6881c77aa21eba7c6f9fc55965cfd9ctree | snapshot
parent4cd598105d4f196946bb15068ec4be2dc6c691bccommit | diff
ms-queue: finally, the correct (?) memory orderings

With much discussion over the intent of the algorithm and the accuracy
of these orderings, we have an accurate representation of the M&S Queue.
ms-queue/my_queue.c diff | blob | history
C++11 memory model checker benchmarks