Graybox Stabilization

Anish Arora, Murat Demirbas and Sandeep S. Kulkarni


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.


BibTeX Entry

  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