projects
/
model-checker.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
9fc455a
)
action: switch from "libatomic" to C++-spec "memory_order_*" macros
author
Brian Norris
<banorris@uci.edu>
Wed, 1 Aug 2012 02:14:16 +0000
(19:14 -0700)
committer
Brian Norris
<banorris@uci.edu>
Thu, 2 Aug 2012 17:12:43 +0000
(10:12 -0700)
action.h
patch
|
blob
|
history
diff --git
a/action.h
b/action.h
index e43955dda2826d980f632bf62af4e08397594d45..36cec25dcf05cd9d24e971b22c6626e64585bde4 100644
(file)
--- a/
action.h
+++ b/
action.h
@@
-11,7
+11,14
@@
#include "threads.h"
#include "mymemory.h"
#include "clockvector.h"
#include "threads.h"
#include "mymemory.h"
#include "clockvector.h"
-#include "libatomic.h"
+#include "memoryorder.h"
+
+using std::memory_order;
+using std::memory_order_relaxed;
+using std::memory_order_acquire;
+using std::memory_order_release;
+using std::memory_order_acq_rel;
+using std::memory_order_seq_cst;
/** Note that this value can be legitimately used by a program, and
hence by iteself does not indicate no value. */
/** Note that this value can be legitimately used by a program, and
hence by iteself does not indicate no value. */