From 03a40f095e6c8a1af2384093d164c15146c55f95 Mon Sep 17 00:00:00 2001 From: Peizhao Ou Date: Wed, 18 Nov 2015 04:58:00 -0800 Subject: [PATCH 1/1] edits --- benchmark/ms-queue/my_queue.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/benchmark/ms-queue/my_queue.c b/benchmark/ms-queue/my_queue.c index ae33b7d..d5e889d 100644 --- a/benchmark/ms-queue/my_queue.c +++ b/benchmark/ms-queue/my_queue.c @@ -198,7 +198,7 @@ bool dequeue(queue_t *q, int *retVal) tail = atomic_load_explicit(&q->tail, acquire); /**** SPEC Error (testcase1.c) ****/ - next = atomic_load_explicit(&q->nodes[get_ptr(head)].next, relaxed); + next = atomic_load_explicit(&q->nodes[get_ptr(head)].next, acquire); /** @Begin @Potential_commit_point_define: true -- 2.34.1