Pr-1st-1.1-m07-Slajd35
Z Studia Informatyczne
Koncepcja konstrukcji obrazu spójnego (2)
- Gdy monitor otrzyma przez kanał pierwszą wiadomość o etykiecie czasowej większej od (w szczególności może to być wiadomość kontrolna), aktualną wartość uznaje jako stan tego kanału w chwili .
- Gdy monitor otrzyma wiadomości o etykiecie czasowej większej od przez wszystkie swoje kanały wejściowe, przesyła stan lokalny zapamiętany w chwili oraz wyznaczone stany kanałów wejściowych do inicjatora detekcji .