Change the local hashtable for recording the pointer mapping info used in the gc...
authorjzhou <jzhou>
Thu, 8 Jul 2010 21:48:02 +0000 (21:48 +0000)
committerjzhou <jzhou>
Thu, 8 Jul 2010 21:48:02 +0000 (21:48 +0000)
commit061e6ad68379b382179aae07dc661711243b9ab9
tree3d64585b823da880f371b0ac80012d6d7ef0a4e1
parentc673696f2f9244c02a886b00565b41b0177463f3
Change the local hashtable for recording the pointer mapping info used in the gc flush phase and make it more efficient.  Basically never release allocated memory and use mask instead of modular for hash entry computation.
Robust/src/Runtime/GCSharedHash.c
Robust/src/Runtime/MGCHash.c
Robust/src/Runtime/MGCHash.h
Robust/src/Runtime/multicoregarbage.c
Robust/src/Runtime/multicoregarbage.h
Robust/src/Runtime/multicoretask.c