edits
authorPeizhao Ou <peizhaoo@uci.edu>
Wed, 18 Nov 2015 14:34:43 +0000 (06:34 -0800)
committerPeizhao Ou <peizhaoo@uci.edu>
Wed, 18 Nov 2015 14:34:43 +0000 (06:34 -0800)
benchmark/ms-queue/my_queue.c

index b942be5..fdea1a4 100644 (file)
@@ -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);