race condition fixed: race due to thread rec becoming NULL before accessing its field...
authoradash <adash>
Thu, 7 May 2009 19:26:22 +0000 (19:26 +0000)
committeradash <adash>
Thu, 7 May 2009 19:26:22 +0000 (19:26 +0000)
commite1026930b587bd6dd313190f857d08547158809e
treebb91ec13d04a1cec2fe933ebf52924afda660d32
parentae475ea8e0551298aa2adb3a571e89dd0c06f387
race condition fixed: race due to thread rec becoming NULL before accessing its field/element
Robust/src/Runtime/STM/stm.c
Robust/src/Runtime/STM/tm.h
Robust/src/Runtime/thread.c