Sr-3-wyk-2.0-toc
Z Studia Informatyczne
Spis treści
- Systemy rozproszone
- Podstawowe definicje (1)
- Podstawowe definicje (2)
- Model matematyczny
- Architektura systemu
- Predykaty (1)
- Predykaty (2)
- Predykaty (3)
- Założenia odnośnie środowiska
- Usługa członkostwa – własności
- Usługa rozsyłania – własności (1)
- Usługa rozsyłania – własności (2)
- Własność 3 – przykład
- Własność 4 – przykład
- Usługa rozsyłania – własności (3)
- Wirtualna synchronizacja – przykład
- Przykładowe systemy
- System Isis
- Architektura systemu Isis
- System Horus/Ensemble
- Architektura systemu Horus
- Algorytmy niezawodnej komunikacji grupowej
- Własności niezawodnego rozgłoszenia
- Algorytm RB – założenia
- Algorytm RB dla procesu p
- Algorytm RB – sytuacja standardowa
- Algorytm RB – zaginięcie komunikatu
- Algorytm FIFO-RB – specyfikacja
- Algorytm FIFO-RB
- Relacja poprzedzania przyczynowego
- Rozgłaszanie przyczynowe – przykłady
- Algorytm Przyczynowy-RB
- Całkowite uporządkowanie
- Algorytmy czasowe
- Algorytm Czasowy-RB
- Algorytm Czasowy-Atomowy-RB
- Algorytm Czasowy-Atomowy-Przyczynowy
- Relacje pomiędzy algorytmami
- Literatura