6 /** Making w4 & w11 seq_cst */
13 void threadA(void *arg) {
14 int r1 = put(table, k1, v1);
15 int r2 = get(table, k2);
16 printf("r2=%d\n", r2);
19 void threadB(void *arg) {
20 int r3 = put(table, k2, v2);
21 int r4 = get(table, k1);
22 printf("r4=%d\n", r4);
25 int user_main(int argc, char *argv[]) {
31 thrd_create(&t1, threadA, NULL);
32 thrd_create(&t2, threadB, NULL);