✦ LIBER ✦

Distributed snapshots: determining global states of distributed systems

✍ Scribed by Chandy, K. Mani; Lamport, Leslie

Book ID: 120633989
Publisher: Association for Computing Machinery
Year: 1985
Tongue: English
Weight: 969 KB
Volume: 3
Category: Article
ISSN: 0734-2071
DOI: 10.1145/214451.214456

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Shared Global States in Distributed Comp

Shared Global States in Distributed Computations

✍ Eddy Fromentin; Michel Raynal 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 324 KB

A consistent observation of a given distributed computation is a sequence of global states that could be produced by executing that computation on a monoprocessor system. Therefore a distributed execution generally accepts several consistent observations. This paper investigates global states shared

On the memory overhead of distributed sn

On the memory overhead of distributed snapshots

✍ Shabtay, Lior; Segall, Adrian 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 60 KB 👁 3 views

This paper shows that the memory overhead of distributed snapshots is unbounded. Several techniques are suggested for bounding it: bounded memory-overhead versions of distributed snapshots for specific problems, like termination detection and deadlock detection; use of alternative protocols; or use

Global states monitoring algorithm for d

Global states monitoring algorithm for distributed system

✍ Kenji Moriyasu; Terunao Soneoka; Yoshifumi Manabe 📂 Article 📅 1991 🏛 John Wiley and Sons 🌐 English ⚖ 836 KB

Monitoring Functions on Global States of

Monitoring Functions on Global States of Distributed Programs

✍ Alexander I. Tomlinson; Vijay K. Garg 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 605 KB

The domain of a global function is the set of all global states of an execution of a distributed program. We show how to monitor a program in order to determine if there exists a global state in which the sum x 1 + x 2 + 1 1 1 + x N exceeds some constant K, where x i is defined in process i. We exam

Reaching and Distinguishing States of Di

Reaching and Distinguishing States of Distributed Systems

✍ Hierons, Robert M. 📂 Article 📅 2010 🏛 Society for Industrial and Applied Mathematics 🌐 English ⚖ 518 KB

On global stability in distributed param

On global stability in distributed parameter systems

✍ Dan Luss; James C.M. Lee 📂 Article 📅 1968 🏛 Elsevier Science 🌐 English ⚖ 860 KB

A method 1s presented for determmmg fimte stabdlty regons for dlstnbuted parameter systems whose transient behavior IS governed by a smgle parabolic dlfferentlal equation The case of an a&abatlc catalytic reactlon IS &scussed m detad However, the same techmques can be apphed to many other systems m