X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker-benchmarks.git;a=blobdiff_plain;f=ms-queue%2Fmy_queue.c;h=2377d01a4679cad3a4bdcc3175aa01bfed26ccec;hp=bb62fa781183c98f5c7727cdbb79114012749029;hb=19711e157e116e61d9e302c54afa21797e7ddada;hpb=ec4f36cd03b7ba4326a99770719bff27999549aa

diff --git a/ms-queue/my_queue.c b/ms-queue/my_queue.c
index bb62fa7..2377d01 100644
--- a/ms-queue/my_queue.c
+++ b/ms-queue/my_queue.c
@@ -27,6 +27,9 @@ 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);