See this document in CiteSeerX!

MESSAGE SLOTTING: Ensuring Replica Determinism in Preemptive Real-Time Systems  (Make Corrections)  
Luís Rodrigues, Paulo Veríssimo



  Home/Search   Context   Related

 
View or download:
navigators.di.fc.u...SlotsReport.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  navigators.di.fc.u...slotsreport (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: The state-machine approach is a general paradigm to implement fault-tolerant distributed applications. In real-time systems, preemption of state-machine commands becomes a necessity, when their execution may exhibit a large duration. This assumes a special relevance in dynamic systems, where commands may have different priorities or urgencies. When the state-machine is replicated, consistent preemption of the replicas becomes a problem. This paper describes a general solution to cope with ... (Update)

Similar documents (at the sentence level):
9.4%:   Priority-Based Totally Ordered Multicast - Rodrigues, Veríssimo.. (1995)   (Correct)

Active bibliography (related documents):   More   All
0.5:   Real-time and dependability comparison of Delta-4/XPA and .. - Melro, Veríssimo (1992)   (Correct)
0.3:   Kernel Services Approach to Fault-Masking in.. - Bekambo, Vounckx.. (1995)   (Correct)
0.3:   HARDWARE VOTING OF TRANSPUTERS IN REAL-TIME nMR.. - Standeven Colley (1990)   (Correct)

Similar documents based on text:   More   All
0.3:   Finite State Machine Automatic Code Generation - Lazareviae, Miliev (2000)   (Correct)
0.3:   A Framework for Structuring Group Support in LSDCs - Veríssimo, Vogels.. (1993)   (Correct)
0.3:   xAMp: A Protocol Suite for Group Communication - Rodrigues, Veríssimo (1992)   (Correct)

BibTeX entry:   (Update)

@misc{ rodrigues-message,
  author = "Luís Rodrigues and Paulo Veríssimo",
  title = "MESSAGE SLOTTING: Ensuring Replica Determinism in Preemptive Real-Time
    Systems",
  url = "citeseer.ist.psu.edu/461076.html" }
Citations (may not include all citations):
361   Reliable Communication in the Presence of Failures (context) - Birman, Joseph - 1987  ACM   DBLP
241   The Byzantine Generals Problem - Lamport, Shostak et al. - 1982  ACM   DBLP
167   Calculating the maximum execution time of real-time programs (context) - Puschner, Koza - 1990  DBLP
138   Delta-4 - A Generic Architecture for Dependable Distributed .. (context) - Powell - 1991
123   An efficient reliable broadcast protocol - Frans, Andrew et al. - 1989  ACM   DBLP
89   Implementing Fault-Tolerant Services Using The State Machine.. (context) - Schneider - 1990  ACM   DBLP
47   xAMp: a Multi-primitive Group Communications Service - Rodrigues, Ver'issimo - 1992  DBLP
43   Synchronous atomic broadcast for redundant broadcast channel.. - Cristian - 1990  DBLP
40   Using Time Instead of Timeout for Fault-Tolerant Distributed.. (context) - Lamport - 1984  DBLP
25   The Delta-4 Extra performance architecture (context) - Barrett, Bond et al. - 1990
17   Reliable Broadcast for Fault-Tolerance on Local Computer Net.. (context) - Ver'issimo, Marques - 1989  DBLP
6   Formal specification and verification of a network independe.. - Baptista, Rodrigues et al. - 1990  ACM   DBLP
5   Streets of Byzantium: Network Architectures for Fast Reliabl.. (context) - glu, Drummond - 1985  DBLP
3   Constructing replicated systems using processors with point-.. (context) - Ezhilchelvan, Shrivastava et al. - 1988  ACM   DBLP
2   Fault tolerant distributed real time systemmar (context) - Fault, real et al. - 1987
1   An assesment of task execution time analisys (context) - Puschner, Vrchoticky - 1991

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC