build1 publisher
On ARM64 a single dsb sy drops an impossible result from 2.3% of iterations to zero
A two-thread litmus test hits an outcome no interleaving allows on 2.3% of a million ARM64 iterations. Blocking the compiler leaves 1.8% of them. The store buffer is at the centre of the case.
Publishers:dev.to
Reality
- Evidence55
- Adoption
- Insufficient
- Hype gap+18
- Incentives35
- Confidence58