A Lightweight Snapshot-based Algorithm for Software Transactional Memory

作者：Zhang Xiaoqiang^*; Peng Lin; Xie Lunguo

来源：9th International Conference for Young Computer Scientists, 2008-11-18 to 2008-11-21.

• Transactional memory
• conflict detection
• transaction
• validation

Software Transactional Memory (STM) is a generic synchronization construct that enables automatic conversion of correct sequential objects into correct nonblocking concurrent objects. We investigate a novel Lightweight Snapshot-based Validation and Conflict Detection (LSVCD) algorithm for STM that provide scaling and strong consistency. In LSVCD, each transaction maintains a local snapshot version variable used to indicate the snapshot state it views. nether the snapshot of memory observed by a transaction is consistent or not can be verified quickly by comparing Isv with Global Version Number. LSVCD can greatly reduce the cost of read and write operations, conflict detection and validation of STM. Transactions proceed without interference or contention unless they access overlapping data sets. Experimental results show that LSVCD is simple and quite competitive, and gains a notably improvements Of performance over existing STM implementation.

• 出版日期2008
• 单位中国人民解放军国防科学技术大学