projects
/
model-checker.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
99615e2
)
litmus: iriw: use release/acquire, not release/relaxed
author
Brian Norris
<banorris@uci.edu>
Wed, 16 Jan 2013 07:57:45 +0000
(23:57 -0800)
committer
Brian Norris
<banorris@uci.edu>
Wed, 16 Jan 2013 07:57:45 +0000
(23:57 -0800)
test/litmus/iriw.cc
patch
|
blob
|
history
diff --git
a/test/litmus/iriw.cc
b/test/litmus/iriw.cc
index cc519f1448ea8b1804475f9ebaf6de2ff398aacb..80ee8b90f77ecd2ba3aa5f8e41b48b5f9017343f 100644
(file)
--- a/
test/litmus/iriw.cc
+++ b/
test/litmus/iriw.cc
@@
-17,14
+17,14
@@
static void b(void *obj)
static void c(void *obj)
{
static void c(void *obj)
{
- printf("x1: %d\n", x.load(std::memory_order_
relaxed
));
- printf("y1: %d\n", y.load(std::memory_order_
relaxed
));
+ printf("x1: %d\n", x.load(std::memory_order_
acquire
));
+ printf("y1: %d\n", y.load(std::memory_order_
acquire
));
}
static void d(void *obj)
{
}
static void d(void *obj)
{
- printf("y2: %d\n", y.load(std::memory_order_
relaxed
));
- printf("x2: %d\n", x.load(std::memory_order_
relaxed
));
+ printf("y2: %d\n", y.load(std::memory_order_
acquire
));
+ printf("x2: %d\n", x.load(std::memory_order_
acquire
));
}
int user_main(int argc, char **argv)
}
int user_main(int argc, char **argv)