projects
/
model-checker-benchmarks.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
ced3165
)
unrelacy: fixup header
author
Brian Norris
<banorris@uci.edu>
Thu, 11 Oct 2012 00:13:16 +0000
(17:13 -0700)
committer
Brian Norris
<banorris@uci.edu>
Thu, 11 Oct 2012 01:04:30 +0000
(18:04 -0700)
include/unrelacy.h
patch
|
blob
|
history
diff --git
a/include/unrelacy.h
b/include/unrelacy.h
index f4d75e8648c88dd6d9b7f5053dbc986ac394b9e0..3f2e5ebdf429b918b0624a81be88c4100ac47de7 100644
(file)
--- a/
include/unrelacy.h
+++ b/
include/unrelacy.h
@@
-1,9
+1,16
@@
+#ifndef __UNRELACY_H__
+#define __UNRELACY_H__
+
#include <stdatomic.h>
#define $
/* Should re-define to something meaningful */
#define ASSERT(expr)
#include <stdatomic.h>
#define $
/* Should re-define to something meaningful */
#define ASSERT(expr)
+#define RL_ASSERT(expr)
+
+#define RL_NEW new
+#define RL_DELETE(expr) delete expr
#define mo_seqcst memory_order_relaxed
#define mo_release memory_order_release
#define mo_seqcst memory_order_relaxed
#define mo_release memory_order_release
@@
-13,6
+20,20
@@
namespace rl {
namespace rl {
+ template <typename T>
+ struct var {
+ var() { value = 0; }
+ var(T v) { value = v; }
+ var(var const& r) { value = r; }
+ ~var() { }
+
+ void operator = (T v) { value = v; }
+ T operator () () { return value; }
+ void operator += (T v) { value += v; }
+
+ T value;
+ };
+
class backoff_t
{
public:
class backoff_t
{
public:
@@
-27,3
+48,5
@@
namespace rl {
typedef backoff_t exp_backoff;
}
typedef backoff_t exp_backoff;
}
+
+#endif /* __UNRELACY_H__ */