projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
model: cosmetic improvements to resolve_promises()
[model-checker.git]
/
nodestack.cc
diff --git
a/nodestack.cc
b/nodestack.cc
index dd2dd855c658f7734b7024f76a973e2341ac522c..addf93f67469f1cd7f96a15ffad8ec5551cb1c1b 100644
(file)
--- a/
nodestack.cc
+++ b/
nodestack.cc
@@
-164,7
+164,7
@@
bool Node::increment_promise()
//sending our value to two rmws... not going to work..try next combination
continue;
}
//sending our value to two rmws... not going to work..try next combination
continue;
}
- promises[i] = (promises[i] & PROMISE_RMW) |PROMISE_FULFILLED;
+ promises[i] = (promises[i] & PROMISE_RMW) |
PROMISE_FULFILLED;
while (i > 0) {
i--;
if ((promises[i] & PROMISE_MASK) == PROMISE_FULFILLED)
while (i > 0) {
i--;
if ((promises[i] & PROMISE_MASK) == PROMISE_FULFILLED)
@@
-188,9
+188,9
@@
bool Node::promise_empty() const
for (int i = promises.size() - 1; i >= 0; i--) {
if (promises[i] == PROMISE_UNFULFILLED)
return false;
for (int i = promises.size() - 1; i >= 0; i--) {
if (promises[i] == PROMISE_UNFULFILLED)
return false;
- if (!fulfilledrmw && ((promises[i]
&
PROMISE_MASK) == PROMISE_UNFULFILLED))
+ if (!fulfilledrmw && ((promises[i]
&
PROMISE_MASK) == PROMISE_UNFULFILLED))
return false;
return false;
- if (promises[i] == (PROMISE_FULFILLED
|
PROMISE_RMW))
+ if (promises[i] == (PROMISE_FULFILLED
|
PROMISE_RMW))
fulfilledrmw = true;
}
return true;
fulfilledrmw = true;
}
return true;