From: Brian Norris <banorris@uci.edu>
Date: Fri, 8 Mar 2013 23:07:50 +0000 (-0800)
Subject: ms-queue: don't initialize node 0
X-Git-Tag: oopsla2013-final~16
X-Git-Url: http://demsky.eecs.uci.edu/git/?p=model-checker-benchmarks.git;a=commitdiff_plain;h=e43fa1946c2a733400040cc9d23e91285fd08fd0

ms-queue: don't initialize node 0

Node zero *should* be unused, since "0" is the NULL pointer index.
Removing this init will help catch bugs.
---

diff --git a/ms-queue/my_queue.c b/ms-queue/my_queue.c
index d658407..8a74060 100644
--- a/ms-queue/my_queue.c
+++ b/ms-queue/my_queue.c
@@ -31,9 +31,6 @@ void init_queue(queue_t *q, int num_threads)
 	for (i = 0; i < num_threads; i++)
 		node_nums[i] = 2 + i;
 
-	/* Note: needed to add this init manually */
-	atomic_init(&q->nodes[0].next, 0);
-
 	/* initialize queue */
 	head = MAKE_POINTER(1, 0);
 	tail = MAKE_POINTER(1, 0);