On Sun, 19 May 2013 22:58:36 +0100, Andrzej Jarzabek
<a...@g...com> wrote:

>
>W ogólności zgodziłbym się z tym zdaniem, ale akurat niekoniecznie w
>odniesieniu do monitora. Znaczy, zależy oczywiście w od konkretneo
>języka, ale dla wielu języków i wielu zagadnień jest tak, że
>implementowanie czegoś w bibliotece funkcjonuje na tyle dobrze, że
>wsparcie w języku w praktyce wcale niczego nie ułatwia.

Rownie dobrze mozna twierdzic ze jezyki wysokiego poziomu nie sa
potzrebne, bo pzreciez mozna wszystko napisac w asemblerze.

Problem z wielowatkowoacia polega na tym ze mutexy i semafory sa
konstrukcjami bardzo niskiego poziomu. Cos jak "asembler
wspolbieznosci". Poniewaz systemow wielowatkowych nie da sie
efektywnie testowac, tzreba miec narzedzia umozliwiajace taka lub
owaka formalna weryfikacje programow. A to moze sie odbywac tylko
wtedy gdy program napisany jest przy pomocy przy pomocy konstrukcji
wyzszego poziomu niz "mutex"

A.L.