From: Patrick Lam <prof.lam@gmail.com>
Date: Tue, 30 Jun 2015 01:22:44 +0000 (-0400)
Subject: raw elimination-backoff code from paper
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker-benchmarks.git;a=commitdiff_plain;h=490296b2bd8de032f9424261dfdcf644d82113ab

raw elimination-backoff code from paper
---

diff --git a/elimination-backoff/stack.c b/elimination-backoff/stack.c
new file mode 100644
index 0000000..cc4e84e
--- /dev/null
+++ b/elimination-backoff/stack.c
@@ -0,0 +1,95 @@
+#include "stack.h"
+
+Simple_Stack S;
+void **location;
+int *collision;
+
+void StackOp (ThreadInfo * pInfo) {
+    if (TryPerformStackOp (p) == FALSE)
+	LesOP (p);
+    return;
+}
+
+void LesOP (ThreadInfo * p) {
+    while (1) {
+	location[mypid] = p;
+	pos = GetPosition (p);
+	him = collision[pos];
+	while (!CAS (&collision[pos], him, mypid))
+	    him = collision[pos];
+	if (him != EMPTY) {
+	    q = location[him];
+	    if (q != NULL && q->id == him && q->op != p->op) {
+		if (CAS (&location[mypid], p, NULL)) {
+		    if (TryCollision (p, q) == TRUE)
+			return;
+		    else
+			goto stack;
+		} else {
+		    FinishCollision (p);
+		    return;
+		}
+	    }
+	    delay (p->spin);
+	    if (!CAS (&location[mypid], p, NULL)) {
+		FinishCollision (p);
+		return;
+	    }
+	stack:
+	    if (TryPerformStackOp (p) == TRUE)
+		return;
+	}
+    }
+}
+    
+bool TryPerformStackOp (ThreadInfo * p) {
+    Cell *phead, *pnext;
+    if (p->op == PUSH) {
+	phead = S.ptop;
+	p->cell.pnext = phead;
+	if (CAS (&S.ptop, phead, &p->cell))
+	    return TRUE;
+	else
+	    return FALSE;
+    }
+    if (p->op == POP) {
+	phead = S.ptop;
+	if (phead == NULL) {
+	    p->cell = EMPTY;
+	    return TRUE;
+	}
+	pnext = phead->pnext;
+	if (CAS (&S.ptop, phead, pnext)) {
+	    p->cell = *phead;
+	    return TRUE;
+	} else {
+	    p->cell = EMPTY;
+	    return FALSE;
+	}
+    }
+}
+
+void FinishCollision (ProcessInfo * p) {
+    if (p->op == POP) {
+	p->pcell = location[mypid]->pcell;
+	location[mypid] = NULL;
+    }
+}
+
+void TryCollision (ThreadInfo * p, ThreadInfo * q) {
+    if (p->op == PUSH) {
+	if (CAS (&location[him], q, p))
+	    return TRUE;
+	else
+	    return FALSE;
+    }
+    if (p->op == POP) {
+	if (CAS (&location[him], q, NULL)) {
+	    p->cell = q->cell;
+	    location[mypid] = NULL;
+	    return TRUE;
+	}
+	else
+	    return FALSE;
+    }
+}
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;
+};
+