Schedulability and Performance Analysis of the Similarity Stack Protocol

We propose a class of real-time data access protocols called SSP (similarity stack protocol). The correctness of SSP schedules is justified by the concept of similarity which allows different but sufficiently timely data to be used in a computation without adversely affecting the outcome. SSP schedules are deadlock-free, subject to limited blocking, and do not use locks. We give a schedulability bound for SSP and also report simulation results which show that SSP is especially useful for scheduling real-time data access on multiprocessor systems. Finally, we present a variation of SSP which can be implemented in an autonomous fashion in the sense that scheduling decisions can be made with local information only.

[1]  Donald F. Towsley,et al.  On using priority inheritance in real-time databases , 1991, [1991] Proceedings Twelfth Real-Time Systems Symposium.

[2]  Abraham Silberschatz,et al.  Triggered Real-Time Databases with Consistency Constraints , 1990, VLDB.

[3]  Hector Garcia-Molina,et al.  Scheduling real-time transactions: a performance evaluation , 1988, TODS.

[4]  Xiaohui Song,et al.  Performance of multiversion concurrency control algorithms in maintaining temporal consistency , 1990, Proceedings., Fourteenth Annual International Computer Software and Applications Conference.

[5]  Jane W.-S. Liu,et al.  Imprecise Results: Utilizing Partial Comptuations in Real-Time Systems , 1987, RTSS.

[6]  Sang Hyuk Son,et al.  New Paradigms for Real-Time Database Systems , 1991 .

[7]  David Lorge Parnas,et al.  Software Requirements for the A-7E Aircraft. , 1992 .

[8]  Christos H. Papadimitriou,et al.  The Theory of Database Concurrency Control , 1986 .

[9]  Yi Lin,et al.  Concurrency control in real-time databases by dynamic adjustment of serialization order , 1990, [1990] Proceedings 11th Real-Time Systems Symposium.

[10]  Constance L. Heitmeyer,et al.  Applying formal methods to an embedded real-time avionics system , 1993, [1993] Proceedings of the IEEE Workshop on Real-Time Applications.

[11]  Lui Sha,et al.  Concurrency control for distributed real-time databases , 1988, SGMD.

[12]  Kwei-Jay Lin,et al.  Enhancing availability in distributed real-time databases , 1988, SGMD.

[13]  Calton Pu,et al.  A Formal Characterization of Epsilon Serializability , 1995, IEEE Trans. Knowl. Data Eng..

[14]  Lui Sha,et al.  Priority Inheritance Protocols: An Approach to Real-Time Synchronization , 1990, IEEE Trans. Computers.

[15]  Hector Garcia-Molina,et al.  Read-only transactions in a distributed database , 1982, TODS.

[16]  C. Douglas Locke,et al.  Building a predictable avionics platform in Ada: a case study , 1991, [1991] Proceedings Twelfth Real-Time Systems Symposium.

[17]  Hector Garcia-Molina,et al.  Coordinating activities through extended sagas: a summary , 1991, COMPCON Spring '91 Digest of Papers.

[18]  Theodore P. Baker,et al.  A stack-based resource allocation policy for realtime processes , 1990, [1990] Proceedings 11th Real-Time Systems Symposium.

[19]  Tei-Wei Kuo,et al.  SSP: A semantics-based protocol for real-time data access , 1993, 1993 Proceedings Real-Time Systems Symposium.

[20]  Susan B. Davidson,et al.  Partial Computation in Real-Time Database Systems , 1988 .

[21]  Tei-Wei Kuo,et al.  Real-Time Data Semantics and Similarity-Based Concurrency Control , 2000, IEEE Trans. Computers.

[22]  Miron Livny,et al.  On being optimistic about real-time constraints , 1990, PODS '90.

[23]  Kathryn L. Heninger Specifying Software Requirements for Complex Systems: New Techniques and Their Application , 2001, IEEE Transactions on Software Engineering.

[24]  James W. Layland,et al.  Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.

[25]  Miron Livny,et al.  Transition scheduling in (multiclass real-time database systems , 1992, [1992] Proceedings Real-Time Systems Symposium.

[26]  Weimin Du,et al.  Quasi Serializability: a Correctness Criterion for Global Concurrency Control in InterBase , 1989, VLDB.

[27]  Tei-Wei Kuo,et al.  Application semantics and concurrency control of real-time data-intensive applications , 1992, [1992] Proceedings Real-Time Systems Symposium.

[28]  Tei-Wei Kuo,et al.  Load adjustment in adaptive real-time systems , 1991, [1991] Proceedings Twelfth Real-Time Systems Symposium.