Abstract | ||
---|---|---|
An effective way to reduce the number of aborts in software transactional memory (STM) is to keep multiple versions of transactional objects. In this paper, we study inherent properties of STMs that use multiple versions to guarantee successful commits of all read-only transactions. We first show that these STMs cannot be disjoint-access parallel. We then consider the problem of garbage collecting old object versions, and show that no STM can be optimal in the number of previous versions kept. Moreover, we show that garbage collecting useless versions is impossible in STMs that implement invisible reads. Finally, we present an STM algorithm using visible reads that efficiently garbage collects useless object versions. |
Year | DOI | Venue |
---|---|---|
2010 | 10.1145/1835698.1835704 | PODC |
Keywords | Field | DocType |
stm algorithm,useless version,software transactional memory,previous version,inherent property,transactional object,disjoint-access parallel,useless object version,old object version,multiple version,transactional memory,garbage collection | Software transactional memory,Garbage,Computer science,Parallel computing,Transactional memory,Transactional leadership,Distributed computing | Conference |
Citations | PageRank | References |
49 | 1.61 | 14 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Dmitri Perelman | 1 | 120 | 7.40 |
Rui Fan | 2 | 49 | 1.61 |
Idit Keidar | 3 | 1892 | 155.01 |