ms-queue: remove more externs and unintended shared data

[model-checker-benchmarks.git] / ms-queue / my_queue.h

diff --git a/ms-queue/my_queue.h b/ms-queue/my_queue.h
index 4ce05b49af99184007088b45ef697601ce11c9b2..5877a680b7c634b636af7d0b1d994b0004ce3387 100644 (file)
--- a/ms-queue/my_queue.h
+++ b/ms-queue/my_queue.h
@@ -19,17 +19,13 @@ typedef struct node {
        pointer_t next;
 } node_t;
 
-typedef struct private {
-       unsigned int node;
-} private_t;
-
-typedef struct shared_mem {
+typedef struct {
        pointer_t head;
        pointer_t tail;
        node_t nodes[MAX_NODES + 1];
 } queue_t;
 
-void init_private(int pid);
-void init_queue(queue_t *q);
+void init_queue(queue_t *q, int num_threads);
 void enqueue(queue_t *q, unsigned int val);
 unsigned int dequeue(queue_t *q);
+int get_thread_num();