Enhancing the Success Ratio of Distributed Real-Time Nested Transactions

The traditional transaction models are not suited to real-time database systems (RTDBSs). Indeed, many current applications managed by these systems necessitate a kind of transactions where some of the ACID properties must be ignored or adapted. In this paper, we propose a real-time concurrency control protocol and an adaptation of the Two-Phase Commit Protocol based on the nested transaction model where a nested transaction is viewed as a collection of both essential and non-essential subtransactions: the essential subtransaction has a firm deadline, and the non-essential one has a soft deadline. We show through simulation results, how our protocol based on this assumption, allows better concurrency between transactions and between subtransactions of the same transaction, enhancing then the success ratio and the RTDBS performances, i.e., more transactions may meet their deadlines. The authors would like to thank the French Research Ministry and the University of Le Havre for their financial support (ACI No 1055 and RTT project, respectively). Atomicity, Consistency, Isolation, Durability A transaction is aborted as soon as it misses its deadline A transaction may provide useful results after its deadline, but the Quality of Service (QoS) decreases Number of transactions that meet their deadline/Total number of transactions

[1]  Michel Raynal,et al.  Deadline-constrained causal order , 2000, Proceedings Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000) (Cat. No. PR00607).

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

[3]  Tei-Wei Kuo,et al.  Real-Time Concurrency Control in a Multiprocessor Environment , 2002, IEEE Trans. Parallel Distributed Syst..

[4]  Michel Raynal,et al.  Static and dynamic adaptation of transactional consistency , 1997, Proceedings of the Thirtieth Hawaii International Conference on System Sciences.

[5]  Vlad Ingar Wietrzyk,et al.  Real-Time Transaction Scheduling in Database Systems , 1996, DEXA.

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

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

[8]  Yong-Ik Yoon,et al.  Real-time commit protocol for distributed real-time database systems , 1996, Proceedings of ICECCS '96: 2nd IEEE International Conference on Engineering of Complex Computer Systems (held jointly with 6th CSESAW and 4th IEEE RTAW).

[9]  Philip S. Yu,et al.  Multiversion divergence control of time fuzziness , 1994, CIKM '94.

[10]  Masaru Kitsuregawa,et al.  Speculation based nested locking protocol to increase the concurrency of nested transactions , 2000, Proceedings 2000 International Database Engineering and Applications Symposium (Cat. No.PR00789).

[11]  Abdel-Illah Mouaddib.  Anytime Coordination for Progressive Planning Agents , 1999, AAAI/IAAI.

[12]  Krithi Ramamritham,et al.  Specification and Analysis of Transactions in Real-Time Active Databases , 1997, RTDB.

[13]  Z. Mammeri.  Expression et dérivation des contraintes temporelles dans les applications temps réel , 1998 .

[14]  Philip S. Yu,et al.  Divergence control for distributed database systems , 2005, Distributed and Parallel Databases.

[15]  Kwok-Wa Lam,et al.  A priority ceiling protocol with dynamic adjustment of serialization order , 1997, Proceedings 13th International Conference on Data Engineering.

[16]  Philip S. Yu,et al.  Divergence Control Algorithms for Epsilon Serializability , 1997, IEEE Trans. Knowl. Data Eng..

[17]  Krithi Ramamritham,et al.  Broadcast on demand: efficient and timely dissemination of data in mobile environments , 1997, Proceedings Third IEEE Real-Time Technology and Applications Symposium.

[18]  Serge Abiteboul,et al.  Exchanging intensional XML data , 2003, TODS.

[19]  Jonas Mellin.  Predictable and Efficient Memory Management for Composite Events , 2000 .

[20]  Mukesh Singhal,et al.  Logical Time: Capturing Causality in Distributed Systems , 1996, Computer.

[21]  Victor Bradley Lortz.  An object-oriented real-time database system for multiprocessors , 1994 .

[22]  Riccardo Bettati,et al.  Use of Imprecise Computation to Enhance Dependability of Real-Time Systems , 1994 .

