Timeliness via Speculation for Real-Time Databases

Various concurrency control algorithms di er in the time when con icts are detected, and in the way they are resolved. Pessimistic (PCC) protocols detect con icts as soon as they occur and resolve them using blocking. Optimistic (OCC) protocols detect con icts at transaction commit time and resolve them using rollbacks. For real-time databases, blockages and rollbacks are hazards that increase the likelihood oftransactions missing their deadlines. We propose a Speculative Concurrency Control (SCC) technique that minimizes the impact of blockages and rollbacks. SCC relies on added system resources to speculate on potential serialization orders, ensuring that if such serialization orders materialize, the hazards of blockages and roll-backs are minimized. We present a number of SCC-based algorithms that di er in the level of speculation they introduce, and the amount of system resources (mainly memory) they require. We show the performance gains (in terms of number of satis ed timing constraints) to be expected whenarepresentative SCC algorithm (SCC-2S) is adopted.