spsc-queue: add new benchmark
[model-checker-benchmarks.git] / include / unrelacy.h
1 #include <stdatomic.h>
2
3 #define $
4
5 /* Should re-define to something meaningful */
6 #define ASSERT(expr)
7
8 #define mo_seqcst memory_order_relaxed
9 #define mo_release memory_order_release
10 #define mo_acquire memory_order_acquire
11 #define mo_acq_rel memory_order_acq_rel
12 #define mo_relaxed memory_order_relaxed
13
14 namespace rl {
15
16         class backoff_t
17         {
18          public:
19                 typedef int debug_info_param;
20                 void yield(debug_info_param info) { }
21                 void yield() { }
22         };
23
24
25         typedef backoff_t backoff;
26         typedef backoff_t linear_backoff;
27         typedef backoff_t exp_backoff;
28
29 }