4 #include "libinterface.h"
11 static void a(void *obj)
29 int cas_value = rmw_32(CAS, &x, r1, r2);
31 cas_value1 = rmw_32(ADD, &y, r1, r1);
34 int user_main(int argc, char **argv)
41 printf("Main thread: creating 2 threads\n");
42 thrd_create(&t1, (thrd_start_t)&a, NULL);
45 printf("Main thread is finished\n");
46 int lgr1=load_32(&gr1);
48 int lgr2=load_32(&gr2);