On 01.07.2013 14:14, Edek wrote:
> 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.

Tak, jeżeli nie ma sekcji krytycznych to algorytm równoległy jest
poprawny. Tylko to jest niekonstruktywne.

> 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.

Nie zgadzam się. Przez poleganie na operacjach atomowych a nie blokadach
powodują zupełnie inne projektowanie algorytmów i tak jak "widoczny
efekt" to większa wydajność tak pod spodem struktura programu jest
często zupełnie inna.

> lock
> do_single_memory_op
> unlock

Co więcej właśnie tak je realizuje sprzęt. Nawet może dałbym się
przekonać, że tak działający algorytm jest prawie_lock_free.

--
Pozdrawiam
Michoo