On Detecting Termination in the Crash-Recovery Model

13 years 10 months ago

Download pi1.informatik.uni-mannheim.de

We investigate the problem of detecting termination of a distributed computation in an asynchronous message-passing system where processes may crash and recover. We show that it is impossible to solve the termination detection problem in this model. We identify necessary and sufﬁcient conditions under which it is possible to solve the stabilizing version of the problem in which a termination detection algorithm is allowed to make ﬁnite number of mistakes. Finally, we present an algorithm to solve the stabilizing termination detection problem under these conditions.

Felix C. Freiling, Matthias Majuntke, Neeraj Mitta

Real-time Traffic

Distributed Computation | EUROPAR 2007 | Termination Detection Algorithm | Termination Detection Problem |

claim paper

» On the Quality of Service of CrashRecovery Failure Detectors

» Consensus in Asynchronous Distributed Systems A Concise Guided Tour

» Managing Model Adaptation by Precise Detection of Metamodel Changes

» Detection of presynaptic terminals on dendritic spines in double labeling confocal images

» Detecting Termination of Active Database Rules Using Symbolic Model Checking

» About the Termination Detection in the Asynchronous Message Passing Model

» Termination Detection of Local Computations

» The Derivation of Distributed Termination Detection Algorithms from Garbage Collection Sch...

Post Info
More Details (n/a)

Added	07 Jun 2010
Updated	07 Jun 2010
Type	Conference
Year	2007
Where	EUROPAR
Authors	Felix C. Freiling, Matthias Majuntke, Neeraj Mittal

Comments (0)

Sciweavers

On Detecting Termination in the Crash-Recovery Model

Distributed Computation | EUROPAR 2007 | Termination Detection Algorithm | Termination Detection Problem |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers