6 /** Making w4 & w11 seq_cst */
13 void threadA(void *arg) {
14 int r1 = put(table, k1, v1);
15 int r2 = get(table, k2);
18 void threadB(void *arg) {
19 int r3 = put(table, k2, v2);
20 int r4 = get(table, k1);
23 int user_main(int argc, char *argv[]) {
29 thrd_create(&t1, threadA, NULL);
30 thrd_create(&t2, threadB, NULL);