X-Git-Url: http://demsky.eecs.uci.edu/git/?p=model-checker-benchmarks.git;a=blobdiff_plain;f=elimination-backoff%2Fstack.h;fp=elimination-backoff%2Fstack.h;h=1a0cfd6a4b3e7d7acb5f4770abafbdc9cea0f4d8;hp=0000000000000000000000000000000000000000;hb=490296b2bd8de032f9424261dfdcf644d82113ab;hpb=993e7e5146f39ff0ed459ac0a8bc30e7a0253156

diff --git a/elimination-backoff/stack.h b/elimination-backoff/stack.h
new file mode 100644
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;
+};
+