changes

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
        */
-       /**** 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);
@@ -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);
-       /**** 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