simulator now models two locking modes:
authorbdemsky <bdemsky>
Tue, 15 Sep 2009 19:40:21 +0000 (19:40 +0000)
committerbdemsky <bdemsky>
Tue, 15 Sep 2009 19:40:21 +0000 (19:40 +0000)
commitab4b0fe43f45b5c44761bc293b4bdcbb2aff2a65
treed45ad6d1361e1d1e2461754e2162a332da667bf7
parentb7b292c16e2ff414817915b722c3bd538257ec18
simulator now models two locking modes:
lock -- lazy conflict detection
lockcommit -- kill threads as soon as committing thread conflicts with them
Robust/TransSim/Executor.java
Robust/TransSim/FlexScheduler.java
Robust/TransSim/ObjectInfo.java
Robust/TransSim/ThreadInfo.java
Robust/TransSim/TransSim.java