5 #include "libinterface.h"
12 static void a(void *obj)
30 int cas_value = rmw_32(CAS, &x, r1, r2);
32 cas_value1 = rmw_32(ADD, &y, r1, r1);
35 int user_main(int argc, char **argv)
42 printf("Main thread: creating 2 threads\n");
43 thrd_create(&t1, (thrd_start_t)&a, NULL);
46 printf("Main thread is finished\n");
47 int lgr1=load_32(&gr1);
49 int lgr2=load_32(&gr2);