12 Jul
2011
12 Jul
'11
11:37 p.m.
On 12 July 2011 22:32, Olivier Guilyardi <list(a)samalyse.com> wrote:
Thing is, of every single thing that has been said on
this thread about memory
barriers and ringbuffers, no one can prove anything. On this thread, on others,
on LAD and elsewhere. For example, no one can write a test case which fails when
memory barriers are missing in a ringbuffer implementation.
There is one in the iPad 2 example Sean posted a link to earlier in the thread:
http://wanderingcoder.net/2011/04/01/arm-memory-ordering/
I haven't tried it, lacking an iPad 2 or any other multicore ARM computer.
Chris