[23]  Marco Spuri,et al.  Implications of Classical Scheduling Results for Real-Time Systems , 1995, Computer.

[24]  Jonas Mellin,et al.  Reactive Mechanisms , 2001, Real-Time Database Systems.

[25]  Kam-yiu Lam,et al.  On using similarity for concurrency control in real-time database systems , 1998, J. Syst. Softw..

[26]  Debasis Mitra,et al.  Probabilistic Models of Database Locking: Solutions, Computational Algorithms, and Asymptotics , 1984, JACM.

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

[28]  James Ze Wang,et al.  Content-based image indexing and searching using Daubechies' wavelets , 1998, International Journal on Digital Libraries.

[29]  Lei Zhou,et al.  OODB Support for Real-Time Open-Architecture Controllers , 1995, DASFAA.

[30]  Igor S. Nekrestyanov,et al.  Concurrency Control Protocol for Nested Transactions in Real-Time Databases , 1997, ADBIS.

[31]  E. B. Moss,et al.  Nested Transactions: An Approach to Reliable Distributed Computing , 1985 .

[32]  Krishna M. Kavi.  Real-time systems - abstractions, languages, and design methodologies , 1992 .

[33]  Mukesh Singhal,et al.  An Adaptive Causal Ordering Algorithm Suited to Mobile Computing Environments , 1997, J. Parallel Distributed Comput..

[34]  Abdel-Illah Mouaddib.  Progressive negotiation for time-constrained autonomous agents , 1997, AGENTS '97.

[35]  Sushil Jajodia,et al.  Temporal Databases: Theory, Design, and Implementation , 1993 .

[36]  Arbee L. P. Chen,et al.  A probabilistic approach to query processing in heterogeneous database systems , 1992, [1992 Proceedings] Second International Workshop on Research Issues on Data Engineering: Transaction and Query Processing.

[37]  Krithi Ramamritham.  Real-time databases , 2005, Distributed and Parallel Databases.

[38]  Victor C. S. Lee,et al.  Conflict free transaction scheduling using serialization graph for real-time databases , 2000, J. Syst. Softw..

[39]  Parameswaran Ramanathan,et al.  Adapting packet fair queueing algorithms to wireless networks , 1998, MobiCom '98.

[40]  Kimmo E. E. Raatikainen,et al.  Transaction Processing in the RODAIN Real-Time Database System , 1997, RTDB.

[41]  Özgür Ulusoy,et al.  Processing real-time transactions in a replicated database system , 1994, Distributed and Parallel Databases.

[42]  Sang Hyuk Son,et al.  A Token-Based Synchronization Scheme Using Epsilon-Serializability and Its Performance for Real-Time Distributed Database Systems , 1993, DASFAA.

[43]  Sang Hyuk Son,et al.  Feedback Control Real-Time Scheduling: Framework, Modeling, and Algorithms* , 2001, Real-Time Systems.

[44]  Krithi Ramamritham,et al.  Preemptive Scheduling Under Time and Resource Constraints , 1987, IEEE Transactions on Computers.

[45]  Jun Sun,et al.  Probabilistic performance guarantee for real-time tasks with varying computation times , 1995, Proceedings Real-Time Technology and Applications Symposium.

[46]  Shirish S. Sathaye,et al.  Generalized rate-monotonic scheduling theory: a framework for developing real-time systems , 1994, Proc. IEEE.

[47]  Samia Bouzefrane,et al.  A causal-phase protocol to order soft real-time transactions in a distributed database , 2001, Proceedings LCN 2001. 26th Annual IEEE Conference on Local Computer Networks.

[48]  Krithi Ramamritham,et al.  System Failure and Recovery , 2001, Real-Time Database Systems.

[49]  Young-Kuk Kim,et al.  Developing a Database System for Time-Critical Applications , 1993, DEXA.

[50]  Samia Bouzefrane,et al.  Relaxing correctness criteria in real-time DBMSs , 2000, Computers and Their Applications.

[51]  LihChyun Shu.  On avoiding remote blocking via real-time concurrency control protocols , 2003, J. Syst. Softw..

