Slajd3

Problem wzajemnego wykluczania założenia

■    N procesów wykonuje nieskończone pętle zawierające ciągi instrukcji, które można podzielić na sekcję lokalną i sekcję krytyczną

•    Program musi zawierać własność wzajemnego wykluczania, tzn. instrukcje z sekcji krytycznych dwu lub więcej procesów nie mogą się wykonywać jednocześnie.

■    Przed wejściem do sekcji krytycznej jest wykonywany protokół wstępny po wyjściu protokół końcowy

. Proces może się zatrzymać tylko w swojej sekcji lokalnej.

■    Nie wystąpi zakleszczenie

•    Nie wystąpi zagłodzenie

•    Jeśli nie będzie rywalizacji o wejście do sekcji krytycznej, to proces, który chce wejść, wejdzie.

Dziedziny zastosowań ...Wzajemne wykluczanie.