New locking strategy... We no longer read lock objects... Instead:
authorbdemsky <bdemsky>
Fri, 17 Apr 2009 22:53:48 +0000 (22:53 +0000)
committerbdemsky <bdemsky>
Fri, 17 Apr 2009 22:53:48 +0000 (22:53 +0000)
commit8536f855895865c440541dc7d87004e4803d1a35
tree21f42384de333ff518f0efe5a1855126ffcf9561
parentfde4a3ebab564de7ee5ae8d5e184092d849fb3f3
New locking strategy...  We no longer read lock objects...  Instead:
We first acquire all write locks.
We next for read object, we check that (1) it isn't locked and the version number matches.
The serialization point for the transaction occurs between the two checks...
Robust/src/Runtime/STM/stm.c
Robust/src/Runtime/STM/tm.h