| | |
Summary: Scalable Self-Stabilization via
Composition
William Leal Anish Arora
Department of Computer and Information Science
The Ohio State University, Columbus, Ohio, USA
{leal, arora}@cis.ohio-state.edu
Technical Report OSU-CISRC-7/03-TR46
August, 2003
Revised January, 2004
Abstract
Objections to the practical use of stabilization have centered around
problems of scale. Because of potential interferences between actions,
global reasoning over the entire system is in general necessary. The
complexity of this task increases dramatically as systems grow in size.
Alternatives to dealing with this complexity focus on reset and com-
position. For reset, the problem is that any fault, no matter how
minor, will cause a complete system reset with potentially significant
lack of availability. For existing compositional alternatives, includ-
ing compositional reset, severe restrictions on candidate systems are
imposed.
|
