Making Lock-free Data Structures Verifiable with Artificial Transactions.
Xinhao YuanDavid Williams-KingJunfeng YangSimha SethumadhavanPublished in: ACM SIGOPS Oper. Syst. Rev. (2015)
Keyphrases
- data structure
- concurrency control
- transaction processing systems
- database operations
- concurrent execution
- transaction processing
- distributed database systems
- database
- locking protocol
- deadlock free
- efficient data structures
- read write
- b tree
- main memory
- distributed databases
- transactional data
- nested transactions
- data types
- fine grained
- database transactions
- domain specific
- information systems
- artificial intelligence
- real world
- databases