Concurrency control algorithms for real-time systems

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.