3 ms·
> It's all really bad for reasoning about your program :( True, but it's really good for performance in a lot of incredibly common cases, which is why it's a c
by mockery 11y ago
> It's all really bad for reasoning about your program :(
True, but it's really good for performance in a lot of incredibly common cases, which is why it's a case of a tough tradeoff they had to make - rather than a malicious choice to just make our lives more difficult. :)
(An expert in this stuff would probably also wave their hands and say something about exotic and/or legacy hardware that those languages need and/or want to support.)
- dbaupp 11y agoIt's more than exotic/legacy hardware: ARM[0] and, to a (much) lesser degree, x86 have non-SC memory models. [0]: http://preshing.com/20121019/this-is-why-they-call-it-a-weakly-ordered-cpu/ http://preshing.com/20121019/this-is-why-they-call-it-a-weak...