edits
authorPeizhao Ou <peizhaoo@uci.edu>
Wed, 18 Nov 2015 12:58:00 +0000 (04:58 -0800)
committerPeizhao Ou <peizhaoo@uci.edu>
Wed, 18 Nov 2015 12:58:00 +0000 (04:58 -0800)
benchmark/ms-queue/my_queue.c

index ae33b7d..d5e889d 100644 (file)
@@ -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