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