Shivakant Mishra, Richard D. Schlichting  Home/Search
Context Related
| arizona.edu/reports/1992/TR9219.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: arizona.edu/cactus/public (more) Homepages: S.Mishra |
Rate this article:      (best)Comment on this article |
Abstract: ions for Constructing Dependable Distributed Systems Shivakant Mishra 1 and Richard D. Schlichting TR 92-19 Abstract Distributed systems, in which multiple machines are connected by a communications network, are often used to build highly dependable computing systems. However, constructing the software required to realize such dependability is a difficult task since it requires the programmer to build fault-tolerant software that can continue to function despite failures. To simplify this... (Update)
Context of citations to this paper: More
.... Failure Detection, Membership, Resilient Processes, Stable Storage, State Machine and others, are the work of Mishra and Schlichting [50], and Schneider [64] In addition, the dependencies among these abstractions and the results of some of their combinations are discussed,...
...and on a distributed system. Time bounds. From the point of view of the time bounds of the execution, systems may be classied as [33]: ffl synchronous, if whenever the system is working correctly, it always performs its intended function within a nite and known time...
Cited by: More
Trust-Based Security In Web Services - Platzer (2004) (Correct)
Experience with Modularity in Consul - Mishra, Peterson, Schlichting (1993) (Correct)
Consensus and Membership in Synchronous and Asynchronous.. - Galleni, Powell (1996) (Correct)
Active bibliography (related documents): More All
2.7: Configurable Fault-Tolerant Distributed Services - Hiltunen (1996) (Correct)
0.9: .1 Psync Timings - To Measure (1991) (Correct)
0.8: A System For Constructing Configurable High-Level Protocols - Bhatti (1996) (Correct)
Similar documents based on text: More All
0.3: Numerical Evaluation of a Group-Oriented Multicast.. - Malhis, Sanders.. (1995) (Correct)
0.2: Consul: A Communication Substrate for Fault-Tolerant.. - Mishra, Peterson.. (1991) (Correct)
0.2: Supporting Fault-Tolerant Parallel Programming In Linda - Bakken (1994) (Correct)
Related documents from co-citation: More All
11: Consul: A communication substrate for fault-tolerant distributed programs - Mishra, Peterson et al. - 1991
10: A membership protocol based on a partial order (context) - Mishra, Peterson et al. - 1991
9: Preserving and Using Context Information in Interprocess Communication - Peterson, Buchholdz et al. - 1989
BibTeX entry: (Update)
S. Mishra and R. D. Schlichting. Abstractions for constructing dependable distributed systems. Technical Report 92-19, Dept of Computer Science, University of Arizona, Tucson, AZ, 1992. http://citeseer.ist.psu.edu/97395.html More
@techreport{ mishra92abstractions,
author = "S. Mishra and R. Schlichting",
title = "Abstractions for Constructing Dependable Distributed Systems",
number = "TR 92 -12",
year = "1992",
url = "citeseer.ist.psu.edu/97395.html" }
Citations (may not include all citations):1529 A method for obtaining digital signatures and public-key cry.. - Rivest, Shamir et al. - 1978
1209 Concurrency Control and Recovery in Database Systems (context) - Bernstein, Hadzilacos et al. - 1987
917 and the ordering of events in a distributed system (context) - Lamport, clocks - 1978
739 Impossibility of distributed consensus with one faulty proce.. (context) - Fischer, Lynch et al. - 1985
625 ACM Transactions on Programming Languages and Systems (context) - Lamport, Shostak et al. - 1982
476 Implementing remote procedure calls - Birrell, Nelson - 1984
470 Lightweight causal and atomic group multicast (context) - Birman, Schiper et al. - 1991
361 Reliable communication in the presence of failures (context) - Birman, Joseph - 1987
350 Implementing fault-tolerant services using the state machine.. - Schneider - 1990
323 The notions of consistency and predicate locks in a database.. (context) - Eswaran, Gray et al. - 1976
293 System structure for software fault tolerance (context) - Randell - 1975
246 On optimistic methods for concurrency control (context) - Kung, Robinson - 1981
244 kernel: An architecture for implementing network protocols (context) - Hutchinson, Peterson - 1991
226 Lightweight remote procedure call (context) - Bershad, Anderson et al. - 1990
221 Nested Transactions: An Approach to Reliable Distributed Com.. (context) - Moss - 1985
217 Optimistic recovery in distributed systems (context) - Strom, Yemini - 1985
214 Preserving and using context information in interprocess com.. - Peterson, Buchholz et al. - 1989
189 A majority consensus approach to concurrency control for mul.. (context) - Thomas - 1979
181 Understanding fault-tolerant distributed systems - Cristian - 1991
177 Fail-stop processors: An approach to designing fault toleran.. - Schlichting, Schneider - 1983
176 Distributed fault-tolerant real-time systems: The Mars appro.. (context) - Kopetz, Damm et al. - 1989
174 Distributed programming in Argus (context) - Liskov - 1988
156 Recovery in distributed systems using optimistic message log.. - Johnson, Zwaenepoel - 1990
153 the minimal synchronism needed for distributed consensus (context) - Dolev, Dwork et al. - 1983
144 Atomic broadcast: From simple message diffusion to Byzantine.. - Cristian, Aghili et al. - 1985
142 Synchronizing clocks in the presence of faults (context) - Lamport, Melliar-Smith - 1985
141 Using process groups to implement failure detection in async.. (context) - Ricciardi, Birman - 1991
134 Probabilistic clock synchronization (context) - Cristian - 1989
132 Timestamps in message-passing systems that preserve the part.. (context) - Fidge - 1988
125 ACM Transactions on Computer Systems (context) - Chang, Maxemchuk et al. - 1984
124 Guardians and actions: Linguistic support for robust distrib.. (context) - Liskov, Scheifler - 1983
123 An efficient reliable broadcast protocol - Kaashoek, Tanenbaum et al. - 1989
121 Nonblocking commit protocols (context) - Skeen - 1982
118 Consul: A communication substrate for faulttolerant distribu.. - Mishra, Peterson et al. - 1991
116 Concurrency control in distributed database systems (context) - Bernstein, Goodman - 1981
109 Sender based message logging - Johnson, Zwaenopoel - 1987
105 An overview of the Arjuna distributed programming system (context) - Shrivastava, Dixon et al. - 1991
91 Atomic transactions (context) - Lampson - 1981
85 Optimal clock synchronization - Srikanth, Toueg - 1987
84 A new fault-tolerant algorithm for clock synchronization - Lundelius-Welch, Lynch - 1988
83 Efficient distributed recovery using message logging (context) - Sistla, Welch - 1989
81 A principle for resilient sharing of distributed resources (context) - Alsberg, Day - 1976
74 Understanding protocols for Byzantine clock synchronization - Schneider - 1987
73 Randomized Byzantine generals (context) - Rabin - 1983
72 Authenticated algorithms for Byzantine agreement (context) - Dolev, Strong - 1983
72 A membership protocol based on partial order (context) - Mishra, Peterson et al. - 1992
66 Replicated distributed programs (context) - Cooper - 1985
65 The consensus problem in fault-tolerant computing (context) - Barborak, Malek et al. - 1991
65 the possibility and impossibility of achieving clock synchro.. (context) - Dolev, Halpern et al. - 1986
65 Remote Procedure Call (context) - Nelson - 1981
64 The structure of the THE multiprogramming system (context) - Dijkstra - 1968
62 Fault-tolerance in the Advanced Automation System (context) - Cristian, Dancey et al. - 1990
61 Dependability: Basic Concepts and Terminology (context) - Laprie - 1992
60 Independent checkpointing and concurrent rollback for recove.. (context) - Bhargava, Lian - 1988
60 Serializability of concurrent database updates - Papadimitriou - 1979
58 Crash recovery in a distributed data storage system - Lampson, Sturgis - 1976
53 Inheritance of synchronization and recovery properties in Av.. (context) - Detlefs, Herlihy et al. - 1988
52 Reliability issues in computing system design (context) - Randell, Lee et al. - 1978
48 The Delta-4 approach to dependability in open distributed co.. (context) - Powell, Seaton et al. - 1988
48 Probabilistic algorithms (context) - Rabin - 1976
47 Maintaining the Time in a Distributed System (context) - Marzullo - 1984
47 Fault-tolerant membership service in a synchronous distribut.. (context) - Kopetz, Grunsteidl et al. - 1991
47 xAMp: A multi-primitive group communications service - Rodrigues, Verissimo - 1991
45 State restoration in systems of communicating processes (context) - Russell - 1980
44 A quorum based commit protocol (context) - Skeen - 1982
43 The ISIS project: Real experience with a fault-tolerant prog.. (context) - Birman, Cooper - 1991
43 distributed database management system (context) - Mohan, Lindsay et al. - 1986
40 Fault-tolerant clock synchronization in distributed systems (context) - Ramanathan, Shin et al. - 1990
38 Amp: A highly parallel atomic multicast protocol (context) - Verissimo, Rodrigues et al. - 1989
38 System level concurrency control for distributed database sy.. (context) - Rosenkrantz, Stearns et al. - 1978
37 Some deadlock properties in computer systems (context) - Holt - 1972
35 ACM Transactions on Computer Systems (context) - Schroeder, Burrows et al. - 1990
33 Agreeing on who is present and who is absent in a synchronou.. (context) - Cristian - 1988
33 A proof system for Communicating Sequential Processes (context) - Apt, Francez et al. - 1980
32 Fault-tolerant clock synchronization (context) - Halpern, Simons et al. - 1984
32 Error recovery in multicomputers using global checkpoints (context) - Tamir, Sequin - 1984
29 A low-cost atomic commit protocol (context) - Stamos, Cristian - 1990
28 The Argus language and system (context) - Liskov - 1985
28 A proof technique for Communicating Sequential Processes (context) - andD - 1981
27 ACM Transactions on Computer Systems (context) - Garcia-Molina, Spauster et al. - 1991
26 Operating systems: An advanced course (context) - Gray - 1978
24 A survey of techniques for synchronization and recovery in d.. (context) - Kohler - 1981
23 A scheme for coordinated execution of independently designed.. (context) - Kim, You et al. - 1986
23 Concurrency control in a system for distributed databases (context) - Bernstein, Shipman et al. - 1980
22 Efficient commit protocols for the tree of processes model o.. (context) - Mohan, Lindsay - 1983
21 A model for interface groups (context) - Olsen, Oskiewicz et al. - 1991
21 Rajdoot: A remote procedure call mechanism supporting orphan.. (context) - Panzieri, Shrivastava - 1988
21 IEEE Transactions on Software Engineering (context) - Cristian, robust - 1984
20 Application-transparent setting of recovery points (context) - Barigazzi, Strigini - 1983
19 Reliable group communication in distributed systems (context) - Navaratnam, Chanson et al. - 1988
17 The architecture of MARS (context) - Kopetz, Merker - 1985
17 Time and global states in distributed system (context) - Mattern - 1989
16 Fault Tolerant Concurrent C: A tool for writing fault tolera.. (context) - Cmelik, Gehani et al. - 1988
15 Transaction monitoring in ENCOMPASS: Reliable distributed tr.. (context) - Borr - 1981
15 Locking and deadlock detection in distributed databases (context) - Menasce - 1979
14 the duality of fault tolerant system structures - Shrivastava, Mancini et al. - 1988
14 Method for distributed transaction commit and recovery using.. (context) - Mohan, Strong et al. - 1983
14 System deadlocks (context) - Coffman, Elphick et al. - 1971
14 ACM Transactions on Programming Languages and Systems (context) - Schneider, distributed - 1982
14 A posteriori agreement for fault-tolerant clock synchronizat.. (context) - Verissimo, Rodrigues - 1991
13 An approach to decentralized computer systems - Gray - 1986
13 Using message passing for distributed programming: Proof rul.. - Schlichting, Schneider - 1984
12 Implementing replicated objects using Psync (context) - Mishra, Peterson et al. - 1989
12 Checkpointing and rollback recovery in a distributed system .. (context) - Ramanathan, Shin - 1988
12 On deadlock detection in distributed systems (context) - Gligor, Shattuck - 1980
12 Formal aspects of serializability in database concurrency co.. (context) - Bernstein, Shipman et al. - 1979
12 A robust group membership algorithm for distributed real-tim.. (context) - Ezhilchelvan, Lemos - 1990
11 Reliable broadcast for fault-tolerance on local computer net.. (context) - Verissimo, Marques - 1990
11 Fault-tolerant distributed systems based on broadcast commun.. (context) - Melliar-Smith, Moser - 1989
11 Systems programming with objects and actions (context) - LeBlanc, Wilkes - 1985
10 Illustrative risks to the public in the use of computer syst.. (context) - Neumann - 1991
9 The concurrency control problem of database systems (context) - Casanova - 1981
9 IEEE Transactions on Software Engineering (context) - Perry, agreement - 1985
9 A protocol for timed atomic commitment (context) - Davidson, Insup et al. - 1989
8 Handshake protocols (context) - Strong, Skeen et al. - 1987
7 IEEE Transactions on Software Engineering (context) - Lin, Gannon et al. - 1985
6 Correctness of concurrency control and implications in distr.. (context) - Badal - 1979
6 Autonomous decentralized computer control systems (context) - Ihara, Mori - 1984
6 ACM Transactions on Data Base Systems (context) - Hammer, Shipman et al. - 1980
5 Using transactions in distributed applications (context) - Weihl - 1989
5 Some fault-tolerant aspects of the Chorus distributed system (context) - Banino, Fabre et al. - 1985
4 An algorithm for minimizing rollback cost (context) - Hadzilacos - 1982
4 IEEE Transactions on Software Engineering (context) - Svobodova, computing - 1984
4 Reliability and fault recovery in distributed processing (context) - Shapiro, Millstein - 1977
4 Advanced automation system design (context) - Benel, Dancey et al. - 1989
3 Replicated transactions (context) - Ng, Shi - 1989
3 A commit protocol for checkpointing transactions (context) - Ng - 1988
3 A model for concurrent checkpointing and recovery using tran.. (context) - Leu, Bhargava - 1989
3 Failure transparency in remote procedure calls (context) - Ravindran, Chanson - 1989
2 Algorithms for distributed data-sharing which use tickets (context) - LeLann - 1978
2 Streets of Byzantine: Network architectures for fast reliabl.. (context) - Babaoglu, Drummond - 1985
2 Checkpointing and rolback-recovery for distributed systems (context) - Koo, Toueg - 1987
2 ANSA: Assumptions (context) - Core - 1991
2 Clock synchronization in distributed (context) - Kopetz, Ochsenreiter - 1987
2 Real-time data management with clockless reliable broadcast .. (context) - Verrissimo - 1990
1 and a proposed notation (context) - Goodenough, issues - 1975
1 A simple and efficient Byzantine agreement algorithm (context) - Chor, Coan - 1985
1 Deleting completed transactions (context) - Hadzilacos, Yannakakis - 1986
1 Update synchronization in multiaccess database systems (context) - Milenkovic - 1979
1 Analyzing concurrency control when user and system operation.. (context) - Bernstein, Goodman et al. - 1983
1 Deadlock detection and resolution in a CODASYL based data ma.. (context) - Marci - 1976
1 An approach to program-transparent coordination of recoverin.. (context) - Kim - 1978
1 Evaluation of recovery blocks used for checkpointing process.. (context) - Shin, Lee - 1984
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.arizona.edu/cactus/public.html): More
Implementing Fault Tolerance with an Attribute and.. - Suzuki, Katayama.. (1994) (Correct)
Consul: A Communication Substrate for Fault-Tolerant.. - Mishra, Peterson.. (1991) (Correct)
FTAG: A Functional and Attribute Based Model for.. - Suzuki, Katayama.. (1996) (Correct)
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