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

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21240%2F22%3A00364934" target="_blank" >RIV/68407700:21240/22:00364934 - isvavai.cz</a>

Result on the web

<a href="https://doi.org/10.1007/s00446-022-00420-2" target="_blank" >https://doi.org/10.1007/s00446-022-00420-2</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/s00446-022-00420-2" target="_blank" >10.1007/s00446-022-00420-2</a>

Result language

angličtina

Original language name

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

Original language description

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.

Czech name

—

Czech description

—

Type

J_imp - Article in a specialist periodical, which is included in the Web of Science database

CEP classification

—

OECD FORD branch

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Project

<a href="/en/project/EF15_003%2F0000421" target="_blank" >EF15_003/0000421: Big Code: Scalable Analysis of Massive Code Bases</a><br>

Continuities

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year

2022

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Name of the periodical

Distributed Computing

ISSN

0178-2770

e-ISSN

1432-0452

Volume of the periodical

35

Issue of the periodical within the volume

3

Country of publishing house

DE - GERMANY

Number of pages

37

Pages from-to

265-301

UT code for WoS article

000783034300001

EID of the result in the Scopus database

2-s2.0-85128203185