Title :
How to get serializability for real-time transactions without having to pay for it
Author_Institution :
Software Eng. Inst., Carnegie Mellon Univ., Pittsburgh, PA, USA
Abstract :
A new approach to the problem of achieving serializability for real-time transaction systems is presented. It is shown that certain properties that have been claimed to be characteristic of real-time systems are sufficient in themselves to guarantee that the system will run serializably, without any extra effort having to be taken. These systems can be said to achieve serializability “for free.”
Keywords :
concurrency control; database management systems; real-time systems; transaction processing; guarantee; real-time transaction systems; real-time transactions; serializability; Access control; Control systems; Costs; Data analysis; Interleaved codes; Logic; Real time systems; Software engineering; Space shuttles; Space stations;
Conference_Titel :
Real-Time Systems Symposium, 1993., Proceedings.
Conference_Location :
Raleigh Durham, NC
Print_ISBN :
0-8186-4480-X
DOI :
10.1109/REAL.1993.393515