↧
Answer by Peter Cordes for Why is acquire semantics only for reads, not...
Its output contains first LDAXR == LL+acquire, then STXR == SC (without barrier in it, so, there is no guarantee other threads will see it?) Huh? Stores always become visible to other threads; the...
View ArticleWhy is acquire semantics only for reads, not writes? How can an LL/SC acquire...
To start with, consider release semantics. If a data set is protected with a spinlock (mutex, etc. - no matters what exact implementation is used; for now, assume 0 means it's free and 1 - busy)....
View ArticleAnswer by Netch for Why is acquire semantics only for reads, not writes? How...
I have got an answer from other source that I would consider finally proper; here is my translation and rewording.The principle that disallows instruction misordering is not some kind of implicit...
View Article