Pr-1st-1.1-m07-Slajd08

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Linia odcięcia

Linia odcięcia


Oznaczmy przez ciąg wybranych punktów (zdarzeń pozornych) odcinków czasu odpowiadających stanom poszczególnych procesów zaznaczonych na pewnym diagramie przestrzenno-czasowym. Linię łamaną łączącą punkty nazywać będziemy linią odcięcia (lub linią obcięcia). Linia odcięcia dzieli zbiór zdarzeń na przeszłość (te zdarzenia, które zaszły przed linią odcięcia) i przyszłość (te zdarzenia, które zaszły po linii odcięcia).

Odcięciem (albo: obcięciem) zbioru zdarzeń ' nazwiemy skończony zbiór , taki że:

Definicja ta mówi, że jeżeli jakieś zdarzenie ' należy do odcięcia, to także wszystkie zdarzenia które są lokalnie poprzedzane przez należą do tego odcięcia.

Powiemy, że odcięcie jest późniejsze od odcięcia , jeżeli . Oznacza to, że odcięcie nie zawiera żadnego takiego zdarzenia ' nie należącego do , które by lokalnie poprzedzało jakiekolwiek zdarzenie znajdujące się w odcięciu .


<< Poprzedni slajd | Spis treści | Następny slajd >>