fix some bug in the multicore gc
authorjzhou <jzhou>
Thu, 25 Feb 2010 19:24:26 +0000 (19:24 +0000)
committerjzhou <jzhou>
Thu, 25 Feb 2010 19:24:26 +0000 (19:24 +0000)
commit52db40caade88a57b1cc50ff4065350ef1ccd90a
tree3ef95db497eb0fbb90d1c45bfd63776fab703955
parentbdc9612819448b63674dc7884fa10dbaba2185d4
fix some bug in the multicore gc
Robust/src/Runtime/MGCHash.c
Robust/src/Runtime/MGCHash.h
Robust/src/Runtime/multicoregarbage.c
Robust/src/Runtime/multicoregarbage.h
Robust/src/Runtime/multicoreruntime.h
Robust/src/Runtime/multicoretask.c