Pamięć transakcyjna

Najbardziej popularną i najczęściej używaną metodą synchronizacji dostępu wątków do zasobów jest synchronizacja blokująca w postaci blokad. Rozwiązanie to jednak ma wiele wad, jak chociażby możliwość zakleszczenia, inwersji priorytetów itp. Innym możliwym sposobem synchronizacji jest synchronizacja nieblokująca, która pomimo tego, że może się wydawać bardzo kosztowna (przerywanie i wznawianie wykonywania operacji przez wątki), okazuje się o wiele wydajniejsza od blokad już dla niewielkiej liczby procesorów.

Prezentacja poświęcona będzie pamięci transakcyjnej (Software Transactional Memory, STM) jako jednej z możliwych metod realizacji synchronizacji nieblokującej.

Plan prezentacji

• wady synchronizacji blokującej
• słowo o synchronizacji nieblokującej
• kategorie algorytmów synchronizacji nieblokującej (ze względu na zapewnianie postępu)
• idea pamięci transakcyjnej
• modele pamięci transakcyjnej
  • Hash table STM (STM oparte na tablicy haszującej)
  • DSTM (dokładniejsze omówienie)
  • FSTM
• zarządzanie sporami
• dostępne implementacje
  • Lightweight Transaction Library (w C)
  • SXM - C# Software Transactional Memory

Serdecznie zapraszam!
Anna Chmielowiec