TY - JOUR
T1 - Concurrency control algorithms for real-time systems
AU - Nakazato, Hidenori
AU - Lin, Kwei Jay
N1 - Funding Information:
Many database applications have timing constraints. In an air traffic control system, large amount of data of airplanes, airports, and weather conditions must be maintained. The system also needs to send instructions to airplanes by certain deadlines in order to avoid serious outcomes such as collisions or crashes. A computer system that monitors a stock market or conducts program trading manages a huge amount of stock information and requires timely execution of the instructions. A factory automation system may contain an inventory management sub-system. In *This research was sponsored by the Office of Naval Research under grant N00014-89-J-1181, by the National Science Foundation under grant CCR-89-11773, and by the NASA under grant NASA-NAG-I-613.
PY - 1993/9
Y1 - 1993/9
N2 - A temporally predictable concurrency control protocol which maintains serializability is proposed for real-time systems. Concurrency control is necessary in real-time systems to maintain and to produce consistent results. However, it causes the blockings of task executions and introduces the unpredictability into the temporal behavior of systems. We propose a protocol, the convex ceiling protocol, which guarantees serializability while maintaining a predictable temporal behavior. We compare our protocol with the combination of the priority ceiling protocol and the two-phase locking protocol.
AB - A temporally predictable concurrency control protocol which maintains serializability is proposed for real-time systems. Concurrency control is necessary in real-time systems to maintain and to produce consistent results. However, it causes the blockings of task executions and introduces the unpredictability into the temporal behavior of systems. We propose a protocol, the convex ceiling protocol, which guarantees serializability while maintaining a predictable temporal behavior. We compare our protocol with the combination of the priority ceiling protocol and the two-phase locking protocol.
UR - http://www.scopus.com/inward/record.url?scp=0027657548&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0027657548&partnerID=8YFLogxK
U2 - 10.1016/0165-6074(93)90206-Z
DO - 10.1016/0165-6074(93)90206-Z
M3 - Article
AN - SCOPUS:0027657548
SN - 0165-6074
VL - 38
SP - 647
EP - 654
JO - Microprocessing and Microprogramming
JF - Microprocessing and Microprogramming
IS - 1-5
ER -