unrelacy: add some helpers for cleaning up relacy code

[model-checker-benchmarks.git] / include / unrelacy.h

diff --git a/include/unrelacy.h b/include/unrelacy.h
new file mode 100644 (file)
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;
+
+}