[52]  Tadeusz Morzy,et al.  Optimistic Concurrency Control Algorithm with Dynamic Serialization Adjustment for Firm Deadline Real-Time Database Systems , 1995, ADBIS.

[53]  Michel Raynal,et al.  An adaptive architecture for causally consistent distributed services , 1999, Distributed Syst. Eng..

[54]  Jiannong Cao,et al.  Resolving conflicts with committing transactions in distributed real-time databases , 1997, Proceedings. Third IEEE International Conference on Engineering of Complex Computer Systems (Cat. No.97TB100168).

[55]  Michel Mainguenaud.  Query Models and Languages for Geographical Information Systems , 2000, VISUAL.

[56]  Vigyan Singhal,et al.  Characterization of Contention in Real Relational Databases , 1994 .

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

[58]  Özgür Ulusoy.  Research Issues in Real-Time Database Systems , 1995, Inf. Sci..

[59]  Gultekin Özsoyoglu,et al.  Temporal and Real-Time Databases: A Survey , 1995, IEEE Trans. Knowl. Data Eng..

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

[61]  Jan Lindström,et al.  Optimistic Concurrency Control Methods for Real-Time Database Systems , 2003 .

[62]  Young-Kuk Kim,et al.  Managing contention and timing constraints in a real-time database system , 1995, Proceedings 16th IEEE Real-Time Systems Symposium.

[63]  Nandit Soparkar,et al.  Report on DART '96: databases: active and real-time (concepts meet practice) , 1997, SGMD.

[64]  Calton Pu,et al.  Execution Autonomy in Distributed Transaction Processing , 1991 .

[65]  Guohui Li,et al.  Relaxed Atomic Commit for Real-Time Transactions in Mobile Computing Environment , 2002, WAIM.

[66]  Amr El Abbadi,et al.  On the Serializability Theorem for Nested Transactions , 1994, Inf. Process. Lett..

[67]  Panos K. Chrysanthis,et al.  Advances in concurrency control and transaction processing - executive briefing , 1996 .

[68]  Özgür Ulusoy.  A study of two transaction-processing architectures for distributed real-time data base systems , 1995, J. Syst. Softw..

[69]  Daniel A. Menascé,et al.  Optimistic versus pessimistic concurrency control mechanisms in database management systems , 1982, Inf. Syst..

[70]  C. Douglas Locke.  Applications and System Characteristics , 2001, Real-Time Database Systems.

[71]  Panos Vassiliadis,et al.  Towards Quality-oriented Data Warehouse Usage and Evolution , 2000, Inf. Syst..

[72]  Abraham Silberschatz,et al.  Adaptive commitment for distributed real-time transactions , 1994, CIKM '94.

[73]  Young-Kuk Kim,et al.  Predictability and consistency in real-time database systems , 1995 .

[74]  Hector Garcia-Molina,et al.  An Overview of Real-Time Database Systems , 1995, NATO ASI RTC.

[75]  Guangtian Liu,et al.  A unified approach for specifying timing constraints and composite events in active real-time database systems , 1998, Proceedings. Fourth IEEE Real-Time Technology and Applications Symposium (Cat. No.98TB100245).

[76]  William A. Woods,et al.  Computational Linguistics Transition Network Grammars for Natural Language Analysis , 2022 .

[77]  Tei-Wei Kuo,et al.  Abort-Oriented Concurrency Control for Real-Time Databases , 2001, IEEE Trans. Computers.

[78]  Shlomo Zilberstein,et al.  Anytime Sensing Planning and Action: A Practical Model for Robot Control , 1993, IJCAI.

[79]  Don Towsley,et al.  Scheduling Access to Temporal Data in Real-Time Databases , 1997 .

[80]  Angelo C. Restificar.  Probabilistic diagnosis as an update problem , 1996, PRICAI Workshops.

[81]  John A. Stankovic,et al.  On real-time transactions , 1988, SGMD.

