Merge branch 'master' of /home/git/concurrency-benchmarks

[c11concurrency-benchmarks.git] / cdschecker_modified_benchmarks / chase-lev-deque / deque.h

diff --git a/cdschecker_modified_benchmarks/chase-lev-deque/deque.h b/cdschecker_modified_benchmarks/chase-lev-deque/deque.h
new file mode 100644 (file)
index 0000000..c65da6f
--- /dev/null
+++ b/cdschecker_modified_benchmarks/chase-lev-deque/deque.h
@@ -0,0 +1,25 @@
+#ifndef DEQUE_H
+#define DEQUE_H
+
+#include "cds_atomic.h"
+
+typedef struct {
+       atomic_size_t size;
+       atomic_int buffer[];
+} Array;
+
+typedef struct {
+       atomic_size_t top, bottom;
+       atomic_uintptr_t array; /* Atomic(Array *) */
+} Deque;
+
+Deque * create();
+int take(Deque *q);
+int steal(Deque *q);
+void resize(Deque *q);
+void push(Deque *q, int x);
+
+#define EMPTY 0xffffffff
+#define ABORT 0xfffffffe
+
+#endif