7 #include "model-assert.h"
12 static void a(void *obj)
14 atomic_load_explicit(&z, memory_order_relaxed); // this is only for schedule control
15 int t1=atomic_load_explicit(&x, memory_order_relaxed);
16 atomic_store_explicit(&y, 1, memory_order_relaxed);
20 static void b(void *obj)
22 int t2=atomic_load_explicit(&y, memory_order_relaxed);
23 atomic_store_explicit(&x, t2, memory_order_relaxed);
26 int user_main(int argc, char **argv)
34 thrd_create(&t1, (thrd_start_t)&a, NULL);
35 thrd_create(&t2, (thrd_start_t)&b, NULL);