4 #include "seqlock-wildcard.h"
8 static void a(void *obj) {
12 static void b(void *obj) {
14 int r1 = lock->read();
17 static void c(void *obj) {
18 int r1 = lock->read();
21 int user_main(int argc, char **argv) {
22 thrd_t t1, t2, t3, t4;
23 lock = new seqlock_t();
25 thrd_create(&t1, (thrd_start_t)&a, NULL);
26 thrd_create(&t2, (thrd_start_t)&b, NULL);
27 //thrd_create(&t3, (thrd_start_t)&c, NULL);