Designing, Modeling, and Optimizing Transactional Data Structures
TR Number
Date
2015-09-25
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Virginia Tech
Abstract
Description
Keywords
Transactional Memory, STM, HTM, Transactional Boosting, Concurrent Data Structures, Optimistic Semantic Synchronization, Lazy List, Balanced Trees, Hybrid Transactions, Semantic Validation, Remote Transaction Commit, Modeling, Linearizability