10 void do_work_son(int vcoreid)
12 int cpuid = sys_getcpuid();
13 int pid = sys_getpid();
14 printf("Hello! My Process ID: %d My VCoreID: %d My CPU: %d\n", pid, vcoreid, cpuid);
15 mcs_barrier_wait(&b,vcoreid);
20 assert(vcore_id() > 0);
21 do_work_son(vcore_id());
24 int main(int argc, char** argv)
26 assert(vcore_id() == 0);
27 mcs_barrier_init(&b,max_vcores());
28 vcore_request(max_vcores()-1);