projects
/
model-checker-benchmarks.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
0cc6fde
)
typo
cdsspec-bench
author
Peizhao Ou
<peizhaoo@uci.edu>
Fri, 9 Dec 2016 19:48:14 +0000
(11:48 -0800)
committer
Peizhao Ou
<peizhaoo@uci.edu>
Fri, 9 Dec 2016 19:48:14 +0000
(11:48 -0800)
ms-queue/queue.c
patch
|
blob
|
history
diff --git
a/ms-queue/queue.c
b/ms-queue/queue.c
index 20de1289db00f019efc9eb9f6e8ce6ab535f3506..b868d2e57b5d4d6fbebc9ab504afcf716f69eec3 100644
(file)
--- a/
ms-queue/queue.c
+++ b/
ms-queue/queue.c
@@
-172,7
+172,7
@@
void enqueue(queue_t *q, unsigned int val, int n)
// "memory_order_release" to "memory_order_relaxed", run "make" to
// recompile, and then run:
// "./run.sh ./ms-queue/testcase1 -m2 -y -u3 -tSPEC"
// "memory_order_release" to "memory_order_relaxed", run "make" to
// recompile, and then run:
// "./run.sh ./ms-queue/testcase1 -m2 -y -u3 -tSPEC"
- /********** Detected Corrctness (testcase1) **********/
+ /********** Detected Corr
e
ctness (testcase1) **********/
atomic_compare_exchange_strong_explicit(&q->tail,
&tail,
MAKE_POINTER(node, get_count(tail) + 1),
atomic_compare_exchange_strong_explicit(&q->tail,
&tail,
MAKE_POINTER(node, get_count(tail) + 1),