Effects of Message Loss on Distributed Termination

We study the problem of termination in distributed systems with faulty communication channels. We show that for asynchronous systems, protocols that guarantee knowledge gain via message transfers cannot be guaranteed to terminate even if we assume that only transient communication failures can occur, and want to achieve only a weak kind of termination. The same result holds for synchronous systems as well.