Dużo odpowiedzi na jeden post wychodzi, ale trudno.

Dnia pamiętnego Mon, 01 Jul 2013 12:05:05 +0200, Michoo wyjmując peta
oznajmił:

> Jeżeli
> masz problem producenci-konsumenci to daje się go rozwiązać lock-free.

Pod względem /poprawności/ kolejki lock-free niczym się nie różnią od
blokujących kolejek. Istnieją tylko w celu /wydajności/, operacje na nich
są zarówno bardzo częste jak i krótkotrwałe, więc nie warto tracić
czasu na usypianie wątku i budzenie, lepszy jest spin w momencie
kolizji.

Inne struktury lock-free mają znaczenie dla poprawności, ale akurat
nie kolejki.

Inną generalną zasadą jest to, że podstawowe atomiczne operacje
używane w strukturach lock-free da się zaimplementować tak:

lock
do_single_memory_op
unlock

I tak się czasami robi, gdy sprzęt nie wspiera albo operacji albo
wystarczająco dużego słowa, co /poprawności/ nie zmienia. Chociażby
w C++11 MemoryModel zmienia semantykę operacji na 'stricter', a
nie w drugą stronę. Traci się tylko na /wydajności/.

--
Edek