Processing may take a few seconds...

Article


Title

Last-use opacity: a strong safety property for transactional memory with prerelease support

Authors

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

Scientific discipline (Law 2.0)

[2.3] Information and communication technology

Year of publication

2022

Published in

Distributed Computing

Journal year: 2022 | Journal volume: vol. 35 | Journal number: iss. 3

Article type

scientific article

Publication language

english

Keywords
EN
  • Transactional memory
  • Safety property
  • Consistency
Abstract

EN Transaction Memory (TM) is a concurrency control abstraction that allows the programmer to specify blocks of code to be executed atomically as transactions. However, since transactional code can contain just about any operation attention must be paid to the state of shared variables at any given time. E.g., contrary to a database transaction, if a TM transaction reads a stale value it may execute dangerous operations, like attempt to divide by zero, access an illegal memory address, or enter an infinite loop. Thus serializability is insufficient, and stronger safety properties are required in TM, which regulate what values can be read, even by transactions that abort. Hence, a number of TM safety properties were developed, including opacity, and TMS1 and TMS2. However, such strong properties preclude using prerelease as a technique for optimizing TM, because they virtually forbid reading from live transactions. On the other hand, properties that do allow prerelease are either not strong enough to prevent any of the problems mentioned above (recoverability), or add additional conditions on transactions that prerelease variables that limit their applicability (elastic opacity, live opacity, virtual world consistency). This paper introduces last-use opacity and strong last-use opacity, a pair of new TM safety properties meant to be a compromise between strong properties like opacity and minimal ones like serializability. The properties eliminate all but a small class of benign inconsistent views and pose no stringent conditions on transactions.

Date of online publication

17.04.2022

Pages (from - to)

265 - 301

DOI

10.1007/s00446-022-00420-2

URL

https://link.springer.com/article/10.1007/s00446-022-00420-2

License type

CC BY (attribution alone)

Open Access Mode

czasopismo hybrydowe

Open Access Text Version

final published version

Date of Open Access to the publication

in press

Points of MNiSW / journal

70.0

Impact Factor

1.333 [List 2020]

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