Object-based semantic real-time concurrency control

This paper presents a technique that is capable of supporting two major requirements for concurrency control in real-time databases; data temporal consistency, and data logical consistency, as well as tradeoffs between these requirements. Our technique is based upon a real-time object-oriented database model in which each object has its own unique compatibility function that expresses the conditional compatibility of any two potential concurrent operations on the object. The conditions use the semantics of the object, such as allowable imprecision, along with current system state, such as time and the active operations on the object. Our concurrency control technique enforces that allowable concurrency expressed by the compatibility function by using semantic locking controlled by each individual object. The real-time object-oriented database model and process of evaluating the compatibility function to grant semantic locks are described.<<ETX>>

[1]  Sang Hyuk Son,et al.  Using dynamic adjustment of serialization order for real-time database systems , 1993, 1993 Proceedings Real-Time Systems Symposium.

[2]  C. J. Date.  An Introduction to Database Systems, Volume I, 5th Edition , 1986 .

[3]  Xiaohui Song.  Data temporal consistency in hard real-time systems , 1992 .

[4]  Calton Pu.  Relaxing the limitations of serializable transactions in distributed systems , 1993, OPSR.

[5]  Joan Peckham,et al.  A model for real-time object-oriented databases , 1993 .

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

[7]  Miron Livny,et al.  Concurrency control performance modeling: alternatives and implications , 1987, TODS.

[8]  Philip S. Yu,et al.  Distributed divergence control for epsilon serializability , 1993, [1993] Proceedings. The 13th International Conference on Distributed Computing Systems.

[9]  Donald F. Towsley,et al.  Experimental evaluation of real-time transaction processing , 1989, [1989] Proceedings. Real-Time Systems Symposium.

[10]  Calton Pu,et al.  Asynchronous consistency restoration under epsilon serializability , 1995, Proceedings of the Twenty-Eighth Annual Hawaii International Conference on System Sciences.

[11]  Miron Livny,et al.  Earliest deadline scheduling for real-time database systems , 1991, [1991] Proceedings Twelfth Real-Time Systems Symposium.

[12]  Victor Fay Wolfe,et al.  Real-time considerations in submarine target motion analysis , 1993, [1993] Proceedings of the IEEE Workshop on Real-Time Applications.

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

[14]  David Maier,et al.  Readings in Object-Oriented Database Systems , 1989 .

[15]  Philip S. Yu,et al.  Divergence control for epsilon-serializability , 1992, [1992] Eighth International Conference on Data Engineering.

[16]  Alexander D. Stoyen,et al.  Real-Time Euclid: A language for reliable real-time systems , 1989, IEEE Transactions on Software Engineering.

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

[18]  Hector Garcia-Molina,et al.  The Performance of a Concurrency Control Mechanism that Exploits Semantic Knowledge , 1985, ICDCS.

[19]  Alfred Z. Spector,et al.  Synchronizing shared abstract types , 1984, TOCS.

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

[21]  L. DiPippo,et al.  Real-Time Databases , 1995 .

[22]  Philip S. Yu,et al.  On real-time databases: concurrency control and scheduling , 1994, Proc. IEEE.

[23]  Ragunathan Rajkumar.  Task synchronization in real-time systems , 1989 .

[24]  M. Tamer Özsu,et al.  Using semantic knowledge of transactions to increase concurrency , 1989, TODS.

[25]  J. T. Robinson,et al.  On optimistic methods for concurrency control , 1979, TODS.

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

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

[28]  B. R. Badrinath,et al.  Synchronizing Transactions on Objects , 1988, IEEE Trans. Computers.

[29]  J. Prichard.  The RTSORAC Real-Time Object-Oriented Database Model and Prototype , 1994 .

[30]  Joan Peckham,et al.  RTSORAC: A Real-Time Object-Oriented Database Model , 1994, DEXA.

[31]  Kwei-Jay Lin,et al.  Expressing and maintaining timing constraints in FLEX , 1988, Proceedings. Real-Time Systems Symposium.

[32]  B. R. Badrinath,et al.  Semantics-based concurrency control: Beyond commutativity , 1987, 1987 IEEE Third International Conference on Data Engineering.

[33]  T. Baker,et al.  Real-time features for Ada 9X , 1991, [1991] Proceedings Twelfth Real-Time Systems Symposium.

[34]  Patrick Donohoe,et al.  Hartstone Benchmark User's Guide, Version 1.0. , 1990 .

[35]  Sheng Cheng,et al.  Scheduling algorithms for hard real-time systems: a brief survey , 1989 .

[36]  Hector Garcia-Molina,et al.  Using semantic knowledge for transaction processing in a distributed database , 1983, TODS.

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

[38]  Hector Garcia-Molina,et al.  Main Memory Database Systems: An Overview , 1992, IEEE Trans. Knowl. Data Eng..

[39]  Lui Sha,et al.  A Real-Time Locking Protocol , 1991, IEEE Trans. Computers.

[40]  Ellis Horowitz,et al.  Object-oriented databases with applications to CASE, networks, and VLSI CAD , 1991 .

[41]  Sheung-lun Hung,et al.  Locking protocols for concurrency control in real-time database systems , 1992, SGMD.

[42]  B. O. Gallmeister,et al.  Early experience with POSIX 1003.4 and POSIX 1003.4 A , 1991, [1991] Proceedings Twelfth Real-Time Systems Symposium.

[43]  M. F.,et al.  Bibliography , 1985, Experimental Gerontology.

[44]  Divyakant Agrawal,et al.  Tolerating bounded inconsistency for increasing concurrency in database systems , 1992, PODS '92.

[45]  L Robertson.  Introduction to operating systems , 1990 .

[46]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[47]  William E. Weihl,et al.  Commutativity-based concurrency control for abstract data types , 1988, [1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume II: Software track.

[48]  Miron Livny,et al.  Dynamic real-time optimistic concurrency control , 1990, [1990] Proceedings 11th Real-Time Systems Symposium.

[49]  Joan Peckham,et al.  Implementing Relationships and Constraints in an Object-Oriented Database Using a Monitor Construct , 1993, Rules in Database Systems.