Distributed Pessimistic Transactional Memory: Algorithms and Properties
[ 1 ] Instytut Informatyki, Wydział Informatyki, Politechnika Poznańska | [ P ] pracownik
[ 1 ] Instytut Informatyki, Wydział Informatyki, Politechnika Poznańska | [ P ] pracownik
PL Rozproszona pesymistyczna pamięć transakcyjna: algorytmy i własności
angielski
- transactional memory
- concurrent systems
- distributed systems
- concurrency control
- consistency
- pamięć transakcyjna
- systemy współbieżne
- systemy rozproszone
- sterowanie współbieżnością
- spójność
EN Transactional memory (TM) is an alternative way of synchronizing concurrent accesses to shared, possibly distributed, resources by adopting transactions in place of low-level mechanisms like locks and barriers. TMs usually maintain correctness via optimistic concurrency control where conflicting transactions abort and retry. However, this approach performs a high number of aborts in high contention workloads, which adversely affects performance, and can cause problems when transactions contain irrevocable operations. Pessimistic TMs solve some of these problems, but they tend to exhibit sub-par performance. We aim to increase the performance of pessimistic TM by augmenting it with the early release mechanism. Such an approach requires us to introduce tools for obtaining a priori knowledge and new safety properties that deal with the nuance of reading from uncommitted transactions. In return, our distributed TM implementation can outperform a state-of-the-art distributed optimistic TM.
PL Pamięć transakcyjna (ang. transactional memory, TM) jest rozwiązaniem synchronizacji współbieżnych dostępów do potencjalnie rozproszonych zasobów współdzielonych poprzez stosowanie transakcji w miejsce niskopoziomowych mechanizmów takich jak zamki czy bariery. Większość systemów TM jest optymistyczna, co stwarza problem gdy transakcje wykonują operacje niewycofywalne, oraz prowadzi do częstego wycofywania transakcji przy dużym stopniu współzawodnictwa o zasoby. Pesymistyczne TM rozwiązują część tych problemów, ale często są mniej wydajne. Naszym zamiarem jest podniesienie wydajności pesymistycznej TM wykorzystując wczesne zwalnianie zmiennych. Wymaga to od nas zbudowania narzędzi pozwalających na zbieranie wiedzy a priori, oraz wprowadzenia nowych własności poprawności które radzą sobie z niuansami odczytów z niezatwierdzonych transakcji. W zamian nasza rozproszona implementacja TM jest w stanie przewyższyć efektywnościowo wysokiej klasy rozproszoną optymistyczną TM.
281
nauki o komputerach i informatyka
informatyka
DrOIN 1806
publiczny
Michel Raynal
Rennes, Francja
23.09.2016
angielski
publiczny
Marek Tudruj
Warszawa, Polska
22.11.2016
polski
publiczny
rozprawa doktorska
Poznań, Polska
04.01.2017
Rada Wydziału Informatyki Politechniki Poznańskiej
doktor nauk technicznych w dyscyplinie: informatyka, w specjalności: systemy równoległe i rozproszone