From 660ed177edb1a5750969661cb4df4626edf80bc0 Mon Sep 17 00:00:00 2001 From: Peizhao Ou Date: Wed, 18 Nov 2015 06:34:43 -0800 Subject: [PATCH] edits --- benchmark/ms-queue/my_queue.c | 1 + 1 file changed, 1 insertion(+) diff --git a/benchmark/ms-queue/my_queue.c b/benchmark/ms-queue/my_queue.c index b942be5..fdea1a4 100644 --- a/benchmark/ms-queue/my_queue.c +++ b/benchmark/ms-queue/my_queue.c @@ -194,6 +194,7 @@ bool dequeue(queue_t *q, int *retVal) * relaxed (it introduces a bug when there's two dequeuers and one * enqueuer) correctness bug!! */ + /**** SPEC (sequential) (testcase1.c) ****/ /**** New bug ****/ tail = atomic_load_explicit(&q->tail, acquire); -- 2.34.1