Programowanie współbieżne i rozproszone: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
mNie podano opisu zmian |
Nie podano opisu zmian |
||
| Linia 4: | Linia 4: | ||
=== Typ zajęć === | === Typ zajęć === | ||
wykład (30 godz.) + laboratorium (30 godz.) | wykład (30 godz.) + laboratorium/ćwiczenia (30 godz.) | ||
=== Opis === | === Opis === | ||
| Linia 11: | Linia 11: | ||
=== Wymagania wstępne === | === Wymagania wstępne === | ||
* Wstęp do programowania | * [[Wstęp do programowania]] | ||
* Systemy operacyjne | * [[Systemy operacyjne]] | ||
=== Zawartość === | === Zawartość === | ||
| Linia 34: | Linia 34: | ||
# M. Rochkind. Programowanie w systemie Unix dla zaawansowanych. WNT, 1997. | # M. Rochkind. Programowanie w systemie Unix dla zaawansowanych. WNT, 1997. | ||
# M.K. Johnson, E.W. Troan. Oprogramowanie uzytkowe w systemie Linux. WNT, 2000. | # M.K. Johnson, E.W. Troan. Oprogramowanie uzytkowe w systemie Linux. WNT, 2000. | ||
== Moduły == | |||
# [[PWR Wykład 1|Wprowadzenie do programowania współbieżniego]] ([[PWR Ćwiczenia 1|Ćwiczenia. Algorytm Petersena]]) | |||
# [[PWR Wykład 2|Komunikacja asynchroniczna w modelu rozproszonym]] ([[PWR Ćwiczenia 2|Laboratorium. Procesy w systemie Linux]]) | |||
# [[PWR Wykład 3|Linda]] ([[PWR Ćwiczenia 3|Laboratorium. Łącza nazwane i nienazwane]]) | |||
# [[PWR Wykład 4|Komunikacja synchroniczna na przykładzie Ady]] ([[PWR Ćwiczenia 4|Ćwiczenia. Tworzenie programów w modelu asynchronicznym]]) | |||
# [[PWR Wykład 5|Communicating Sequential Processes]] ([[PWR Ćwiczenia 5|Ćwiczenia. Tworzenie programów w modelu synchronicznym]]) | |||
# [[PWR Wykład 6|Algorytmy rozproszone: synchronizacja zegarów logicznych, wzajemne wykluczanie, elekcja]] ([[PWR Ćwiczenia 6| Laboratorium.RPC]]) | |||
# [[PWR Wykład 7|Rozproszony algorytm uzgadniania]] ([[PWR Ćwiczenia 7|Laboratorium. Sygnały w Linuksie]]) | |||
# [[PWR Wykład 8|Mechanizmy scentralizowane. Semafory]] ([[PWR Ćwiczenia 8|Laboratorium. IPC. Kolejki komunikatów]]) | |||
# [[PWR Wykład 9|Monitory i muteksy]] ([[PWR Ćwiczenia 9|Laboratorium. IPC. Semafory]]) | |||
# [[PWR Wykład 10|Synchronizacja w Javie]] ([[PWR Ćwiczenia 10|Ćwiczenia. Tworzenie programów korzystających z semaforów.]]) | |||
# [[PWR Wykład 11|Specyfikowanie własności programów współbieżnych. CTL i LTL]] ([[PWR Ćwiczenia 11|Laboratorium. Wątki i muteksy w Linuksie]]) | |||
# [[PWR Wykład 12|Weryfikacja poprawności programów współbieżnych.]] ([[PWR Ćwiczenia 12|Ćwiczenia. Tworzenie programów korzystających z monitorów i muteksów]]) | |||
# [[PWR Wykład 13|Inne notacje do opisu współbieżności. Sieci Petriego]] ([[PWR Ćwiczenia 13|Laboratorium. Wątki i ich synchronizacja w Javie]]) | |||
# [[PWR Wykład 14|Inne notacje do opisu współbieżności. Sieci Petriego]] ([[PWR Ćwiczenia 14|Laboratorium. Narzędzia do weryfikacji programów współbieżnych SPIN ]]) | |||
Wersja z 07:38, 9 cze 2006
Sylabus
Autor
Marcin Engel
Typ zajęć
wykład (30 godz.) + laboratorium/ćwiczenia (30 godz.)
Opis
Celem wykładu jest zaprezentowanie najważniejszych technik stosowanych do synchronizacji procesów i realizacji komunikacji między nimi oraz problemów, jakie stają przed programistą opracowującym programy współbieżne. Omówiony zostanie scentralizowany i rozproszony model programu współbieżnego. Problematyka zostanie przedstawiona na podstawie klasycznych problemów współbieżności oraz procesów i wątków w systemie operacyjnym Linux. Przedstawione też będą klasyczne algorytmy rozproszone oraz zagadnienia związane z weryfikacją programów współbieżnych.
Wymagania wstępne
Zawartość
- Klasyczne problemy współbieżności
- Mechanizmy synchronizacji procesów w modelu scentralizowanym i rozproszonym
- semafory
- monitory
- muteksy
- spotkania (Ada)
- Procesy i wątki w systemie Linux i najważniejsze metody ich synchronizacji
- Algorytmy rozproszone: wzajemnego wykluczania, elekcji i uzgadniania
- Poprawność programów współbieżnych i jej weryfikacja
- Procesy i wątki w systemie Linux i najważniejsze metody ich synchronizacji
- Notacje do opisu współbieżności
- CSP
- Sieci Petriego
Literatura
- M. Ben-Ari. Podstawy programowania współbieżnego i rozproszonego. WNT, 1996.
- Z. Weiss, T. Gruźlewski. Programowanie współbieżne i rozproszone w przykładach i zadaniach. WNT, 1993.
- M. Rochkind. Programowanie w systemie Unix dla zaawansowanych. WNT, 1997.
- M.K. Johnson, E.W. Troan. Oprogramowanie uzytkowe w systemie Linux. WNT, 2000.
Moduły
- Wprowadzenie do programowania współbieżniego (Ćwiczenia. Algorytm Petersena)
- Komunikacja asynchroniczna w modelu rozproszonym (Laboratorium. Procesy w systemie Linux)
- Linda (Laboratorium. Łącza nazwane i nienazwane)
- Komunikacja synchroniczna na przykładzie Ady (Ćwiczenia. Tworzenie programów w modelu asynchronicznym)
- Communicating Sequential Processes (Ćwiczenia. Tworzenie programów w modelu synchronicznym)
- Algorytmy rozproszone: synchronizacja zegarów logicznych, wzajemne wykluczanie, elekcja ( Laboratorium.RPC)
- Rozproszony algorytm uzgadniania (Laboratorium. Sygnały w Linuksie)
- Mechanizmy scentralizowane. Semafory (Laboratorium. IPC. Kolejki komunikatów)
- Monitory i muteksy (Laboratorium. IPC. Semafory)
- Synchronizacja w Javie (Ćwiczenia. Tworzenie programów korzystających z semaforów.)
- Specyfikowanie własności programów współbieżnych. CTL i LTL (Laboratorium. Wątki i muteksy w Linuksie)
- Weryfikacja poprawności programów współbieżnych. (Ćwiczenia. Tworzenie programów korzystających z monitorów i muteksów)
- Inne notacje do opisu współbieżności. Sieci Petriego (Laboratorium. Wątki i ich synchronizacja w Javie)
- Inne notacje do opisu współbieżności. Sieci Petriego (Laboratorium. Narzędzia do weryfikacji programów współbieżnych SPIN )
