By Topic

Adaptive protocols for survivability of transactions operating on replicated objects

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Wedde, H.F. ; Inf. III, Dortmund Univ., Germany ; Bohm, S. ; Freund, W.

We present a novel transaction model for distributed safety-critical real-time applications in which transactions become increasingly critical under failures of subsequent incarnations. When a transaction-dependent criticality threshold has been reached, the transaction is considered essentially critical or hard, i.e. the deadline has to be met lest the system is doomed to be in a disastrous state. The corresponding adaptive measures (criticality, sensitivity) to provide that potentially all hard deadlines are met, i.e. that the system survives, are based on the adaptive services of the distributed real-time operating system MELODY. Transaction criticality and sensitivity are stepwise defined starting from the corresponding measures for the tasks constituting the transaction. The authors propose adaptive techniques for distributed concurrency control under safety-critical real-time requirements such as evolving from the modification and implementation of standard concurrency control protocols. In particular, we refrain from traditional features like roll-back, or restart after preemption, because they are costly and have an unpredictable effect on meeting hard deadlines. Through extensive distributed experiments we compare the performance of a recent concurrency control algorithm (O2PL) to its adaptive version O2PL.ADT, resulting in a clear advantage of the latter, both in terms of deadline failure rates and survivability. Since the MELODY model has been extended by adding reactive features, we confirm our findings in experiments with the reactive protocol versions O2PL.SIM and O2PL.ADT.SIM

Published in:

Object-Oriented Real-Time Dependable Systems, 2001. Proceedings. Sixth International Workshop on

Date of Conference: