projects
/
model-checker-benchmarks.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
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)
{
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);
read_lock(&mylock);
atomic_load_explicit(&x, relaxed);