Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Convergence Re nement Murat Demirbas Anish Arora

Summary: Convergence Re nement
Murat Demirbas Anish Arora 
Department of Computer and Information Science
The Ohio State University
Columbus, Ohio 43210 USA
Re nement tools such as compilers do not necessarily
preserve fault-tolerance. That is, given a fault-tolerant
program in a high-level language as input, the output of
a compiler in a lower-level language will not necessarily
be fault-tolerant. In this paper, we identify a special class
of re nement, namely \convergence re nement", that pre-
serves the fault-tolerance property of stabilization. We
illustrate the use of convergence re nement by present-
ing the rst formal design of Dijkstra's little-understood
3-state stabilizing token-ring system. Our designs begin
with simple, high-atomicity token-ring systems that are
not stabilizing, and then add a high-atomicity \wrapper"
to the systems so as to achieve stabilization. Both the
system and the wrapper are then independently re ned


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


Collections: Computer Technologies and Information Sciences