Commit Phase Variations in Timestamp-based Software Transactional Memory
| dc.contributor.author | Zhang, Rui | |
| dc.contributor.author | Budimli?, Zoran | |
| dc.contributor.author | Scherer, William N., III | |
| dc.date.accessioned | 2017-08-02T22:03:05Z | |
| dc.date.available | 2017-08-02T22:03:05Z | |
| dc.date.issued | 2008-02-11 | |
| dc.date.note | February 11, 2008 | |
| dc.description.abstract | Timestamp-based Software Transactional Memory (STM) validation techniques use a global shared counter and timestamping of objects being written to reason about sequencing of transactions and their linearization points, while reducing the number of unnecessary validations that have to be performed, thus improving overall system performance. During the commit phase of a timestamp-based validation scheme, several actions have to be performed: locking of the objects being written to the memory, atomically incrementing a shared timestamp counter, updating timestamps for objects being committed to memory, performing a final validation of the transaction’s consistency, and atomically effecting the transaction’s changes to the outside world. The order and manner in which these actions are performed can affect both the correctness of the STM implementation and the overall system performance. We identify several commit sequence designs, prove their correctness, and analyze their performance. We identify cases where timestamps do not have to be unique for different transactions committing concurrently, and cases where unnecessary updates of the global shared counter — which can trigger extra vaidations in other transactions, hurting performance — can be avoided. We evaluate these commit sequence designs on a set of benchmarks on a 16 processor SunFire SMP machine. We show that a carefully chosen commit sequence can improve overall system performance by up to 14% over the current state of the art single counter timestamp-based validation techniques, and we show that it is possible to obtain high performance without incurring space overhead proportional to the number of objects in the system. | |
| dc.format.extent | 15 pp | |
| dc.identifier.citation | Zhang, Rui, Budimli?, Zoran and Scherer, William N., III. "Commit Phase Variations in Timestamp-based Software Transactional Memory." (2008) https://hdl.handle.net/1911/96366. | |
| dc.identifier.digital | TR08-03 | |
| dc.identifier.uri | https://hdl.handle.net/1911/96366 | |
| dc.language.iso | eng | |
| dc.rights | You are granted permission for the noncommercial reproduction, distribution, display, and performance of this technical report in any format, but this permission is only for a period of forty-five (45) days from the most recent time that you verified that this technical report is still available from the Computer Science Department of Rice University under terms that include this permission. All other rights are reserved by the author(s). | |
| dc.title | Commit Phase Variations in Timestamp-based Software Transactional Memory | |
| dc.type | Technical report | |
| dc.type.dcmi | Text |
Files
Original bundle
1 - 1 of 1