[erlang-questions] Wait-Free practical algorithms in C?
Sat Nov 12 11:47:17 CET 2011
I think this is just confusion over the terms, see this link:
I believe that when the top comment says "lock-free/wait-free programs are typically implemented without locks, using low-level primitives such as CAS instructions." at the end, they are mainly talking about wait-free programs. I think it makes sense to look at CAS and LL/SC usage in data structures to find examples that can make wait-free programs or algorithms, since all the data structures that wait-free programs or algorithms use should be lock-free.
On 11/12/2011 12:41 AM, Zabrane Mickael wrote:
> Hi Michael,
> Thanks for the link. As I said before, *lock-free* algorithms are
> pretty simple to find and understand (practically speaking).
> But that's not the case for *wait-free*. There's no technical doc explaining
> Anyone else, need help?
> On Nov 12, 2011, at 6:17 AM, Michael Truog wrote:
>> There is an attempt to get some lockfree algorithms into boost here:
>> I am not sure if the code is usable yet, but there are files for: fifo, ringbuffer, and stack.
>> On 11/11/2011 09:05 AM, Zabrane Mickael wrote:
>>> Hi guys,
>>> Does anyone know tutorials, tech docs, examples (in C if possible)
>>> about *wait-free algorithms* (http://en.wikipedia.org/wiki/Non-blocking_algorithm#Wait-freedom) ?
>>> After several weeks of research, I found 0 concrete example. Very strange!
>>> I'm only interested in *practical* *wait-free implementations*, not the theory behind nor *lock-free* algo.
>>> Thousand thanks for sharing knowledge/pointers on that subject.
>>> erlang-questions mailing list
>>> erlang-questions@REDACTED <mailto:erlang-questions@REDACTED>
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the erlang-questions