Making lock-free data structures verifiable with artificial transactions.
Xinhao YuanDavid Williams-KingJunfeng YangSimha SethumadhavanPublished in: PLOS@SOSP (2015)
Keyphrases
- data structure
- concurrency control
- database operations
- transaction processing systems
- database
- concurrent execution
- locking protocol
- real world
- data types
- databases
- nested transactions
- distributed databases
- read write
- artificial systems
- secret sharing
- transaction processing
- database transactions
- transaction data
- data mining
- distributed database systems
- neural network
- b tree
- fine grained
- database applications
- database management systems
- search engine