projects
/
c11tester.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Update readme
[c11tester.git]
/
conditionvariable.cc
diff --git
a/conditionvariable.cc
b/conditionvariable.cc
index f79cf2a9feacef6c5f1ee3942e5750c58b34eb23..9d569e974406dc56831387c4f55e5321151d2739 100644
(file)
--- a/
conditionvariable.cc
+++ b/
conditionvariable.cc
@@
-1,24
+1,28
@@
-#include
<mutex>
+#include
"mutex.h"
#include "model.h"
#include <condition_variable>
#include "action.h"
#include "model.h"
#include <condition_variable>
#include "action.h"
-namespace
std
{
+namespace
cdsc
{
condition_variable::condition_variable() {
condition_variable::condition_variable() {
-
+
+}
+
+condition_variable::~condition_variable() {
+
}
void condition_variable::notify_one() {
}
void condition_variable::notify_one() {
- model->switch_t
o_master
(new ModelAction(ATOMIC_NOTIFY_ONE, std::memory_order_seq_cst, this));
+ model->switch_t
hread
(new ModelAction(ATOMIC_NOTIFY_ONE, std::memory_order_seq_cst, this));
}
void condition_variable::notify_all() {
}
void condition_variable::notify_all() {
- model->switch_t
o_master
(new ModelAction(ATOMIC_NOTIFY_ALL, std::memory_order_seq_cst, this));
+ model->switch_t
hread
(new ModelAction(ATOMIC_NOTIFY_ALL, std::memory_order_seq_cst, this));
}
void condition_variable::wait(mutex& lock) {
}
void condition_variable::wait(mutex& lock) {
- model->switch_t
o_master
(new ModelAction(ATOMIC_WAIT, std::memory_order_seq_cst, this, (uint64_t) &lock));
+ model->switch_t
hread
(new ModelAction(ATOMIC_WAIT, std::memory_order_seq_cst, this, (uint64_t) &lock));
//relock as a second action
lock.lock();
}
//relock as a second action
lock.lock();
}