Maurice Herlihy, Nancy Lynch, Michael Merritt, William Weihl  Home/Search
Context Related
| mit.edu/tds/papers/Lynch/jacm92.pdf 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: mit.edu/tds/lynchpubs (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In a distributed system, node failures, network delays, and other unpredictable occurrences can result in orphan computations--subcomputations that continue to run but whose results are no longer needed. Several algorithms have been proposed to prevent such computations from seeing inconsistent states of the shared data. In this paper, two such orphan management algorithms are analyzed. The first is an algorithm implemented in the Argus distributed-computing system at MIT, and the second is an... (Update)
Similar documents based on text: More All
1.0: Unknown - Warning Concerning Copyright (Correct)
0.3: Orphan Detection in the Argus System - Walker (1984) (Correct)
0.3: Concurrent, Atomic Garbage Collection - Detlefs (1991) (Correct)
Related documents from co-citation: More All
2: Camelot and Avalon: A Distributed Transaction Facility (context) - Eppinger, Mummert et al. - 1991
2: Mach: A New Kernel Foundation for Unix Development (context) - Accetta, Baron et al. - 1986
2: Rajdoot: A remote procedure call facility supporting orphan detection and killin.. (context) - Panzieri, Shrivastava - 1988
BibTeX entry: (Update)
M. Herlihy, N. Lynch, M. Merrir, and W. Weihl. On the correctness of orphan management algorithms. Journal of the ACM, 39(4):881--930, 1992. http://citeseer.ist.psu.edu/herlihy92correctness.html More
@article{ herlihy92correctness,
author = "Maurice Herlihy and Nancy Lynch and Michael Merritt and William Weihl",
title = "On the Correctness of Orphan Management Algorithms",
journal = "Journal of the ACM",
volume = "39",
number = "4",
pages = "881--930",
year = "1992",
url = "citeseer.ist.psu.edu/herlihy92correctness.html" }
Citations (may not include all citations):139 introduction to inputoutput automata (context) - TUTTLE, to et al. - 1989
124 Guardians and actions: Linguistic support for robust (context) - LISKOV, SCHEIFLER - 1983
101 Atomic Transactions (context) - LYNCH, MERRITT et al. - 1992
65 Remote procedure call (context) - NELSON - 1981
53 Inheritance synchronization and recovery propertie avalonC +.. (context) - HERLIHY, of et al. - 1988
38 System level concurrency control for distributed database sy.. (context) - ROSENKRANTZ, STEARNS et al. - 1978
20 Commutativity-based locking for nested transactions - FEKETE, LYNCH et al. - 1990
18 Introduction to the theory of nested transactions - LYNCH, MERRITT - 1986
18 Introduction to the theory of nested transactions - LYNCH, MERRITT - 1988
17 Concurrency control for resilient nested transactions (context) - LYNCH - 1986
16 Specification and implementation of atomic data types (context) - WEIHL - 1984
12 Orphan detection (context) - LISKOV, SCHEIFLER et al. - 1987
11 An architecture for reliable decentralized systems (context) - ALLCHIN - 1983
10 A theory of timestampbased concurrency control for nested tr.. (context) - ASPNES, FEKETE et al. - 1988
10 the correctness of orphan elimination algorithms (context) - HERLIHY, LYNCH et al. - 1987
6 Quorum consensus in nested transaction systems - GOLDMAN, LYNCH - 1987
4 Distributed commit protocols for nested atomic actions (context) - PERL - 1987
3 Timestamp-based orphan elimination (context) - MCKENDRY, HERLIHY - 1989
3 Nested transactions for general objects: The Eden implementa.. (context) - Pu, NOE - 1985
1 Guide to the Camelot Distributed Transaction Fac&ty (context) - SPECTOR, SWEDLOW
1 249 283 (context) - WEmL - 1992
1 Nested Transactions: An Approach to Rehable Distributed Comp.. (context) - Moss - 1985
1 ery in Database Systems (context) - BERNSTEIN, HADZILACOS et al. - 1987
1 Internal consistency of a distributed transaction system wit.. (context) - COREL - 1983
1 Massachusetts Institute of Technology (context) - WALCER - 1984
Documents on the same site (http://theory.lcs.mit.edu/tds/lynch-pubs.html): More
Hybrid I/O Automata Revisited - Lynch, Segala, Vaandrager (2001) (Correct)
"Helping": Several Formalizations - Lynch (1975) (Correct)
Fast Allocation Of Nearby Resources In A Distributed System - Lynch (1980) (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