Graybox Stabilization
Anish Arora, Murat Demirbas and Sandeep S. Kulkarni
Abstract
Research in system stabilization has traditionally relied on the availability
of a complete system implementation. As such, it would appear that the
scalability and reusability of stabilization is limited in practice. Towards
redressing this perception, in this paper, we show for the first time that
system stabilization may be designed knowing only the system specification
but not the system implementation. We refer to stabilization designed thus
as being ``graybox'' and identify ``local everywhere-eventually specifications''
as being amenable to design of graybox stabilization. We illustrate the
design of graybox stabilization using timestamp-based distributed mutual
exclusion as our example.
Paper:
BibTeX Entry
@Article{adk01,
author = {A.~Arora and M.~Demirbas and S.~S. Kulkarni},
title = {Graybox stabilization},
journal = {Proceedings of the International Conference on Dependable Systems and Networks},
year = {2001},
OPTkey = {},
OPTvolume = {},
OPTnumber = {},
pages = {389-398},
month = {July},
OPTnote = {},
OPTannote = {}
}
Return to the publication list
Return to the Sandeep's home
page