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. Home/Search Document Details and Download
Summary ACM TOC Related Articles Check |
This paper is cited in the following contexts:
Efficient Treatment of Failures in RPC Systems - Issarny, Muller, Puaut (1994) (Correct)
....applications in the presence of failures. In the framework of distributed (atomic) transaction systems, the time an orphan has to be detected is given by the semantics of distributed transactions: the orphan detection mechanism should prevent orphans from seeing inconsistent information (e.g. see [7]) In our framework, we do not make any assumption about concurrency control and hence must reason on a per process basis. This has been the approach undertaken in the design of the rpc system Rajdoot that sets the correctness criterion of orphan detection algorithms according to sequential ....
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.
Efficient Treatment of Failures in RPC Systems - Issarny, Muller, Puaut (1994) (Correct)
....applications in the presence of failures. In the framework of distributed (atomic) transaction systems, the time an orphan has to be detected is given by the semantics of distributed transactions: the orphan detection mechanism should prevent orphans from seeing inconsistent information (e.g. see [5]) In our framework, we do not make any assumptionabout concurrency control and hence must reason on a per process basis. This has been the approach undertaken in the design of the RPC system Rajdoot that sets the correctness criterion of orphan detection algorithms according to sequential actions ....
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.
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