X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=benchmark%2Fchase-lev-deque-bugfix%2Fdeque.c;h=854091ff41d9845ebbace331b04eaf0d85f70a79;hb=9811b5edc5910159c1248ca2745f83ff5edc1e0d;hp=fbd723bc6d5f0b2a3b33ff71dcb1e8a4c22b59c6;hpb=52802de070a3314dfdd75c039c8e41d79d493996;p=cdsspec-compiler.git

diff --git a/benchmark/chase-lev-deque-bugfix/deque.c b/benchmark/chase-lev-deque-bugfix/deque.c
index fbd723b..854091f 100644
--- 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