Closed Baltoli closed 7 years ago
Should the release-before-acquire analysis use reachability rather than dominance (as reachability is strictly weaker than dominance - if node d dominates node n, then it must be the case that n is reachable from d)?
d
n
Should the release-before-acquire analysis use reachability rather than dominance (as reachability is strictly weaker than dominance - if node
ddominates noden, then it must be the case thatnis reachable fromd)?