Commit state of repository at time of OOPSLA 2015 submission.
[satcheck.git] / benchmarks / nidhugg / msqueue / ms-queue_simple.h
1 typedef struct node {
2         std::atomic<int> value;
3         std::atomic<struct node *> next;
4 } node_t;
5
6 typedef struct {
7         std::atomic<struct node *> head;
8         std::atomic<struct node *> tail;
9 } queue_t;
10
11 //void init_queue(queue_t *q, int num_threads);
12 //void enqueue(queue_t *q, unsigned int val);
13 //bool dequeue(queue_t *q, unsigned int *retVal);
14 int get_thread_num();
15