8 void thread(unsigned thread_index)
10 if (0 == thread_index)
12 arr[1].store(memory_order_relaxed);
18 bool succ = q->dequeue(&val);
19 arr[val].load(memory_order_relaxed);
23 int user_main(int argc, char **argv)
29 thrd_create(&A, (thrd_start_t)&thread, (void *)0);
30 thrd_create(&B, (thrd_start_t)&thread, (void *)1);