On 05/06/2012 11:36, Edek Pienkowski wrote:
> Dnia Tue, 05 Jun 2012 11:41:26 +0200, zażółcony napisal:
>
>>>> "A mutex is really a semaphore with value 1."
>
> Niby tak, widziałem nawet implementację mutexa, takiego wątkowego, za
> pomocą semafora, takiego z IPC, w końcu niby można używać IPC tylko z

Raczej w powyższym zdaniu nie chodziło o semafor taki z IPC tylko o taki
z Dijkstry.

> jednego procesu. Ale to rozwiązanie nie było za fajne i w szczegółach
> semafor i mutex zaczynają mieć inne właściwości, żeby mieć rekursywny
> mutex dla wygody tak jak w Javie, gdzie każdy Object jest rekursywnym

No ale mutex jako taki (bez dodatkowego określenia) rekursywny nie jest.
Rekursywny jest "rekursywny mutex".