Synchronizacja

1. Synchronizacja Rozdział 5

2. Synchronizacja zegarów • Gdy każda maszyna ma własny zegar, to choć zdarzenie o następuje po zdarzeniu c, to może mu zostać przypisany wcześniejszy czas

3. Zegary fizyczne (1) • Obliczanie średniego dnia słonecznego.

4. Zegary fizyczne (2) • Sekundy TAI, w odróżnieniu od sekund słonecznych mają stałą długość. W celu zachowania zgodności z ruchem słońca, wprowadza się sekundy przestępne.

5. Algorytmy synchronizacji zegarów , Cp(t) = t ρ – maks. tempo odchylenia 2ρΔt – różnica po czasie Δt • Zależność między czasem zegarowym a czasem UTC.

6. Algorytm Cristiana Jeżeli różnica nie większa niż δ, to synchronizacja co δ/2ρ • Pobieranie aktualnego czasu od serwera.

7. Algorytm z Berkley • Demon czasu podaje innym maszynom swój czas • Maszyny odpowiadają • Demon oblicza średnią i powiadamia każdą maszynę jak wyregulować swój zegar

8. Znaczniki czasu Lamporta • Trzy procesy, każdy z własnym zegarem. • Algorytm Lamporta koryguje zegary

9. Rozsyłanie całkowicie uporządkowane • Uaktualnienie bazy danych z pozostawieniem jej w stanie niespójnym.

10. Stan globalny (1) • Obcięcie spójne • Obcięcie niespójne

11. Stan globalny (2) • organizacja procesu i kanałów do migawki rozproszonej

12. Stan globalny (3) • Proces Q odbiera znacznik po raz pierwszy i zapisuje swój stan lokalny • Q zapisuje wszystkie przychodzące komunikaty • Q odbiera znacznik dot. swojego kanału wejściowego i kończy zapisywanie stanu kanału wejściowego

13. Algorytm tyrana (1) • proces 4 rozpoczyna elekcję • procesy 5 i 6 odpowiadają „OK” • procesy 5 i 6 kontynuują elekcję

14. Algorytm tyrana (3) • Proces 6 odpowiada „OK.” • Proces 6 wygrywa i powiadamia pozostałych

15. Algorytm pierścieniowy • Algorytm elekcji z użyciem pierścienia.

16. Wzajemne wykluczanie: algorytm scentralizowany • Proces 1 prosi koordynatora o dostęp do sekcji krytycznej. Dostaje zezwolenie. • Proces 2prosi koordynatora o dostęp do tej samej sekcji krytycznej. Koordynator nie odpowiada (2 zostaje zablokowany). • Gdy proces 1 opuszcza sekcję krytyczną, koordynator odpowiada procesowi 2

17. Algorytm rozproszony • Dwa procesy (0,2) chcą wejść w tym samym momencie do sekcji krytycznej. • Proces 0 ma mniejszy znacznik czasu, więc wygrywa. • Gdy proces 0 wychodzi z sekcji krytycznej, wysyła OK do procesu 2, który wchodzi do sekcji krytycznej.

18. Algorytm pierścienia z żetonem • Nieuporządkowana grupa procesów w sieci. • Pierścień logiczny zbudowany za pomocą oprogramowania.

19. Porównanie • Porównanie algorytmów wzajemnego wykluczenia.

20. Model transakcji (1) • Aktualizowanie taśmy głównej toleruje awarie.

21. Model transakcji (2) • Elementarne operacje transakcyjne.

22. Model transakcji (3) • Transakcja potwierdzonych rezerwacji 3 lotów • Transakcja zaniechana na skutek braku miejsc

23. Transakcje rozproszone • Transakcja zagnieżdżona • Transakcja rozproszona

24. Prywatna przestrzeń robocza • Indeks i bloki dyskowe trzyblokowego pliku • Sytuacja po zmodyfikowaniu przez transakcje bloku 0 i dodaniu bloku 3 • stan po zatwierdzeniu

25. Rejestrowanie z wyprzedzeniem • a)Transakcja • b) – d)Rejestr przed wykonaniem każdej instrukcji

26. Sterowanie współbieżnością (1) • Organizacja zarządców obsługi transakcji.

27. Sterowanie współbieżnością (2) • Organizacja zarządców transakcji rozproszonych.

28. Szeregowalność (d) • a) – c)Trzy transakcji T1, T2, and T3 • d)Możliwe plany

29. Blokowanie dwufazowe (1)

30. Ścisłe blokowanie dwufazowe (2)