Software Transactional Memory with Interactions

07/17/2020
by   Marino Miculan, et al.
0

Software Transactional memory (STM) is an emerging abstraction for concurrent programming alternative to lock-based synchronizations. Most STM models admit only isolated transactions, which are not adequate in multithreaded programming where transactions need to interact via shared data before committing. To overcome this limitation, in this paper we present Open Transactional Memory (OTM), a programming abstraction supporting safe, data-driven interactions between composable memory transactions. This is achieved by relaxing isolation between transactions, still ensuring atomicity. This model allows for loosely-coupled interactions since transaction merging is driven only by accesses to shared data, with no need to specify participants beforehand.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
04/13/2023

Choreographic Programming of Isolated Transactions

Implementing distributed systems is hard; choreographic programming aims...
research
11/30/2020

Modularising Verification Of Durable Opacity

Non-volatile memory (NVM), also known as persistent memory, is an emergi...
research
08/13/2013

Opacity of Memory Management in Software Transactional Memory

Opacity of Transactional Memory is proposed to be established by increme...
research
05/21/2019

Checking Robustness Against Snapshot Isolation

Transactional access to databases is an important abstraction allowing p...
research
09/14/2021

Cryptocurrencies Activity as a Complex Network: Analysis of Transactions Graphs

The number of users approaching the world of cryptocurrencies exploded i...
research
03/09/2021

Repairing Serializability Bugs in Distributed Database Programs via Automated Schema Refactoring

Serializability is a well-understood concurrency control mechanism that ...

Please sign up or login with your details

Forgot password? Click here to reset