[82]  UlusoyÖzgür,et al.  Exploiting main memory DBMS features to improve real-time concurrency control protocols , 1996 .

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

[84]  Bharat K. Bhargava,et al.  An open and safe nested transaction model: concurrency and recovery , 2000, J. Syst. Softw..

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

[86]  Krithi Ramamritham,et al.  Where Do Time Constraints Come From? Where Do They Go? , 1996 .

[87]  R. Srikant,et al.  Scheduling Real-Time Traffic With Deadlines over a Wireless Channel , 1999, WOWMOM '99.

[88]  Achour Mostefaoui,et al.  Reduction of timestamp sizes for causal event ordering , 1996 .

[89]  Victor C. S. Lee,et al.  Transaction Scheduling in Distributed Real-Time Systems , 2004, Real-Time Systems.

[90]  Hideyuki Tokuda,et al.  ARTS: a distributed real-time kernel , 1989, OPSR.

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

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

[93]  Donald F. Towsley,et al.  Priority assignment in real-time active databases , 1994, Proceedings of 3rd International Conference on Parallel and Distributed Information Systems.

[94]  José A. Blakeley,et al.  Architecture of an open object-oriented database management system , 1992, Computer.

[95]  Raghu Ramakrishnan,et al.  Database Management Systems , 1976 .

[96]  SangKeun Lee,et al.  Supporting transactional cache consistency in mobile database systems , 1999, MobiDe '99.

[97]  Kang G. Shin,et al.  MDARTS: A Multiprocessor Database Architecture for Hard Real-Time Systems , 2000, IEEE Trans. Knowl. Data Eng..

[98]  Calton Pu,et al.  Autonomous transaction execution with epsilon serializability , 1992, [1992 Proceedings] Second International Workshop on Research Issues on Data Engineering: Transaction and Query Processing.

[99]  Yanchun Zhang,et al.  On operation synchronisation in cooperative editing environments , 1994, Business Process Re-Engineering.

[100]  Shlomo Zilberstein,et al.  Optimal Scheduling of Dynamic Progressive Processing , 1998, ECAI.

[101]  Samia Bouzefrane,et al.  D-ANTICIP: A Protocol Suitable for Distributed Real-Time Transactions , 2002, ICEIS.

[102]  Dhiraj K. Pradhan,et al.  Recoverable Mobile Environments : Design andTrade-o Analysis , 1996 .

[103]  B. R. Badrinath,et al.  Multiversion reconciliation for mobile databases , 1999, Proceedings 15th International Conference on Data Engineering (Cat. No.99CB36337).

[104]  Achour Mostéfaoui,et al.  Definition and Implementation of a Flexible Communication Primitive for Distributed Programming , 1994, Applications in Parallel and Distributed Computing.

[105]  Özgür Ulusoy,et al.  A Real-Time Concurrency Control Protocol for Main-Memory Database Systems , 1998, Inf. Syst..

[106]  Panos K. Chrysanthis,et al.  In Search of Acceptability Citeria: Database Consistency Requirements and Transaction Correctness properties , 1992, IWDOM.

[107]  Biao Qin,et al.  High performance distributed real-time commit protocol , 2003, J. Syst. Softw..

[108]  Özgür Ulusoy.  Applying Database Technology to Real-Time Systems , 1994, DEXA.

[109]  Young-Kuk Kim,et al.  Developing A Real-Time Database: The Starbase Experience , 1997 .

[110]  Kwei-Jay Lin,et al.  Enhancing external consistency in real-time transactions , 1996, SGMD.

[111]  Özgür Ulusoy.  Transaction processing in distributed active real-time database systems , 1998, J. Syst. Softw..

[112]  Sang Hyuk Son,et al.  Feedback Control Architecture and Design Methodology for Service Delay Guarantees in Web Servers , 2006, IEEE Transactions on Parallel and Distributed Systems.

[113]  A. Mostefaoui,et al.  Causal multicasts in overlapping groups: towards a low cost approach , 1993, 1993 4th Workshop on Future Trends of Distributed Computing Systems.

