Dnia pięknego Sat, 22 Jun 2013 09:27:30 -0500, A.L. wyjmując peta
oznajmił:

> On Sat, 22 Jun 2013 09:42:57 +0100, Bronek Kozicki <b...@s...net>
> wrote:
>
>>On 20/06/2013 11:35, firr kenobi wrote:
>>> czy najbardziej podstawowy z tych elementali (jak mniemam mutex)
>>
>>Najbardziej podstawowy z elementów synchronizacji jest nie mutex, ale
>>atomowa flaga (test-and-set, http://en.wikipedia.org/wiki/Test-and-set
>>).

Strona sprzętowa. Do większości algorymtów potrzebna jest nie flaga,
ale compare-and-swap jak największego słowa, prawie to samo.

> Najbardziej podstawowym elementem synchronizacji jest semafor Dihjstry.
> Podstawowym, albowiem przy jego pomocy mozna skonstruowac wszystkie
> inne.

Strona teoretyczna. Lubię te definicje "bycia podstawowym", "bycia
słabszym" i inne teoretyczne konstrukcje.

Dla programisty - takiego jak ja - podstawowe są mutex i condvar.
Z nich można zrobić (prawie) wszystkie inne, w tym flagę test-and-set
i semafor.

A jest tak dlatego, że programista ma do dyspozycji system operacyjny,
a mutex i condvar wymagają wsparcia kernela, przy założeniu że
wątki są tworem kernela. Przy mutexie i condvar kernel musi wątki
uśpić. Siłą rzeczy OS udostępni je programiście i można polegać
na tym, że zawsze i wszędzie są.

--
Edek