Virtual world consistency: A condition for STM systems (with a versatile protocol with invisible read operations)
The aim of a Software Transactional Memory (STM) is to discharge the programmers from
the management of synchronization in multiprocess programs that access concurrent …
the management of synchronization in multiprocess programs that access concurrent …
Help when needed, but no more: efficient read/write partial snapshot
An atomic snapshot object is an object that can be concurrently accessed by asynchronous
processes prone to crash. It is made of m components (base atomic registers) and is defined …
processes prone to crash. It is made of m components (base atomic registers) and is defined …
Practical parallel nesting for software transactional memory
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 …
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 …
allowing the user to assemble sequences of actions in atomic transactions with all-or …
Opacity proof for CaPR+ algorithm
In this paper, we describe an enhanced Automatic Checkpointing and Partial Rollback
algorithm (CaPR+) to realize Software Transactional Memory (STM) that is based on …
algorithm (CaPR+) to realize Software Transactional Memory (STM) that is based on …
[PDF][PDF] Hparstm: A hierarchy-based stm protocol for supporting nested parallelism
R Kumar, K Vidyasankar - the 6th ACM SIGPLAN Workshop on …, 2011 - sss.cs.purdue.edu
Software transactional memory (STM) has emerged as a promising technique for facilitating
concurrent programming to exploit the potential of multicore machines in a …
concurrent programming to exploit the potential of multicore machines in a …
A versatile STM protocol with invisible read operations that satisfies the virtual world consistency condition
The aim of a Software Transactional Memory (STM) is to discharge the programmers from
the management of synchronization in multiprocess programs that access concurrent …
the management of synchronization in multiprocess programs that access concurrent …
Correctness of concurrent executions of closed nested transactions in transactional memory systems
S Peri, K Vidyasankar - International Conference on Distributed …, 2011 - Springer
A generally agreed upon requirement for correctness of concurrent executions in
Transactional Memory systems is that all transactions including the aborted ones read …
Transactional Memory systems is that all transactions including the aborted ones read …
Correctness of concurrent executions of closed nested transactions in transactional memory systems
S Peri, K Vidyasankar - Theoretical Computer Science, 2013 - Elsevier
A generally agreed upon requirement for correctness of concurrent executions in
transactional memory is that all transactions including the aborted ones read consistent …
transactional memory is that all transactions including the aborted ones read consistent …
Provable STM Properties: Leveraging clock and locks to favor commit and early abort
The aim of a Software Transactional Memory (STM) is to discharge the programmers from
the management of synchronization in multiprocess programs that access concurrent …
the management of synchronization in multiprocess programs that access concurrent …