Przetwarzanie równoległe i rozproszone (e) 1300-Inf2PRRe-NP
Wykład (WYK) Rok akademicki 2025/26

1. M. Ben-Ari, Podstawy programowania współbieżnego i rozproszonego. Wydawnictwa Naukowo-Techniczne, Warszawa 2009.

2. M. Herlihy, N. Shavit, „Sztuka programowania wieloprocesorowego", Wydawnictwo Naukowe PWN, 2010 Warszawa

W1

Zaliczenie części wykładowej jest połączone z zaliczeniem części laboratoryjnej.

Zaliczenie jest pisemne i jest podzielone na dwie części: teoretyczną (na bazie wykładów) i implementacyjną (na bazie laboratorium).

Składnikiem zaliczenia części implementacyjnej jest aktywność i realizacja zadań w trakcie zajęć laboratoryjnych.

Aktywni uczestnicy mogą otrzymać alternatywne projekty zaliczeniowe.

Wprowadzenie do koncepcji przetwarzania równoległego i współbieżnego. Podstawowe terminy. Prawo Amdahla. Program współbieżny. Scenariusze i przeplot.

Wzajemne wykluczanie. Poprawność algorytmu współbieżnego. Algorytm Dekkera. Algorytm Piekarniany. Algorytm Szybki.

Przykłady problemów związanych ze współbieżnością. Problem producenta-konsumenta. Problem pięciu filozofów. Problem czytelników i pisarzy.

Wysokopoziomowe narzędzia dla problemów równoległych. Semafory. Monitory. Rozwiązywanie typowych problemów współbieżności z użyciem semaforów i monitorów.

Model przetwarzania rozproszonego. Komunikacja. Kanały. Problem bizantyjskich generałów. Algorytm uzgadniania.