changes to linuxrwlock;

[model-checker-benchmarks.git] / linuxrwlocks / testcase1.c

diff --git a/linuxrwlocks/testcase1.c b/linuxrwlocks/testcase1.c
index 0becb241ab0fe33be6bc2292aa549e8aaeae1895..2118561a65605d136d17c0ea4f92282f34f2fde0 100644 (file)
--- a/linuxrwlocks/testcase1.c
+++ b/linuxrwlocks/testcase1.c
@@ -31,10 +31,10 @@ static void a(void *obj)
 
 static void b(void *obj)
 {
-
-       write_lock(&mylock);
-       atomic_store_explicit(&x, 16, relaxed);
-       write_unlock(&mylock);
+       if (write_trylock(&mylock)) {
+               atomic_store_explicit(&x, 16, relaxed);
+               write_unlock(&mylock);
+       }
 
        read_lock(&mylock);
        atomic_load_explicit(&x, relaxed);