On 12 July 2011 21:20, Olivier Guilyardi <list(a)samalyse.com> wrote:
Quite interestingly, I have noticed that discussions
about memory barriers are
often somehow endless. [...] So I thought, maybe there's a hidden topic
behind that. A "memory barrier"...
Indeed -- perhaps these discussions need some sort of memory write
barrier, ensuring that everything discussed before the barrier will be
recalled from store subsequently, instead of being discussed anew.
But this list would be awfully quiet if we had such a thing.
Chris