Fixed page coloring given __CONFIG_PAGE_COLOR__
[akaros.git] / tests / manycore_test.c
1 #include <rstdio.h>
2 #include <assert.h>
3 #include <vcore.h>
4 #include <parlib.h>
5 #include <mcs.h>
6
7 mcs_barrier_t b;
8
9 void do_work_son(int vcoreid)
10 {
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);
15 }
16
17 void vcore_entry()
18 {
19         assert(vcore_id() > 0);
20         do_work_son(vcore_id());
21 }
22
23 int main(int argc, char** argv)
24 {
25         assert(vcore_id() == 0);
26         mcs_barrier_init(&b,max_vcores());
27         vcore_request(max_vcores()-1);
28         do_work_son(0);
29         return 0;
30 }