Bo w tym cały jest ambaras, kiedy dwoje zmienia naraz

5 czerwca 2024
Kategoria: Festiwal Nauki w Warszawie, Nauka
338

Wykład dr. Marcina Engela w ramach Festiwalu Nauki w Warszawie [24 września 2023 r.]

Posłuchaj wykładu w formie podcastu:

Program współbieżny to program złożony z wielu wykonujących się jednocześnie procesów. Najczęściej współpracują one ze sobą w celu rozwiązania pewnego problemu lub wykonania pewnej pracy. Współpraca ta często wymaga jednak wymiany informacji, np. wyników częściowych obliczonych przez poszczególne procesy. Takie wyniki częściowe mogą być na przykład zapisywane w zmiennych. Okazuje się jednak, że zmiana wartości zmiennej, nie może być wykonywana współbieżne i wymaga umiejętnej synchronizacji procesów.

Na przykładzie prostych programów zobaczymy, dlaczego taka synchronizacja jest niezbędna i do jakich subtelnych błędów może prowadzić jej brak. Przekonamy się też, jak bardzo nieintuicyjna jest analiza programu współbieżnego. Na koniec zobaczymy, że wykonanie na współczesnym procesorze poprawnie zsynchronizowanego programu współbieżnego może nas mocno zaskoczyć!

dr Marcin Engel – prof. w Instytucie Informatyki na Wydziale Matematyki Informatyki i Mechaniki Uniwersytetu Warszawskiego

Organizator