Efektywna Synchronizacja Dostępu do Wspólnej Pamięci

W związku z rosnącą ilością zastosowań systemów wieloprocesorowych do celów komercyjnych, zaistniała potrzeba opracowania efektywnych algorytmów operujących na wspólnej pamięci. Mialyby one oferować szybki i bezpieczny dostęp do rozmaitych struktur danych. Jednym z wielu zespołów, które badaly powyższy problem, jest zespół z Uniwersytetu w Rochester (USA). Owocem ich pracy jest raport opisujący stan bieżący badań, problemy z jakimi się zetknęli oraz przykładowe sposoby ich rozwiązania. Niejako przy okazji opracowali również kilka efektywnych algorytmów obsługi podstawowych struktur danych.

Podczas seminarium chciałbym przedstawić wyniki pracy zespołu, począwszy od zdefiniowania zadania, poprzez opis problemów i ich rozwiązań, na porównaniu wydajności kilku algorytmów skończywszy. Postaram się również pokazać opracowane przez zespół algorytmy, które, jakkolwiek proste, mogą znaleźć duże zastosowanie podczas oprogramowywania multiprocesorów.

Plan referatu:

• Cel badań
• Zastosowania
• Dostępne wsparcie sprzętowe
  • Opis instrukcji dostępnych na poszczególnych architekturach
• Metody operowania na wspólnych strukturach, ich wady i zalety
  • Blokowanie z bezpiecznym wywłaszczaniem
  • Dostęp nieblokujący
• Przykłady algorytmów współbieżnych
  • licznik
  • stos
  • kolejka
  • kopiec
• Porównanie wydajności algorytmów
• Wnioski