DRDB: a distributed real-time database server for high-assurance time-critical applications
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Relaxing consistency requirement for read-only transactions
Information Sciences—Informatics and Computer Science: An International Journal
A Formal Specification of the Concurrency Control in Real-Time Databases
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
A Causal-Phase Protocol to Order Soft Real-Time Transactions in a Distributed Database
LCN '01 Proceedings of the 26th Annual IEEE Conference on Local Computer Networks
Hi-index | 0.00 |
The difficulties of providing a guarantee of meeting transaction deadlines in hard real-time database systems lie in the problems of priority inversion and of deadlocks. Priority inversion and deadlock problems ensue when concurrency control protocols are adapted in priority-driven scheduling. The blocking delay due to priority inversion can be unbounded, which is unacceptable in the mission-critical real-time applications. Some priority ceiling protocols have been proposed to tackle these two problems. However, they are too conservative in scheduling transactions for the single-blocking and deadlock-free properties, leading to many unnecessary transaction blockings. In this paper, we analyze the unnecessary transaction blocking problem inherent in these priority ceiling protocols and investigate the conditions for allowing a higher priority transaction to preempt a lower priority transaction using the notion of dynamic adjustment of serialization order. A new priority ceiling protocol is proposed to solve the unnecessary blocking problem, thus enhancing schedulability. We also devise the worst-case schedulability analysis for the new protocol which provides a better schedulability condition than other protocols.