[114]  Edmund H. Durfee,et al.  Approximate Processing in Real-Time Problem Solving , 1988, AI Mag..

[115]  Özgür Ulusoy.  Analysis of Concurrency Control Protocols for Real-Time Database Systems , 1998, Inf. Sci..

[116]  Lei Zhou,et al.  Probabilistic Real-Time Data Access with Interval Constraints , 1996, RTDB.

[117]  Panos K. Chrysanthis,et al.  A taxonomy of correctness criteria in database applications , 1996, The VLDB Journal.

[118]  Sang Hyuk Son,et al.  BeeHive: Global Multimedia Database Support for Dependable, Real-Time Applications , 1997, ARTDB.

[119]  Hidenori Nakazato.  Issues on synchronizing and scheduling tasks in real-time database systems , 1993 .

[120]  Jörgen Hansson,et al.  Misconceptions About Real-Time Databases , 1999, Computer.

[121]  Yi Lin,et al.  Hybrid protocols using dynamic adjustment of serialization order for real-time concurrency control , 2004, Real-Time Systems.

[122]  Tei-Wei Kuo,et al.  Mobile Distributed Real-Time Database Systems , 2001, Real-Time Database Systems.

[123]  Lei Zhou,et al.  Schema Evolution of an Object-Oriented Real-Time Database System for Manufacturing Automation , 1997, IEEE Trans. Knowl. Data Eng..

[124]  J. D. Uiiman,et al.  Principles of Database Systems , 2004, PODS 2004.

[125]  Evaggelia Pitoura,et al.  Exploiting Versions for Handling Updates in Broadcast Disks , 1999, VLDB.

[126]  Jiannong Cao,et al.  Resolving Executing-Committing Conflicts in Distributed Real-time Database Systems , 1999, Comput. J..

[127]  Rajendra Yavatkar.  MCP: a protocol for coordination and temporal synchronization in multimedia collaborative applications , 1992, [1992] Proceedings of the 12th International Conference on Distributed Computing Systems.

[128]  Wei-Kuan Shih,et al.  Algorithms for scheduling imprecise computations , 1991, Computer.

[129]  Hideyuki Tokuda,et al.  Real-Time Mach: Towards a Predictable Real-Time System , 1990, USENIX MACH Symposium.

[130]  Krithi Ramamritham,et al.  Scheduling algorithms and operating systems support for real-time systems , 1994, Proc. IEEE.

[131]  A. Fleischmann.  Distributed Systems , 1994, Springer Berlin Heidelberg.

[132]  Özgür Ulusoy.  Lock-Based Concurrency Control in Distributed Real-Time Database Systems , 1993 .

[133]  Özgür Ulusoy,et al.  An Evaluation of Real-Time Transaction Management Issues in Mobile Database Systems , 1999, Comput. J..

[134]  Chantal Soulé-Dupuy,et al.  Conception d'entrepôts de documents décisionnels , 2001, INFORSID.

[135]  Shlomo Zilberstein,et al.  Optimal Composition of Real-Time Systems , 1996, Artif. Intell..

[136]  Calton Pu,et al.  A Two-Phase Approach to Predictably Scheduling Real-Time Transactions , 1996, Performance of Concurrency Control Mechanisms in Centralized Database Systems.

[137]  Jaideep Srivastava,et al.  Enhancing real-time DBMS performance with multiversion data and priority based disk scheduling , 1991, [1991] Proceedings Twelfth Real-Time Systems Symposium.

[138]  Özgür Ulusoy,et al.  Real-Time Database Management for Mobile Computing , 1998, IADT.

[139]  Özgür Ulusoy.  An approximate analysis of a real-time database concurrency control protocol via Markov modeling , 1993, PERV.

[140]  Wei Huang,et al.  Zippering: Managing intermittent connectivity in DIANA , 1997, Mob. Networks Appl..

[141]  Johnny S. K. Wong,et al.  A nonblocking timed atomic commit protocol for distributed real-time database systems , 1996, J. Syst. Softw..

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