break;
}
case READ_FROM_PROMISE: {
- const Promise *promise = curr->get_node()->get_read_from_promise();
+ Promise *promise = curr->get_node()->get_read_from_promise();
value = promise->get_value();
curr->set_read_from_promise(promise);
mo_graph->startChanges();
!act->could_synchronize_with(curr) &&
promise->is_compatible(curr) &&
promise->get_value() == curr->get_value()) {
- curr->get_node()->set_promise(i, act->is_rmw());
+ curr->get_node()->set_promise(i);
}
}
}