projects
/
cdsspec-compiler.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
add notes to mcs-lock
[cdsspec-compiler.git]
/
benchmark
/
chase-lev-deque-bugfix
/
deque.c
diff --git
a/benchmark/chase-lev-deque-bugfix/deque.c
b/benchmark/chase-lev-deque-bugfix/deque.c
index fbd723bc6d5f0b2a3b33ff71dcb1e8a4c22b59c6..854091ff41d9845ebbace331b04eaf0d85f70a79 100644
(file)
--- a/
benchmark/chase-lev-deque-bugfix/deque.c
+++ b/
benchmark/chase-lev-deque-bugfix/deque.c
@@
-134,7
+134,7
@@
void push(Deque *q, int x) {
@Label: Push_Update_Buffer
@End
*/
@Label: Push_Update_Buffer
@End
*/
- /****
correctness error
****/
+ /****
detected HB error (run with -u100 to avoid the uninitialized bug)
****/
atomic_thread_fence(memory_order_release);
atomic_store_explicit(&q->bottom, b + 1, memory_order_relaxed);
atomic_thread_fence(memory_order_release);
atomic_store_explicit(&q->bottom, b + 1, memory_order_relaxed);
@@
-162,7
+162,7
@@
int steal(Deque *q) {
*/
//FIXME: remove the fence causes no error and fewer executions..
atomic_thread_fence(memory_order_seq_cst);
*/
//FIXME: remove the fence causes no error and fewer executions..
atomic_thread_fence(memory_order_seq_cst);
- /**** detected
UL
****/
+ /**** detected
HB error (run with -u100 to avoid the uninitialized bug)
****/
size_t b = atomic_load_explicit(&q->bottom, memory_order_acquire);
/**
@Begin
size_t b = atomic_load_explicit(&q->bottom, memory_order_acquire);
/**
@Begin