Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Unifying Stabilization and Termination in Message-Passing Systems Anish Arora

Summary: Unifying Stabilization and Termination in Message-Passing Systems
Anish Arora
Dept. of Computer and Information Science,
Ohio State University,
Columbus, OH 43210,
Mikhail Nesterenko
Mathematics and Computer Science,
Kent State University, Kent, OH 44242,
The paper dispels the myth that it is impossible for
any stabilizing message-passing program to be termi-
nating. We identify xpoint-symmetry as a necessary
condition for a message-passing stabilizing program to
be terminating. Our results do con rm that a num-
ber of well-known input-output problems (e.g., leader
election and consensus) do not admit a terminating
and stabilizing solution. On the ip side, they show
that reactive problems such as mutual exclusion and


Source: Arora, Anish - Department of Computer Science and Engineering, Ohio State University
Nesterenko, Mikhail - Department of Computer Science, Kent State University


Collections: Computer Technologies and Information Sciences