raw elimination-backoff code from paper

[model-checker-benchmarks.git] / elimination-backoff / stack.h

diff --git a/elimination-backoff/stack.h b/elimination-backoff/stack.h
new file mode 100644 (file)
index 0000000..1a0cfd6
--- /dev/null
+++ b/elimination-backoff/stack.h
@@ -0,0 +1,16 @@
+struct Cell {
+    Cell *pnext;
+    void *pdata;
+};
+
+struct ThreadInfo {
+    unsigned int id;
+    char op;
+    Cell cell;
+    int spin;
+};
+
+struct Simple_Stack {
+    Cell *ptop;
+};
+