more changes and some bug fixes for thread notify
authoradash <adash>
Mon, 21 Jan 2008 22:42:31 +0000 (22:42 +0000)
committeradash <adash>
Mon, 21 Jan 2008 22:42:31 +0000 (22:42 +0000)
commit159c180e5e02e77fd5d21c1ffc4a21b56b8258cc
tree280bf9909731c2951254576389f6514057657541
parent56379fd5311533f8029ad04c12ca093d10be5105
more changes and some bug fixes for thread notify
Robust/src/Runtime/DSTM/interface/dstm.h
Robust/src/Runtime/DSTM/interface/dstmserver.c
Robust/src/Runtime/DSTM/interface/threadnotify.c
Robust/src/Runtime/DSTM/interface/threadnotify.h
Robust/src/Runtime/DSTM/interface/trans.c
Robust/src/Runtime/thread.c