Solving the group priority inversion problem in a timed asynchronous system
Tóm tắt
Considers the priority inversion problem in an actively replicated system. Priority inversion was originally defined in the context of nonreplicated systems. Therefore, we first introduce the concept of group priority inversion, which extends the concept of (local) priority inversion to the context of a group of processors that perform an actively replicated processing. We then present the properties of a request scheduling protocol to enforce a total ordering for the processing of requests while avoiding group priority inversions. These properties have been implemented in a protocol that relies on a timed asynchronous system model equipped with a failure detector of the class /spl diams/S. The proposed solution allows us to replicate a critical server while ensuring that the processing of all the incoming requests is consistent (mechanisms for solving the atomic broadcast problem) and predictable (mechanisms for solving the group priority inversion problem). Thus, the described request scheduling protocol is a key component which can be used to develop fault-tolerant real-time applications in a timed asynchronous system.
Từ khóa
#Protocols #Fault tolerant systems #Real time systems #Delay #Synchronization #Computer Society #Processor scheduling #Mechanical factors #Predictive models #DetectorsTài liệu tham khảo
10.1016/0020-0190(85)90056-0
1998, Realtime CORBA 1.0 Revised Submission
10.1109/71.774908
poledna, 1996, Fault Tolerant Real-Time Systems The Problem of Replica Determinism
10.1109/RELDIS.1999.805083
2000, Fault Tolerant CORBA Specification V1.0
fetzer, 1999, The Timed Asynchronous Distributed System Mode, IEEE Trans Parallel and Distributed Systems, 10, 642, 10.1109/71.774912
10.1109/TSE.1977.229904
10.1145/3149.214121
hadzilacos, 1993, Fault Tolerant Broadcasts and Related Problems, Distributed Systems, 97
10.1109/REAL.1992.242673
10.1007/BF00365393
1993, Distributed Systems
10.1145/234533.234549
10.1109/ICDCS.1992.235041
10.1109/REAL.1990.128748
10.1007/BF01995676
10.1145/321738.321743
10.1145/226643.226647
10.1109/DSN.2001.941396
schmidt, 1999, Software Architectures for Reducing Priority and Non-Determinism in Real-Time, Object Request Brokers Kluwer J Real-Time Systems
10.1109/REAL.1988.51099
10.1016/0165-6074(94)90080-9
10.1109/RELDIS.1990.93956
10.1007/978-1-4615-4000-7
10.1007/978-3-642-79789-7_13
rodrigues, 1995, Priority-Based Totally Ordered Multicast, Proc Third IFIP/IFAC Workshop Algorithms and Architectures for Real-Time Control
10.1109/12.57058