3 ms·
> The synchronizes-with model is much easier to understand than anything reordering based. Why do you think that?
by jcalvinowens 4y ago
> The synchronizes-with model is much easier to understand than anything reordering based.
Why do you think that?
- gpderetta 4y agoEmpirically it is much easier to reason about and be confident of the correctness of the result, at least to me and to many people I have discussed the matter with. I find it easier to reason in term of DAGs instead of all possible interleaved executions. The DAGs are stil dynamic and execution dependent, but you have to consider less combinations. One you know that some algorithm violates the happen before relation is easy to go back and find the reordering that would cause it.