bug fix in gcollect prefetch cache flush
authoradash <adash>
Fri, 25 Sep 2009 22:05:55 +0000 (22:05 +0000)
committeradash <adash>
Fri, 25 Sep 2009 22:05:55 +0000 (22:05 +0000)
commitcf81a2ae2f8ae66999ca7e8d15cc790b68a223f5
tree9378f125c27037ec9aa2ce4ba6f8398bc9216d39
parent27c4de07142f58e6912be556d6ac51d892961b60
bug fix in gcollect prefetch cache flush
other small changes
Robust/src/Benchmarks/Prefetch/MatrixMultiply/dsm/makefile
Robust/src/ClassLibrary/JavaThread/Object.java
Robust/src/Runtime/DSTM/interface/dstm.h
Robust/src/Runtime/DSTM/interface/gCollect.c
Robust/src/Runtime/DSTM/interface/gCollect.h
Robust/src/Runtime/DSTM/interface/trans.c