11 static void a(void *obj)
15 printf("shared = %u\n", load_32(&shared));
20 static void b(void *obj)
24 store_32(&shared, 16);
25 printf("write shared = 16\n");
30 int user_main(int argc, char **argv)
37 printf("Thread %d: creating 2 threads\n", thrd_current());
38 thrd_create(&t1, (thrd_start_t)&a, NULL);
39 thrd_create(&t2, (thrd_start_t)&b, NULL);
43 printf("Thread %d is finished\n", thrd_current());