Slajd26

Wzajemne wykluczanie

■    Problem wzajemnego wykluczania występuje, gdy co najmniej dwa procesy nie mogą:

1.    przeplatać pewnych ciągów instrukcji,

2.    jednocześnie korzystać z tego samego zasobu.

■    Wzajemne wykluczanie to podstawowy problem programowania współbieżnego. Brak rozwiązania tego problemu wyklucza poprawność programu współbieżnego.

■    Wzajemne wykluczanie jest statyczna własnością programu współbieżnego.

Podstawowe pojęcia programowania współbieżnego 26