Yeah, but the semantics there refer to merged by an optimization? What's the point of having incomparable examples?
Maybe a noob observation, but can anyone explain why the Lock Coarsening example is valid? Seems to me that locks on A with a lock on B in between is not equivalent to 2 locks on A and then one on B... Unless the…
Yeah, but the semantics there refer to merged by an optimization? What's the point of having incomparable examples?
Maybe a noob observation, but can anyone explain why the Lock Coarsening example is valid? Seems to me that locks on A with a lock on B in between is not equivalent to 2 locks on A and then one on B... Unless the…