From d70f6f259c9850e5fceb527e3a9541c440c0146b Mon Sep 17 00:00:00 2001 From: Brian Demsky Date: Mon, 7 Jan 2013 16:55:00 -0800 Subject: [PATCH 1/1] new test case --- test/rmw2prog.c | 37 +++++++++++++++++++++++++++++++++++++ 1 file changed, 37 insertions(+) create mode 100644 test/rmw2prog.c diff --git a/test/rmw2prog.c b/test/rmw2prog.c new file mode 100644 index 0000000..0d03b02 --- /dev/null +++ b/test/rmw2prog.c @@ -0,0 +1,37 @@ +#include +#include +#include + +#include "librace.h" + +atomic_int x; +atomic_int y; + +static void a(void *obj) +{ + int v1=atomic_fetch_add_explicit(&x, 1, memory_order_relaxed); + int v2=atomic_fetch_add_explicit(&y, 1, memory_order_relaxed); + printf("v1 = %d, v2=%d\n", v1, v2); +} + +static void b(void *obj) +{ + int v3=atomic_fetch_add_explicit(&y, 1, memory_order_relaxed); + int v4=atomic_fetch_add_explicit(&x, 1, memory_order_relaxed); + printf("v3 = %d, v4=%d\n", v3, v4); +} + +int user_main(int argc, char **argv) +{ + thrd_t t1, t2; + + atomic_init(&x, 0); + atomic_init(&y, 0); + thrd_create(&t1, (thrd_start_t)&a, NULL); + thrd_create(&t2, (thrd_start_t)&b, NULL); + + thrd_join(t1); + thrd_join(t2); + + return 0; +} -- 2.34.1