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
- concurrency control protocols
- concurrent execution
- nested transactions
- distributed databases
- concurrency control algorithms
- timing constraints
- locking protocol
- database systems
- high level
- transaction management
- database management systems
- transaction processing systems
- real time databases
- real time database systems
- distributed database systems
- computer architecture
- formal specification
- data flow
- database
- model validation
- snapshot isolation
- correctness criteria
- fine grained
- data structure
- deadlock free
- real time systems
- correctness criterion
- data objects
- write operations
- advanced transaction models