Artifact Report: Intel PMDK Transactions: Specification, Validation and Concurrency.
Azalea RaadOri LahavJohn WickersonPiotr BalcerBrijesh DongolPublished in: ESOP (2) (2024)
Keyphrases
- optimistic concurrency control
- concurrency control
- transaction processing
- concurrent execution
- concurrency control protocols
- nested transactions
- database systems
- database
- transaction management
- timing constraints
- distributed databases
- transaction processing systems
- concurrency control algorithms
- b tree
- distributed database systems
- specification language
- data streams
- locking protocol
- transactional data
- computer architecture
- databases
- database management systems
- real time database systems
- integrity constraints
- user defined
- fine grained
- software engineering
- real time