Anyone have any suggested reads on x86-TSO? It's too late in the evening for me to make it far into Paul Cavallaro's overview[1], but it looks like a promising explanation.

What about ARM 8.7's FEAT_AFP instruction? Anything there?

[1] https://paulcavallaro.com/blog/x86-tso-a-programmers-model-f...