changes
authorPeizhao Ou <peizhaoo@uci.edu>
Fri, 16 Jan 2015 18:18:52 +0000 (10:18 -0800)
committerPeizhao Ou <peizhaoo@uci.edu>
Fri, 16 Jan 2015 18:18:52 +0000 (10:18 -0800)
benchmark/chase-lev-deque-bugfix/deque.c

index fbd723b..854091f 100644 (file)
@@ -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