CycleNode *fromnode = getNode(from);
CycleNode *tonode = getNode(to);
- if (!hasCycles) {
- // Reflexive edges are cycles
- hasCycles = (from == to);
- }
- if (!hasCycles) {
- // Check for Cycles
+ if (!hasCycles)
hasCycles = checkReachable(tonode, fromnode);
- }
if (fromnode->addEdge(tonode))
rollbackvector.push_back(fromnode);
* for the possibility of sending to's write value to rmwnode
*/
if (rmwnode != NULL && !to->is_rmw()) {
- if (!hasCycles) {
- // Check for Cycles
+ if (!hasCycles)
hasCycles = checkReachable(tonode, rmwnode);
- }
if (rmwnode->addEdge(tonode))
rollbackvector.push_back(rmwnode);
}
}
-
- if (!hasCycles) {
- // Reflexive edges are cycles
- hasCycles = (from == rmw);
- }
- if (!hasCycles) {
- // With promises we could be setting up a cycle here if we aren't
- // careful...avoid it..
+ if (!hasCycles)
hasCycles = checkReachable(rmwnode, fromnode);
- }
+
if (fromnode->addEdge(rmwnode))
rollbackvector.push_back(fromnode);
}