2. About the paper
Title
“RingSTM: Scalable Transactions with a Single Atomic
Instruction”
Authors
Michael F. Spear, Maged M. Michael, and Christoph von Praun
Published in
The 20th annual symposium on Parallelism in algorithms and
architectures (SPAA)
Year
2008
5. Motivation
Orec-based STM
Location-based metadata
TX writing to W locations
O(W) CAS operations
Committing R/W TX
O(R+W) overhead
All validation done in CS
Ring STM
TX-based metadata
TX writing to W locations
No CAS operations
Committing R/W TX
Single CAS operation
Bloom filters used for validation
34. Summary
Use of Bloom filter accelerates validation
Single RMW operation to commit
Trade-off between size of Bloom filter and false
conflicts
Ring size is a bottleneck for large number of threads
Holds successful writers, means no conflict with other TXs. Light blue for still writing back, dark blue for complete write back. Many TXs may be writing in the same time as long as there is no conflict. No TX can set status to complete until all previous set to completeIndex points to the newest writer in the ring