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:
fa36db2
)
add destructor so the spsc-queue will compile on MAC
author
Brian Demsky
<bdemsky@uci.edu>
Wed, 6 Mar 2013 05:40:39 +0000
(21:40 -0800)
committer
Brian Demsky
<bdemsky@uci.edu>
Wed, 6 Mar 2013 05:40:39 +0000
(21:40 -0800)
conditionvariable.cc
patch
|
blob
|
history
diff --git
a/conditionvariable.cc
b/conditionvariable.cc
index
f79cf2a
..
75af879
100644
(file)
--- a/
conditionvariable.cc
+++ b/
conditionvariable.cc
@@
-9,6
+9,10
@@
condition_variable::condition_variable() {
}
}
+condition_variable::~condition_variable() {
+
+}
+
void condition_variable::notify_one() {
model->switch_to_master(new ModelAction(ATOMIC_NOTIFY_ONE, std::memory_order_seq_cst, this));
}
void condition_variable::notify_one() {
model->switch_to_master(new ModelAction(ATOMIC_NOTIFY_ONE, std::memory_order_seq_cst, this));
}