Depending on the amount of data to process, file generation may take longer.

If it takes too long to generate, you can limit the data by, for example, reducing the range of years.

Dissertation

Download BibTeX

Title

Distributed Pessimistic Transactional Memory: Algorithms and Properties

Authors

[ 1 ] Instytut Informatyki, Wydział Informatyki, Politechnika Poznańska | [ P ] employee

Promoter

[ 1 ] Instytut Informatyki, Wydział Informatyki, Politechnika Poznańska | [ P ] employee

Reviewers

Title variant

PL Rozproszona pesymistyczna pamięć transakcyjna: algorytmy i własności

Language

english

Keywords
EN
  • transactional memory
  • concurrent systems
  • distributed systems
  • concurrency control
  • consistency
PL
  • pamięć transakcyjna
  • systemy współbieżne
  • systemy rozproszone
  • sterowanie współbieżnością
  • spójność
Abstract

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.

Number of pages

281

OECD domain

computer sciences and computer science

KBN discipline

computer science

Signature of printed version

DrOIN 1806

On-line catalog

to20179024

Full text of dissertation

Download file

Access level to full text

public

First review

Michel Raynal

Place

Rennes, Francja

Date

23.09.2016

Language

english

Review text

Download file

Access level to review text

public

Second review

Marek Tudruj

Place

Warszawa, Polska

Date

22.11.2016

Language

polish

Review text

Download file

Access level to review text

public

Dissertation status

dissertation

Place of defense

Poznań, Polska

Date of defense

04.01.2017

Unit granting title

Rada Wydziału Informatyki Politechniki Poznańskiej

Obtained title

doktor nauk technicznych w dyscyplinie: informatyka, w specjalności: systemy równoległe i rozproszone

This website uses cookies to remember the authenticated session of the user. For more information, read about Cookies and Privacy Policy.