From: Peizhao Ou <peizhaoo@uci.edu>
Date: Fri, 16 Jan 2015 18:18:52 +0000 (-0800)
Subject: changes
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=1462795ccee5aa980cd30227f3c305082f654561;p=cdsspec-compiler.git

changes
---

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