Intel PMDK Transactions: Specification, Validation and Concurrency (Extended Version).
Azalea RaadOri LahavJohn WickersonPiotr BalcerBrijesh DongolPublished in: CoRR (2023)
Keyphrases
- concurrency control
- optimistic concurrency control
- transaction processing
- advanced transaction models
- nested transactions
- concurrent execution
- multiple versions
- transaction model
- concurrency control protocols
- database
- database systems
- transaction management
- timing constraints
- software systems
- distributed database systems
- transaction processing systems
- deadlock free
- real time database systems
- real time databases
- specification language
- formal specification
- user defined
- fine grained
- database management systems
- data streams
- data mining