8 static void a(void *obj) {
12 static void b(void *obj) {
16 static void c(void *obj) {
17 int r1 = lock->read();
20 int user_main(int argc, char **argv) {
21 thrd_t t1, t2, t3, t4;
22 lock = new seqlock_t();
24 thrd_create(&t1, (thrd_start_t)&a, NULL);
25 //thrd_create(&t2, (thrd_start_t)&b, NULL);
26 thrd_create(&t3, (thrd_start_t)&c, NULL);