From: Brian Norris <banorris@uci.edu>
Date: Thu, 11 Oct 2012 23:37:37 +0000 (-0700)
Subject: williams-queue: add driver, Makefile, etc.
X-Git-Tag: pldi2013~35
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker-benchmarks.git;a=commitdiff_plain;h=adc372d8af13fdc07eba357f0c6de4319dbfce10;hp=c2ac1e3d5e63916c9f08a2847a9bc178040c82f5;ds=sidebyside

williams-queue: add driver, Makefile, etc.

Still doesn't quite compile. I'm mostly attempting compilation with a
C++0x compiler (G++ 4.6) for now, a la:

  g++ -o williams-queue williams-queue.cc --std=c++0x
---

diff --git a/williams-queue/.gitignore b/williams-queue/.gitignore
new file mode 100644
index 0000000..7023c35
--- /dev/null
+++ b/williams-queue/.gitignore
@@ -0,0 +1 @@
+williams-queue
diff --git a/williams-queue/Makefile b/williams-queue/Makefile
new file mode 100644
index 0000000..3ef067f
--- /dev/null
+++ b/williams-queue/Makefile
@@ -0,0 +1,11 @@
+include ../benchmarks.mk
+
+TESTNAME = williams-queue
+
+all: $(TESTNAME)
+
+$(TESTNAME): $(TESTNAME).cc $(TESTNAME).h
+	$(CXX) -o $@ $< $(CPPFLAGS) $(LDFLAGS)
+
+clean:
+	rm -f $(TESTNAME) *.o
diff --git a/williams-queue/williams-queue.cc b/williams-queue/williams-queue.cc
new file mode 100644
index 0000000..a61dfdd
--- /dev/null
+++ b/williams-queue/williams-queue.cc
@@ -0,0 +1,25 @@
+//#include <threads.h>
+#include <thread>
+
+#include "williams-queue.h"
+
+lock_free_queue<int> *queue;
+
+void threadA(void *arg)
+{
+}
+
+#define user_main main
+
+int user_main(int argc, char **argv)
+{
+	/*thrd_t A, B;
+
+	thrd_create(&A, &threadA, NULL);
+	thrd_join(A);*/
+	queue = new lock_free_queue<int>();
+	std::thread t(threadA, (void *)NULL);
+	t.join();
+
+	return 0;
+}