[FFmpeg-devel] [Jack-Devel] [PATCH] libavdevice: JACK demuxer

[Måns Rullgård]

Olivier Guilyardi <list at samalyse.com> writes:

> M?ns Rullg?rd wrote:
>
>> Writing SMP-safe code using shared buffers without any form of memory
>> barriers is next to impossible.  This is because the exact time and
>> order in which writes happen is generally unpredictable.  If you claim
>> to have solved this problem you'll have to show something better than
>> hand-waving as proof.
>
> M?ns, in regard to proofs, if you can write a test that uses the
> jack ringbuffer, fails without memory barriers, and succeeds with
> them, on the platform on your choice (x86, PowerPC, ARM, etc...), I
> promise I'll buy you a beer.
>
> I suspect no one on earth can do that.

That nobody has seen it fail does not mean it will never happen.
Please look up the word proof in your dictionary.

-- 
M?ns Rullg?rd
mans at mansr.com