Systemy rozproszone: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Nie podano opisu zmian |
|||
(Nie pokazano 10 wersji utworzonych przez 4 użytkowników) | |||
Linia 3: | Linia 3: | ||
== Opis == | == Opis == | ||
Celem przedmiotu jest prezentacja teoretycznych i praktycznych aspektów konstrukcji rozproszonych systemów operacyjnych. Prezentowane zagadnienia dotyczą różnych warstw systemu operacyjnego | Celem przedmiotu jest prezentacja teoretycznych i praktycznych aspektów konstrukcji rozproszonych systemów operacyjnych. Prezentowane zagadnienia dotyczą różnych warstw systemu operacyjnego: począwszy od mechanizmów komunikacyjnych, poprzez algorytmy rozproszonego szeregowania i synchronizacji, a skończywszy na aplikacyjnych usługach systemu operacyjnego (systemy plików, usługi katalogowe). | ||
== Sylabus == | == Sylabus == | ||
=== Autorzy === | === Autorzy === | ||
* Jerzy Brzeziński | * Jerzy Brzeziński — Politechnika Poznańska | ||
* Cezary Sobaniec | * Cezary Sobaniec — Politechnika Poznańska | ||
=== Wymagania wstępne === | === Wymagania wstępne === | ||
Linia 20: | Linia 20: | ||
==== Zagadnienia teoretyczne ==== | ==== Zagadnienia teoretyczne ==== | ||
* Wprowadzenie | * Wprowadzenie: | ||
** architektura systemów rozproszonych | ** architektura systemów rozproszonych | ||
** modele przetwarzania rozproszonego | ** modele przetwarzania rozproszonego | ||
** mechanizmy komunikacyjne: wymiana komunikatów, komunikacja grupowa | ** mechanizmy komunikacyjne: wymiana komunikatów, komunikacja grupowa | ||
* Mechanizm zdalnych wywołań procedur (RPC) | * Mechanizm zdalnych wywołań procedur (RPC) | ||
* Systemy z rozproszoną pamięcią współdzieloną (DSM) | * Systemy z rozproszoną pamięcią współdzieloną (DSM): | ||
** modele spójności (model atomowy, sekwencyjny, przyczynowy, PRAM, modele o dostępie synchronizowanym) | ** modele spójności (model atomowy, sekwencyjny, przyczynowy, PRAM, modele o dostępie synchronizowanym) | ||
** protokoły spójności | ** protokoły spójności | ||
* Replikacja w rozproszonych systemach mobilnych | * Replikacja w rozproszonych systemach mobilnych: | ||
** modele spójności zorientowane na klienta (gwarancje sesji) | ** modele spójności zorientowane na klienta (gwarancje sesji) | ||
** protokoły spójności | ** protokoły spójności | ||
* Rozproszone szeregowanie | * Rozproszone szeregowanie: | ||
** problematyka równoważenia obciążeń, algorytmy i ich klasyfikacja | ** problematyka równoważenia obciążeń, algorytmy i ich klasyfikacja | ||
* Synchronizacja zegarów | * Synchronizacja zegarów: | ||
** zegary fizyczne (algorytmy Berkeley, Cristiana) | ** zegary fizyczne (algorytmy Berkeley, Cristiana) | ||
** zegary logiczne (skalarny Lamporta, wektorowy Fidge'a, Matterna) | ** zegary logiczne (skalarny Lamporta, wektorowy Fidge'a, Matterna) | ||
* Elekcja: algorytm tyrana, elekcja w pierścieniu | * Elekcja: algorytm tyrana, elekcja w pierścieniu | ||
* Rozproszone zakleszczenie – modele i algorytmy detekcji | * Rozproszone zakleszczenie – modele i algorytmy detekcji | ||
* Praktyczne realizacje niektórych usług rozproszonych systemów operacyjnych | * Praktyczne realizacje niektórych usług rozproszonych systemów operacyjnych: | ||
** rozproszone systemy plików (NFS, AFS, Coda, SMB/CIFS) | ** rozproszone systemy plików (NFS, AFS, Coda, SMB/CIFS) | ||
** usługi katalogowe (LDAP, AD) | ** usługi katalogowe (LDAP, AD) | ||
Linia 44: | Linia 44: | ||
==== Zagadnienia praktyczne ==== | ==== Zagadnienia praktyczne ==== | ||
* Mechanizm zdalnego wywołania procedur na przykładzie Sun RPC | * Mechanizm zdalnego wywołania procedur na przykładzie Sun RPC: | ||
** synchroniczne i asynchroniczne wywołania zdalnych procedur | ** synchroniczne i asynchroniczne wywołania zdalnych procedur | ||
** wywołania zwrotne | ** wywołania zwrotne | ||
* Rozproszone systemy plików – uruchomienie, konfiguracja, strojenie | * Rozproszone systemy plików – uruchomienie, konfiguracja, strojenie: | ||
** Network File System | ** Network File System | ||
** SMB/CIFS | ** SMB/CIFS | ||
* Usługi katalogowe – konfiguracja, integracja z innymi usługami systemu operacyjnego | * Usługi katalogowe – konfiguracja, integracja z innymi usługami systemu operacyjnego: | ||
** Network Information System | ** Network Information System | ||
** LDAP | ** LDAP | ||
Linia 68: | Linia 68: | ||
== Moduły == | == Moduły == | ||
=== Wykłady === | === Wykłady === | ||
# [[sr-1-wyk-1.0-toc|Wstęp]] ( | # [[sr-1-wyk-1.0-toc|Wstęp]] ([[media:sr-1-wyk-1.0.pdf|PDF]], [[media:sr-1-wyk-1.0-kolor.pdf|PDF kolor]], [http://osilek.mimuw.edu.pl/external/sr/sr-1-wyk-1.0.flash/player.html Flash]) | ||
# [[sr-2-wyk-1.0-toc|Komunikacja]] ([[media:sr-2-wyk-1.0.pdf|PDF]], [[media:sr-2-wyk-1.0-kolor.pdf|PDF kolor]], [http://osilek.mimuw.edu.pl/external/sr/sr-2-wyk-1.0.flash/player.html Flash]); [http://osilek.mimuw.edu.pl/external/sr/sr-2-test-1.0/quizmaker.html Pytania] | |||
# [[sr-3-wyk-2.0-toc|Komunikacja grupowa]], ([[media:sr-3-wyk-2.0.pdf|PDF]], [[media:sr-3-wyk-2.0-kolor.pdf|PDF kolor]], [http://osilek.mimuw.edu.pl/external/sr/sr-3-wyk-2.0.flash/player.html Flash]); [http://osilek.mimuw.edu.pl/external/sr/sr-3-test-1.0/quizmaker.html Pytania] | |||
# [[sr- | # [[sr-4-wyk-2.0-toc|Procesy]] ([[media:sr-4-wyk-2.0.pdf|PDF]], [[media:sr-4-wyk-2.0-kolor.pdf|PDF kolor]], [http://osilek.mimuw.edu.pl/external/sr/sr-4-wyk-2.0.flash/player.html Flash]); [http://osilek.mimuw.edu.pl/external/sr/sr-4-test-1.0/quizmaker.html Pytania] | ||
# [[sr-5-wyk-1.0-toc|Nazewnictwo]] ([[media:sr-5-wyk-1.0.pdf|PDF]], [[media:sr-5-wyk-1.0-kolor.pdf|PDF kolor]], [http://osilek.mimuw.edu.pl/external/sr/sr-5-wyk-1.0.flash/player.html Flash]) | |||
# [[sr-6-wyk-2.0-toc|Synchronizacja zegarów i rozproszone transakcje]] ([[media:sr-6-wyk-2.0.pdf|PDF]], [[media:sr-6-wyk-2.0-kolor.pdf|PDF kolor]], [http://osilek.mimuw.edu.pl/external/sr/sr-6-wyk-2.0.flash/player.html Flash]); [http://osilek.mimuw.edu.pl/external/sr/sr-6-test-1.0/quizmaker.html Pytania] | |||
# [[sr- | # [[sr-7-wyk-2.0-toc|Elekcja, wzajemne wykluczanie i zakleszczenie]] ([[media:sr-7-wyk-2.0.pdf|PDF]], [[media:sr-7-wyk-2.0-kolor.pdf|PDF kolor]], [http://osilek.mimuw.edu.pl/external/sr/sr-7-wyk-2.0.flash/player.html Flash]); [http://osilek.mimuw.edu.pl/external/sr/sr-7-test-1.0/quizmaker.html Pytania] | ||
# [[sr-8-wyk-1.0-toc|Zwielokrotnianie i spójność]] ([[media:sr-8-wyk-1.0.pdf|PDF]], [[media:sr-8-wyk-1.0-kolor.pdf|PDF kolor]], [http://osilek.mimuw.edu.pl/external/sr/sr-8-wyk-1.0.flash/player.html Flash]) | |||
# [[sr-9-wyk-1.0-toc|Modele spójności]] ([[media:sr-9-wyk-1.0.pdf|PDF]], [[media:sr-9-wyk-1.0-kolor.pdf|PDF kolor]], [http://osilek.mimuw.edu.pl/external/sr/sr-9-wyk-1.0.flash/player.html Flash]) | |||
# [[sr-10-wyk-1.0-toc|Modele spójności nastawione na klienta]] ([[media:sr-10-wyk-1.0.pdf|PDF]], [[media:sr-10-wyk-1.0-kolor.pdf|PDF kolor]], [http://osilek.mimuw.edu.pl/external/sr/sr-10-wyk-1.0.flash/player.html Flash]) | |||
# [[sr- | # [[sr-11-wyk-1.0-toc|Niezawodne systemy rozproszone]] ([[media:sr-11-wyk-1.0.pdf|PDF]], [[media:sr-11-wyk-1.0-kolor.pdf|PDF kolor]], [http://osilek.mimuw.edu.pl/external/sr/sr-11-wyk-1.0.flash/player.html Flash]) | ||
# [[sr- | # [[sr-12-wyk-1.0-toc|Systemy rozproszone oparte na obiektach]] ([[media:sr-12-wyk-1.0.pdf|PDF]], [[media:sr-12-wyk-1.0-kolor.pdf|PDF kolor]], [http://osilek.mimuw.edu.pl/external/sr/sr-12-wyk-1.0.flash/player.html Flash]); [http://osilek.mimuw.edu.pl/external/sr/sr-12-test-1.0/quizmaker.html Pytania] | ||
# [[sr-13-wyk-1.0-toc|Rozproszone systemy plików]] ([[media:sr-13-wyk-1.0.pdf|PDF]], [[media:sr-13-wyk-1.0-kolor.pdf|PDF kolor]], [http://osilek.mimuw.edu.pl/external/sr/sr-13-wyk-1.0.flash/player.html Flash]); [http://osilek.mimuw.edu.pl/external/sr/sr-13-test-1.0/quizmaker.html Pytania] | |||
# [[sr-14-wyk-1.0-toc|LDAP]] ([[media:sr-14-wyk-1.0.pdf|PDF]], [[media:sr-14-wyk-1.0-kolor.pdf|PDF kolor]], [http://osilek.mimuw.edu.pl/external/sr/sr-14-wyk-1.0.flash/player.html Flash]) | |||
=== Laboratoria === | |||
# [[sr-01-lab-1.0|Wprowadzenie do Sun RPC]] | |||
# [[sr-02-lab-1.0|External Data Representation]] | |||
# [[sr-03-lab-1.0|Wywołania asynchroniczne]] | |||
# [[sr-04-lab-1.0|Wywołania zwrotne]] | |||
# [[sr-05-lab-1.0|Java RMI (1)]] | |||
# [[sr-06-lab-1.0|Java RMI (2)]] | |||
# [[sr-07-lab-1.0|Network File System (1)]] | |||
# [[sr-08-lab-1.0|Network File System (2)]] | |||
# [[sr-09-lab-1.0|Network Information System]] | |||
# [[sr-10-lab-1.0|SMB/CIFS (1)]] | |||
# [[sr-11-lab-1.0|SMB/CIFS (2)]] | |||
# [[sr-12-lab-1.0|LDAP]] | |||
# [[sr-13-lab-1.0|CORBA]] | |||
Materiały do ćwiczeń laboratoryjnych są dostępne w postaci plików PDF: | |||
* [[media:sr-lab-color-oneside.pdf|kolor jednostronny]] | |||
* [[media:sr-lab-color-twoside.pdf|kolor dwustronny]] | |||
* [[media:sr-lab-mono-oneside.pdf|B&W jednostronny]] | |||
* [[media:sr-lab-mono-twoside.pdf|B&W dwustronny]] |
Aktualna wersja na dzień 19:47, 28 wrz 2006
Forma zajęć
Wykład (30 godzin) + laboratorium (30 godzin)
Opis
Celem przedmiotu jest prezentacja teoretycznych i praktycznych aspektów konstrukcji rozproszonych systemów operacyjnych. Prezentowane zagadnienia dotyczą różnych warstw systemu operacyjnego: począwszy od mechanizmów komunikacyjnych, poprzez algorytmy rozproszonego szeregowania i synchronizacji, a skończywszy na aplikacyjnych usługach systemu operacyjnego (systemy plików, usługi katalogowe).
Sylabus
Autorzy
- Jerzy Brzeziński — Politechnika Poznańska
- Cezary Sobaniec — Politechnika Poznańska
Wymagania wstępne
- Systemy operacyjne
- Sieci komputerowe
- Programowanie niskopoziomowe
- Programowanie obiektowe
Zawartość
Zagadnienia teoretyczne
- Wprowadzenie:
- architektura systemów rozproszonych
- modele przetwarzania rozproszonego
- mechanizmy komunikacyjne: wymiana komunikatów, komunikacja grupowa
- Mechanizm zdalnych wywołań procedur (RPC)
- Systemy z rozproszoną pamięcią współdzieloną (DSM):
- modele spójności (model atomowy, sekwencyjny, przyczynowy, PRAM, modele o dostępie synchronizowanym)
- protokoły spójności
- Replikacja w rozproszonych systemach mobilnych:
- modele spójności zorientowane na klienta (gwarancje sesji)
- protokoły spójności
- Rozproszone szeregowanie:
- problematyka równoważenia obciążeń, algorytmy i ich klasyfikacja
- Synchronizacja zegarów:
- zegary fizyczne (algorytmy Berkeley, Cristiana)
- zegary logiczne (skalarny Lamporta, wektorowy Fidge'a, Matterna)
- Elekcja: algorytm tyrana, elekcja w pierścieniu
- Rozproszone zakleszczenie – modele i algorytmy detekcji
- Praktyczne realizacje niektórych usług rozproszonych systemów operacyjnych:
- rozproszone systemy plików (NFS, AFS, Coda, SMB/CIFS)
- usługi katalogowe (LDAP, AD)
Zagadnienia praktyczne
- Mechanizm zdalnego wywołania procedur na przykładzie Sun RPC:
- synchroniczne i asynchroniczne wywołania zdalnych procedur
- wywołania zwrotne
- Rozproszone systemy plików – uruchomienie, konfiguracja, strojenie:
- Network File System
- SMB/CIFS
- Usługi katalogowe – konfiguracja, integracja z innymi usługami systemu operacyjnego:
- Network Information System
- LDAP
Literatura
- A. S. Tanenbaum, M. van Steen, Distributed Systems: Principles and Paradigms, Prentice-Hall, Inc., 2002
- P. K. Sinha, Distributed Operating Systems – Concepts and Design, IEEE Press, 1997.
- A. S. Tanenbaum, Computer Networks, Pearson Education, Inc., 2003.
- G. S. Hura, M. Singhal, Data and Computer Communications. Networking and Internetworking, CRC Press LLC, Boca Raton, Florida, 2001.
- M. Singhal, N. G. Shivaratri, Advanced Concepts in Operating Systems –Disitributed, Database, and Multiprocessor Operating Systems, McGraw Hill, 1994.
- A. Gościński, Distributed Operating Systems, The Logical Design, Addison Wesley, 1991.
- A. Silberschatz, J. Peterson, P. Galvin, Operating Systems Concepts, Addison Wesley, 1991.
- A. S. Tanenbaum, Modern Operating Systems, Prentice-Hall, Inc., 1992.
- G. Tel, Introduction to Distributed Algorithms, Cambridge University Press, 1994.
- M. Gabassi, B. Dupouy. Przetwarzanie rozproszone w systemie UNIX. Lupus, 1995.
Moduły
Wykłady
- Wstęp (PDF, PDF kolor, Flash)
- Komunikacja (PDF, PDF kolor, Flash); Pytania
- Komunikacja grupowa, (PDF, PDF kolor, Flash); Pytania
- Procesy (PDF, PDF kolor, Flash); Pytania
- Nazewnictwo (PDF, PDF kolor, Flash)
- Synchronizacja zegarów i rozproszone transakcje (PDF, PDF kolor, Flash); Pytania
- Elekcja, wzajemne wykluczanie i zakleszczenie (PDF, PDF kolor, Flash); Pytania
- Zwielokrotnianie i spójność (PDF, PDF kolor, Flash)
- Modele spójności (PDF, PDF kolor, Flash)
- Modele spójności nastawione na klienta (PDF, PDF kolor, Flash)
- Niezawodne systemy rozproszone (PDF, PDF kolor, Flash)
- Systemy rozproszone oparte na obiektach (PDF, PDF kolor, Flash); Pytania
- Rozproszone systemy plików (PDF, PDF kolor, Flash); Pytania
- LDAP (PDF, PDF kolor, Flash)
Laboratoria
- Wprowadzenie do Sun RPC
- External Data Representation
- Wywołania asynchroniczne
- Wywołania zwrotne
- Java RMI (1)
- Java RMI (2)
- Network File System (1)
- Network File System (2)
- Network Information System
- SMB/CIFS (1)
- SMB/CIFS (2)
- LDAP
- CORBA
Materiały do ćwiczeń laboratoryjnych są dostępne w postaci plików PDF: