From: Brian Norris <banorris@uci.edu>
Date: Wed, 6 Mar 2013 20:14:10 +0000 (-0800)
Subject: ms-queue: relax the initializations
X-Git-Tag: oopsla2013-final~30
X-Git-Url: http://demsky.eecs.uci.edu/git/?p=model-checker-benchmarks.git;a=commitdiff_plain;h=ec4f36cd03b7ba4326a99770719bff27999549aa

ms-queue: relax the initializations
---

diff --git a/ms-queue/my_queue.c b/ms-queue/my_queue.c
index 67ec680..bb62fa7 100644
--- a/ms-queue/my_queue.c
+++ b/ms-queue/my_queue.c
@@ -32,18 +32,18 @@ void init_queue(queue_t *q, int num_threads)
 	tail = MAKE_POINTER(1, 0);
 	next = MAKE_POINTER(0, 0); // (NULL, 0)
 
-	atomic_store(&q->head, head);
-	atomic_store(&q->tail, tail);
-	atomic_store(&q->nodes[1].next, next);
+	atomic_init(&q->head, head);
+	atomic_init(&q->tail, tail);
+	atomic_init(&q->nodes[1].next, next);
 
 	/* initialize avail list */
 	for (i = 2; i < MAX_NODES; i++) {
 		next = MAKE_POINTER(i + 1, 0);
-		atomic_store(&q->nodes[i].next, next);
+		atomic_init(&q->nodes[i].next, next);
 	}
 
 	next = MAKE_POINTER(0, 0); // (NULL, 0)
-	atomic_store(&q->nodes[MAX_NODES].next, next);
+	atomic_init(&q->nodes[MAX_NODES].next, next);
 }
 
 void enqueue(queue_t *q, unsigned int val)