News for hackers. Stuff that matters.
Re:Making the Tokio scheduler 10x faster by dunkelheit on Monday October 14, 2019 @04:20PM (#21252418)
Well that doesn't contradict anything that I have said :) My question remains - what do you mean by coherence? I argue that it is precisely the property that there is a consistent order of operations a single memory memory location so you can't say that Relaxed operations don't satisfy coherence.
Re:Making the Tokio scheduler 10x faster by gpderetta on Monday October 14, 2019 @07:02PM (#21253794)
You are correct. IIRC Coherency is the only property of relaxed atomic operations, as opposed of plain load/stores where concurrent modification and access is just UB.