Pr-1st-1.1-m11-Slajd55

Algorytm implementujący detektor awarii ${\boldsymbol {\Diamond }}$P z użyciem mechanizmu pulsu: Założenia

W przypadku implementacji przedstawionej na kolejnych slajdach przyjęto istnienie niezawodnych łączy komunikacyjnych, założono częściowo synchroniczny model systemu, w którym zarówno czasy przetwarzania lokalnego jak i przesunięcie zegarów lokalnych mogą być pominięte. Implementacja będzie wykorzystywała technikę pulsu opartą na okresowym rozsyłaniu wiadomości przez proces monitorowany.

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