Slajd39

Globalna blokada programu współbieżnego

■ Globalna blokada programu współbieżnego (ang. global deadlock) występuje wtedy, gdy w programie nie ma takiego procesu współbieżnego, który nie występowałby w stanie zagłodzenia albo w stanie zakleszczenia.

- Nie można wtedy zidentyfikować w systemie żadnego procesu współbieżnego, który wykonywałby sensowną pracę.

■ Zablokowany program współbieżny nie jest poprawny (bezpieczny, żywotny).

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