mark before adding zero-overhead linux mode
authorjzhou <jzhou>
Wed, 10 Mar 2010 18:49:38 +0000 (18:49 +0000)
committerjzhou <jzhou>
Wed, 10 Mar 2010 18:49:38 +0000 (18:49 +0000)
commitcb67f269f8a6dfad6c92deeca348e9da42146479
tree3732ac674f115c7b5f8adb828c5bc8e3b1fb5689
parent7ac2c4e25fb8573bf43e40b9e36bf71bc6cd56fc
mark before adding zero-overhead linux mode
Robust/src/Runtime/multicoreruntime.h
Robust/src/Runtime/multicoretask.c