Commit state of repository at time of OOPSLA 2015 submission.
[satcheck.git] / benchmarks / cdschecker / msqueue / ms-queue_simple.h
1 typedef struct node {
2         atomic_int value;
3         atomic_address next;
4 } node_t;
5
6 typedef struct {
7         atomic_address head;
8         atomic_address 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