12 void threadA(void *arg) {
13 int r1 = put(table, k1, v1);
14 int r2 = get(table, k2);
15 printf("r2=%d\n", r2);
18 void threadB(void *arg) {
19 int r3 = put(table, k2, v2);
20 int r4 = get(table, k1);
21 printf("r4=%d\n", r4);
24 int user_main(int argc, char *argv[]) {
32 thrd_create(&t1, threadA, NULL);
33 thrd_create(&t2, threadB, NULL);