A pre-emptive transaction scheduling protocol for controlling priority inversion.
Kwok-Wa LamSheung-lun HungPublished in: RTCSA (1996)
Keyphrases
- deadlock free
- real time database systems
- concurrency control protocols
- round robin
- concurrency control
- transaction model
- transaction processing
- database transactions
- priority scheduling
- commit protocols
- locking protocol
- scheduling algorithm
- timing constraints
- scheduling policies
- image reconstruction
- database
- trusted third party
- lightweight
- scheduling problem
- correctness criteria
- payment scheme
- resource allocation
- real time systems
- secure electronic
- authentication protocol
- transaction management
- routing algorithm
- point of sale
- mobile payment
- database systems
- communication protocol
- payment systems
- higher priority
- correctness criterion
- transaction data
- security analysis
- formal analysis
- distributed databases
- information systems