projects
/
c11tester.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
model: release/acquire synchronization
[c11tester.git]
/
model.cc
diff --git
a/model.cc
b/model.cc
index 436ef77cf067983abf5f45d90f8c58517030c76f..07c81b9eed2108a32df8c50b87fb18c38f355d21 100644
(file)
--- a/
model.cc
+++ b/
model.cc
@@
-281,7
+281,8
@@
void ModelChecker::check_current_action(void)
if (curr->is_read()) {
const ModelAction *reads_from = curr->get_node()->get_next_read_from();
value = reads_from->get_value();
if (curr->is_read()) {
const ModelAction *reads_from = curr->get_node()->get_next_read_from();
value = reads_from->get_value();
- curr->set_value(value);
+ /* Assign reads_from, perform release/acquire synchronization */
+ curr->read_from(reads_from);
}
th->set_return_value(value);
}
}
th->set_return_value(value);
}