@hipsterelectron Rust Atomics and Locks by Mara Bos is the book you're looking for. It explains all these details in great clarity!
Post
Replies:
5
Boosts:
21
@hipsterelectron Rust Atomics and Locks by Mara Bos is the book you're looking for. It explains all these details in great clarity!
"causality" is a term from physics and not remotely appropriate here. it is the complete inverse of what the memory model achieves. we are not measuring nor inferring causality. it's not the standard terminology and it's actively false https://en.wikipedia.org/wiki/Causality#Geometric_Significance
Thus, the notion of causality is metaphysically prior to the notions of time and space.
"metaphysically prior". define your notion of notion bro
In practical terms, this is because use of the relation of causality is necessary for the interpretation of empirical experiments.
a sentence that must be interpreted in the reverse order to parsing it
Interpretation of experiments is needed to establish the physical and geometrical notions of time and space.
i think this logic actually works out over three sentences so props to the elite troll out there o7
causalicious definitious
Rather, it is a pragmatic concession to the fact that everyone is pretty bad at modeling atomics.
i find this to be kind of a strange thing to say. are atomic memory models constructed and then implemented? or are we ~in causality space again~
because if you mean "the c11 memory model is representative of all possible atomic memory models", then you really need to define the terms "atomic" and "model"
i've decided this would be fine as a PR draft 11 years ago or whatever but "you are not expected to understand this" is not acceptable for the language with "fearless concurrency"
