3 #include "libinterface.h"
5 /* atomic */ int flag1, flag2;
11 uint64_t var = 0, var2 = 0;
15 int q = load_64(&flag1);
16 if (load_64(&flag1)) {
19 if (!load_64(&flag1)) {
25 rmw_64(CAS, &flag1, var, var2);
26 int r = rmw_64(CAS, &flag1, var, var2);
27 if (rmw_64(CAS, &flag1, var, var2)) {