Third International Workshop on Real-Time Computing Systems Application (RTCSA'96)
A pre-emptive transaction scheduling protocol for controlling priority inversion
Seoul, Korea
October 30-November 01
ISBN: 0-8186-7626-4
Hard real-time database systems (RTDBS) must provide a guarantee that real-time transactions meet their deadlines. To preserve data consistency, hard RTDBS require concurrency control protocols to synchronize transactions to access the shared data. Transaction blocking enforced by concurrency control protocols leads to the priority inversion problem that violates the principle of priority-based scheduling and degrades system schedulability. Moreover, this blocking delay due to priority inversion can be unbounded, which is unacceptable in hard real-time applications. Some priority ceiling protocols have been proposed to control priority inversion. However, they suffer from the problem of unnecessary transaction blockings due to their conservatism of scheduling transactions to access the shared data. We propose a new transaction scheduling protocol that exploits the semantics of transaction operations to enhance transaction preemptability. It can avoid some unnecessary transaction blockings and provide better worst-case scheduling conditions for a transaction set compared to other protocols.
Index Terms:
data integrity; pre-emptive transaction scheduling protocol; priority inversion; hard real-time database systems; real-time transactions; data consistency; concurrency control protocols; priority inversion problem; system schedulability; blocking delay; priority ceiling protocols; semantics; transaction preemptability; worst-case scheduling conditions
Citation:
Kwok-Wa Lam, Sheung-Lun Hung, "A pre-emptive transaction scheduling protocol for controlling priority inversion," rtcsa, pp.144, Third International Workshop on Real-Time Computing Systems Application (RTCSA'96), 1996