|
1. Definicje, rodzaje i własności systemów rozproszonych
2. Współbieżność procesów w systemach rozproszonych – przykłady transakcji pomiędzy wieloma użytkownikami
3. Czas fizyczny w systemach rozproszonych
• systemy i zdarzenia dla pomiaru czasu
• synchronizacja zegarów (czasomierzy)
- metoda Cristiana
- metod opracowana w Berkeley (Kalifornia)
- NTP (Network Time Protocol)
4. Czas logiczny
• zbiory uporządkowane częściowo i liniowo
• kompensacja czasu
• znaczniki czasu – lokalne i globalne
5. Realizacja rozproszonego wzajemnego wykluczania
• nowy algorytm realizacji sekcji krytycznej bez serwera nadzorczego – uporządkowanie dostępów do pamięci z zastosowaniem wektora globalnych znaczników czasu
• metoda Lamporta-Ricarta-Agrawali realizacji sekcji krytycznej bez serwera nadzorczego
6. Komunikacja w systemach rozproszonych
• rodzaje komunikacji: połączeniowa, bezpołączeniowa, synchroniczna, asynchroniczna, grupowa, rozgłoszeniowa
• struktury zestawów protokołów komunikacyjnych
7. Zdalne wywoływanie procedur (RPC) i metod (RMI)
8. Awarie w systemach rozproszonych
• Rodzaje awarii i postępowania w przypadku ich wystąpienia
• Kilka potrzebnych pojęć i faktów matematycznych
• Ilościowa ocena szansy awarii
• Mechanizmy reagowania na uszkodzenia
• Problemy uzgodnień przy błędach transmisji danych
• Wybór nowego koordynatora systemu po awarii
9. Problemy uzgadniania wspólnych akcji w systemach rozproszonych
• przypadek awaryjnych kanałów komunikacyjnych i bezawaryjnych komputerów (wymagane potwierdzenia) – model: tzw. „problem dwóch armii”
• przypadek bezawaryjnych kanałów komunikacyjnych i awaryjnych komputerów (nie ma potwierdzeń) - model: tzw. „problem bizantyjskich generałów”
10. Rozproszona pamięć dzielona (DSM)
• przykład problemu
• DSM w wieloprocesorach
• DSM w wielokomputerach
• nieformalne omówienie (podstawowego) modelu spójności sekwencyjnej
• zdarzenia inicjacji i zakończeń operacji dostępu do pamięci - drobna ziarnistość
11. Modele spójności pamięci w systemach DSM, formalizacje
z wykorzystaniem drobnej ziarnistości
• spójność ścisła
• spójność sekwencyjna
• spójność przyczynowa
• spójność PRAM
• spójność słaba
• wzmianka o innych modelach
12. Protokoły (algorytmy) realizacji spójności pamięci
• z wykorzystaniem metod wzajemnego wykluczania
• z unieważnianiem kopii obiektów
Sprawdzian.
|
