X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker-benchmarks.git;a=blobdiff_plain;f=ms-queue%2Fmy_queue.h;h=4ce05b49af99184007088b45ef697601ce11c9b2;hp=519e9e3a7bd17882f78a30724eec1da2a353b8db;hb=bead5206c1935e3b499300c7e8b5b41a259a04c6;hpb=509ce2ac5c3372c0527e4b66d1088bcdd7b94cdf;ds=sidebyside

diff --git a/ms-queue/my_queue.h b/ms-queue/my_queue.h
index 519e9e3..4ce05b4 100644
--- a/ms-queue/my_queue.h
+++ b/ms-queue/my_queue.h
@@ -1,10 +1,6 @@
 #include <stdatomic.h>
 
-#define TRUE				1
-#define FALSE				0
-
 #define MAX_NODES			0xf
-#define MAX_SERIAL			10000
 
 typedef unsigned long long pointer;
 typedef atomic_ullong pointer_t;
@@ -21,25 +17,19 @@ static inline unsigned int get_ptr(pointer p) { return (p & COUNT_MASK) >> 32; }
 typedef struct node {
 	unsigned int value;
 	pointer_t next;
-	unsigned int foo[30];
 } node_t;
 
 typedef struct private {
 	unsigned int node;
-	unsigned int value;
-	unsigned int serial[MAX_SERIAL];
 } private_t;
 
 typedef struct shared_mem {
 	pointer_t head;
-	unsigned int foo1[31];
 	pointer_t tail;
-	unsigned int foo2[31];
-	node_t nodes[MAX_NODES+1];
-	unsigned int serial;
-} shared_mem_t;
+	node_t nodes[MAX_NODES + 1];
+} queue_t;
 
 void init_private(int pid);
-void init_memory();
-void init_queue();
-unsigned int dequeue();
+void init_queue(queue_t *q);
+void enqueue(queue_t *q, unsigned int val);
+unsigned int dequeue(queue_t *q);