A timestamp based multi-version STM algorithm

P Kumar, S Peri, K Vidyasankar - … 2014, Coimbatore, India, January 4-7 …, 2014 - Springer
Abstract Software Transactional Memory Systems (STM) are a promising alternative for
concurrency control in shared memory systems. Multiversion STM systems maintain multiple …

[PDF][PDF] Distributed universal constructions: a guided tour

M Raynal - Bulletin of EATCS, 2017 - eatcs.org
The notion of a universal construction is central in computing science: the wheel has not to
be reinvented for each new problem. In the context of n-process asynchronous distributed …

Practical parallel nesting for software transactional memory

N Diegues, J Cachopo - … , DISC 2013, Jerusalem, Israel, October 14-18 …, 2013 - Springer
Transactional Memory (TM) provides a strong abstraction to tackle the challenge of
synchronizing concurrent tasks that access shared state. Yet, most TMs do not allow a single …

[HTML][HTML] Non-interference and local correctness in transactional memory

P Kuznetsov, S Peri - Theoretical Computer Science, 2017 - Elsevier
Transactional memory promises to make concurrent programming tractable and efficient by
allowing the user to assemble sequences of actions in atomic transactions with all-or …

Safety and deferred update in transactional memory

H Attiya, S Hans, P Kuznetsov, S Ravi - … Memory. Foundations, Algorithms …, 2015 - Springer
Transactional memory allows the user to declare sequences of instructions as speculative
transactions that can either commit or abort, providing all-or-nothing semantics. If a …

A concurrency-optimal binary search tree

V Aksenov, V Gramoli, P Kuznetsov, A Malova… - Euro-Par 2017: Parallel …, 2017 - Springer
The paper presents the first concurrency-optimal implementation of a binary search tree
(BST). The implementation, based on a standard sequential implementation of a partially …

On partial wait-freedom in transactional memory

P Kuznetsov, S Ravi - Proceedings of the 16th International Conference …, 2015 - dl.acm.org
Transactional memory (TM) is a convenient synchronization tool that allows concurrent
threads to declare sequences of instructions on shared data as speculative transactions …

Opacity proof for CaPR+ algorithm

AS Anand, RK Shyamasundar, S Peri - Proceedings of the 17th …, 2016 - dl.acm.org
In this paper, we describe an enhanced Automatic Checkpointing and Partial Rollback
algorithm (CaPR+) to realize Software Transactional Memory (STM) that is based on …

An innovative approach to achieve compositionality efficiently using multi-version object based transactional systems

C Juyal, S Kulkarni, S Kumari, S Peri… - Stabilization, Safety, and …, 2018 - Springer
The rise of multi-core systems has necessitated the need for concurrent programming.
However, developing correct, efficient concurrent programs is notoriously difficult. Software …

Inherent limitations of hybrid transactional memory

D Alistarh, J Kopinsky, P Kuznetsov, S Ravi… - International Symposium …, 2015 - Springer
Abstract Several Hybrid Transactional Memory (HyTM) schemes have recently been
proposed to complement the fast, but best-effort nature of Hardware Transactional Memory …