From: Brian Norris <banorris@uci.edu>
Date: Tue, 5 Mar 2013 18:10:22 +0000 (-0800)
Subject: mcs-queue: a few changes
X-Git-Tag: oopsla2013-final~38
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker-benchmarks.git;a=commitdiff_plain;h=2202f9754ed82b8cd5fc9a0c9b5ec1d7416d6129;hp=09755ab872436ab30326c2a2dcfe9f2a808b5075

mcs-queue: a few changes
---

diff --git a/mcs-queue/my_queue.h b/mcs-queue/my_queue.h
index 80e6958..3e3f435 100644
--- a/mcs-queue/my_queue.h
+++ b/mcs-queue/my_queue.h
@@ -1,3 +1,5 @@
+#include <stdatomic.h>
+
 #define TRUE				1
 #define FALSE				0
 
@@ -11,8 +13,8 @@ typedef union pointer {
 		volatile unsigned short count;
 		volatile unsigned short ptr;
 	} sep;
-	volatile unsigned long con;
-}pointer_t;
+	atomic_ulong con;
+} pointer_t;
 
 typedef struct node {
 	unsigned value;