2010
DOI: 10.1007/978-3-642-11476-2_21
View full text |Buy / Rent full text
|
Sign up to set email alerts
|

Abstract: To cite this version:Damien Imbs, Michel Raynal. A versatile STM protocol with invisible read operations that satisfies the virtual world consistency condition. Abstract:The aim of a Software Transactional Memory (STM) is to discharge the programmers from the management of synchronization in multiprocess programs that access concurrent objects. To that end, a STM system provides the programmer with the concept of a transaction. The job of the programmer is to decompose each sequential process the application… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

0
8
0

Year Published

2010
2010
2017
2017

Publication Types

Select...
2
1
1

Relationship

2
2

Authors

Journals

citations
Cited by 11 publications
(8 citation statements)
references
References 27 publications
(22 reference statements)
0
8
0
Order By: Relevance
“…But if T i is an aborted transaction ending with tryC(A) (or r i (x, A)), then only its read operations are considered. As we show in this section, one example of a local property is virtual world consistency [9]. Then we will introduce another local property that we call conflict local opacity (CLO), in the next section and describe a simple permissive CLO implementation.…”
Section: Local Correctness and Non-interferencementioning
confidence: 99%
See 1 more Smart Citation
“…But if T i is an aborted transaction ending with tryC(A) (or r i (x, A)), then only its read operations are considered. As we show in this section, one example of a local property is virtual world consistency [9]. Then we will introduce another local property that we call conflict local opacity (CLO), in the next section and describe a simple permissive CLO implementation.…”
Section: Local Correctness and Non-interferencementioning
confidence: 99%
“…As shown in [9], the VWC criterion may allow a transaction to proceed if it is "doomed" to abort: as long as the transaction's causal past can be properly serialized, the transaction may continue if it is no more consistent with the global serial order and, thus, will have to eventually abort. We propose below a stronger local property that, intuitively, aborts a transaction as soon as it cannot be put in a global serialization order.…”
Section: Conflict Local Opacitymentioning
confidence: 99%
“…A very general framework for consistency conditions is introduced in [9], where the virtual world consistency condition is also introduced. A protocol implementing this general condition is described in [9].…”
Section: On Stm Consistency Conditionsmentioning
confidence: 99%
“…So far in this paper, we have demonstrated the effectiveness of mvc orders using opacity. This conflict notion can be applied to other correctness-criterion such as local-opacity (LO) [17] and virtual world consistency (VWC) [13]. Both these correctness-criteria were defined for sequential histories.…”
Section: Multi-version Conflicts On Other Correctness Criteriamentioning
confidence: 99%