13 Jul
2011
13 Jul
'11
midnight
On 07/12/2011 11:37 PM, Chris Cannam wrote:
On 12 July 2011 22:32, Olivier Guilyardi
<list(a)samalyse.com> wrote:
Ah right, I read that too quickly... Thing is, I'm always suspicious with
quickly crafted ringbuffers as the one on this blog post. It's never like a
mature implementation. I will try and run my little test suite on a such device.
--
Olivier
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.