Programowanie Współbieżne
II rok informatyki studiów dziennych
semestr letni roku akademickiego 2008/2009
Na tej stronie znajdziesz informacje i materiały dotyczące
wykładu z Programowania Współbieżnego dla II roku informatyki
studiów dziennych na Wydziale
Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego .
- Drugie zadanie zaliczeniowe jest tutaj.
- Trzecie zadanie zaliczeniowe jest tutaj.
- Wykład z ćwiczeniami
- Laboratorium
- Literatura
Wybierajac pozycje z poniższej listy uzyskasz dostęp do
slajdów z wykładów w postaci ps lub pdf.
Odbitki slajdów są również dostępne w bibliotece wydziałowej.
Uwaga: Poniższy harmonogram jest jedynie orientacyjny. Zarówno
kolejność wykładów, jak i ich treść może ulec zmianie.
- Wykład 1 (12.02)
(ps)
(pdf)
Programowanie współbieżne - wstęp
- Wykład 2 (19.02)
(ps)
(pdf)
Komunikacja asynchroniczna w modelu rozproszonym.
Proces i plik w systemie UNIX.
- Wykład 3 (26.02)
(ps)
(pdf)
Komunikacja synchroniczna na przykładzie
CSP
- Wykład 4 (5.03)
(ps)
(pdf)
CSP dokończenie. Randki w Adzie.
- Wykład 5 (12.03)
(ps)
(pdf)
Ada dokończenie. Sygnały uniksowe jako prymitywny
mechanizm
synchronizacji
- Wykład 6 (19.03)
(ps)
(pdf)
Linda. Porównanie mechanizmów synchronizacyjnych.
- Wykład 7 (26.03) - Inne mechanizmy synchronizacji
rozproszonej
(Occam,
Estelle ).
- Wykład 8 (2.04)
(ps)
(pdf)
Model scentralizowany, semafory.
- Wykład 9 (9.04)
(ps)
(pdf)
Semafory cd., Semafory w Uniksie,
segmenty pamięci dzielonej w Uniksie.
- Wykład 10 (16.04)
Klasówka
- Wykład 11 (30.04)
(ps)
(pdf)
Monitory
- Wykład 12
Synchronizacja rozproszona
- Wykład 13
Bizantyjscy generałowie
- Wykład 14 (21.05)
(ps)
(pdf)
Weryfikacja programów współbieżnych
Początek
Tu znajdziesz rozwiązania zadań z ćwiczeń wraz z ich omówieniem.
Będą one udostępniane stopniowo zawsze po zajęciach ostatniej
grupy ćwiczeniowej.
- Ćwiczenia 1
(ps)
Algorytm Petersona
- Ćwiczenia 2
(ps)
Klasyczne problemy współbieżności w modelu
asynchronicznym.
- Ćwiczenia 3 CSP
(ps)
Producenci i konsumenci oraz czytelnicy i pisarze
w CSP
- Ćwiczenia 4 CSP ciąg dalszy
(ps)
- Ćwiczenia 5 Ada, pięciu filozofów
(ps)
- Ćwiczenia 6 Ada, ciąg dalszy
(ps)
- Ćwiczenia 7 Powtórzenie Ada i CSP
(ps)
- Ćwiczenia 8
(ps)
Linda
- Ćwiczenia 9
(ps)
Semafory
- Ćwiczenia 10
(ps)
Semafory c.d.
- Ćwiczenia 11
(ps)
Semafory / Monitory
- Ćwiczenia 12
(ps)
Monitory
- Ćwiczenia 13
(ps)
Monitory c.d.
- Ćwiczenia 14
(ps)
Algorytm Agrawali
Początek
Tu znajdziesz omówienie rozwiązań zadań laboratoryjnych.
Będą one udostępniane stopniowo zawsze po zajęciach ostatniej
grupy laboratoryjnej
- M. Ben-Ari, "Podstawy programowania współbieżnego",
WNT 1989.
- 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.
- W. Iszkowski, M. Maniecki, "Programowanie współbieżne",
WNT 1982.
- A. Shaw, "Projektowanie logiczne systemów
operacyjnych", WNT, 1980 (rozdz. 3).
- Per Brinch Hansen, "Podstawy systemow operacyjnych",
WNT 1979 (rozdz. 3).
- M.K. Johnson, E.W. Troan, "Oprogramowanie uzytkowe w
systemie Linux"
- M. Rochkind, "Programowanie w systemie Unix dla
zaawansowanych", WNT, 1993.
- W. Richard
Stevens
- "Programowanie zastosowań sieciowych w
systemie Unix", WNT, 1995.
- C. Brown, "Unix Distributed Programming",
Prentice Hall, 1994.
Początek
Początek
Na zajęcia z Programowania Wspólbieżnego składają się
dwa niezależne od siebie przedmioty: część teoretyczna (wykład
+ ćwiczenia) oraz część praktyczna (laboratorium). Oznacza to,
że na zakończenie każdy student uczestniczący w obu zajęciach
otrzyma dwie oceny. Poniżej znajdują się kryteria zaliczenia
obu przedmiotów.
Początek
Początek
Początek
Początek