edits

diff --git a/benchmark/ms-queue/my_queue.c b/benchmark/ms-queue/my_queue.c
index ae33b7d3c7db50486158c19bfc7441b6d0018b93..d5e889db0113c288d23d9703b813f8a708f9ee1f 100644 (file)
--- 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) ****/
                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
                /**
                        @Begin
                        @Potential_commit_point_define: true