Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Stabilization-Preserving Atomicity Re nement Mikhail Nesterenko y and Anish Arora z
 

Summary: Stabilization-Preserving Atomicity Re nement
Mikhail Nesterenko y and Anish Arora z
y Mathematics and Computer Science, Kent State University, Kent, OH 44242 USA; and
z Department of Computer and Information Science, Ohio State University, Columbus, OH
43210 USA.
E-mail: mikhail@mcs.kent.edu; anish@cis.ohio-state.edu
Program re nements from an abstract to a concrete model empower
designers to reason e ectively in the abstract and architects to implement
e ectively in the concrete. For re nements to be useful, they must not only
preserve functionality properties but also dependability properties. In this
paper, we focus our attention on re nements that preserve the depend-
ability property of stabilization. Speci cally, we present a stabilization-
preserving re nement of atomicity from an abstract model where a process
can atomically access the state of all its neighbors and update its own state,
to a concrete model where a process can only atomically access the state
of any one of its neighbors or atomically update its own state. Our re ne-
ment is sound and complete with respect to the computations admitted by
the abstract model, and induces linear step complexity and constant syn-
chronization delay in the computations admitted by the concrete model.
It is based on a bounded-space, stabilizing dining philosophers program

  

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