From 1462795ccee5aa980cd30227f3c305082f654561 Mon Sep 17 00:00:00 2001 From: Peizhao Ou Date: Fri, 16 Jan 2015 10:18:52 -0800 Subject: [PATCH] changes --- benchmark/chase-lev-deque-bugfix/deque.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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 -- 2.34.1