Verifying vMVCC, a high-performance transaction library using multi-version concurrency control.
Yun-Sheng ChangRalf JungUpamanyu SharmaJoseph TassarottiM. Frans KaashoekNickolai ZeldovichPublished in: OSDI (2023)
Keyphrases
- concurrency control
- multiple versions
- transaction processing
- distributed databases
- real time databases
- database management systems
- fine grained
- nested transactions
- database systems
- multidatabase systems
- distributed database systems
- transaction management
- real time database systems
- concurrency control and recovery
- object oriented database systems
- update transactions
- database
- concurrency control protocols
- locking protocol
- deadlock free
- b tree
- concurrency control algorithms
- concurrent execution
- correctness criteria
- data replication
- correctness criterion
- data structure
- transaction model
- main memory
- data model