locking technique for risky objects enabled
authoradash <adash>
Wed, 6 May 2009 21:06:38 +0000 (21:06 +0000)
committeradash <adash>
Wed, 6 May 2009 21:06:38 +0000 (21:06 +0000)
commite60d4e95549c034dfca25992e4041785078b541f
tree6a2814534e0ad262ee85a7ef58501caf565cf188
parentd629847358aa257c24724f966684520bcaa3f9b6
locking technique for risky objects enabled
Robust/src/Runtime/STM/stm.c
Robust/src/Runtime/STM/tm.h
Robust/src/Runtime/garbage.c
Robust/src/Runtime/garbage.h
Robust/src/Runtime/thread.c