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("Main thread: creating 2 threads\n");
38 thrd_create(&t1, (thrd_start_t)&a, NULL);
39 thrd_create(&t2, (thrd_start_t)&b, NULL);
43 printf("Main thread is finished\n");