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