Fix bug in multicore gc: the master core should send msgs to all the other cores...
authorjzhou <jzhou>
Thu, 5 Aug 2010 18:36:08 +0000 (18:36 +0000)
committerjzhou <jzhou>
Thu, 5 Aug 2010 18:36:08 +0000 (18:36 +0000)
commit06f9007e8c8870a7d858a83b7776a981b6ac1df4
tree44e05c3cdd85988811fdf88e29586a828d553fb0
parenta9a0db766b1255e86b9b680a6098df7b0adff78c
Fix bug in multicore gc: the master core should send msgs to all the other cores and tell them to stop for gc as soon as it finds that there is no more shared memory
Robust/src/Runtime/mem.c
Robust/src/Runtime/multicoregarbage.c
Robust/src/Runtime/multicoregarbage.h
Robust/src/Runtime/multicoreruntime.h
Robust/src/Runtime/multicoretask.c