[LAD] a *simple* ring buffer, comments pls?

[Chris Cannam]

On 12 July 2011 22:32, Olivier Guilyardi <list at 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