projects / c11tester.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2693d3e) | patch
model: JOIN/LOCK unification
authorBrian Norris <banorris@uci.edu>
Wed, 3 Oct 2012 19:07:33 +0000 (12:07 -0700)
committerBrian Norris <banorris@uci.edu>
Tue, 9 Oct 2012 02:59:37 +0000 (19:59 -0700)
commit5d87d23f622d396fd2e1c94d61f901429c5f35ac
treee43bec528f498c29e6d42c1d5ba6b9dee9b583f2tree | snapshot
parent2693d3e8789d9f06a66aa9cd612a395c2cf649eacommit | diff
model: JOIN/LOCK unification

Make join and lock actions use similar code paths.

This used to trigger a bug, due to the lack of a private snapshotting
heap.
model.cc diff | blob | history
model.h diff | blob | history
C11 Tester Tool Public Repository