projects / model-checker-benchmarks.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6c65f26) | patch
mcs-lock: driver bugfix (deadlocking)
authorBrian Norris <computersforpeace@gmail.com>
Thu, 11 Oct 2012 01:33:27 +0000 (18:33 -0700)
committerBrian Norris <computersforpeace@gmail.com>
Thu, 11 Oct 2012 01:33:27 +0000 (18:33 -0700)
commitefc422a9ae20513f8a69b1cd53cb13de62dd4218
tree37caaa5726ce3d08f8d8a09f13f2acfba09a292etree | snapshot
parent6c65f26591800fb20e37ba2a82fb659be07c7d22commit | diff
mcs-lock: driver bugfix (deadlocking)

I didn't notice that the guard automatically locks/unlocks the mutex on
creation/destruction, respectively.
mcs-lock/mcs-lock.cc diff | blob | history
C++11 memory model checker benchmarks