Abstract
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.
| Original language | English |
|---|---|
| Pages (from-to) | 647-654 |
| Number of pages | 8 |
| Journal | Microprocessing and Microprogramming |
| Volume | 38 |
| Issue number | 1-5 |
| DOIs | |
| State | Published - 09 1993 |
| Externally published | Yes |