X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker-benchmarks.git;a=blobdiff_plain;f=include%2Funrelacy.h;fp=include%2Funrelacy.h;h=f4d75e8648c88dd6d9b7f5053dbc986ac394b9e0;hp=0000000000000000000000000000000000000000;hb=6e3ab697e4e1630e3f3815b59ec629288ee7a97c;hpb=8279a736447839c374f0cd6d55e5621212ae8335

diff --git a/include/unrelacy.h b/include/unrelacy.h
new file mode 100644
index 0000000..f4d75e8
--- /dev/null
+++ b/include/unrelacy.h
@@ -0,0 +1,29 @@
+#include <stdatomic.h>
+
+#define $
+
+/* Should re-define to something meaningful */
+#define ASSERT(expr)
+
+#define mo_seqcst memory_order_relaxed
+#define mo_release memory_order_release
+#define mo_acquire memory_order_acquire
+#define mo_acq_rel memory_order_acq_rel
+#define mo_relaxed memory_order_relaxed
+
+namespace rl {
+
+	class backoff_t
+	{
+	 public:
+		typedef int debug_info_param;
+		void yield(debug_info_param info) { }
+		void yield() { }
+	};
+
+
+	typedef backoff_t backoff;
+	typedef backoff_t linear_backoff;
+	typedef backoff_t exp_backoff;
+
+}