|
Published Articles >> Table of Contents >> Abstract
First International Conference on Autonomic Computing (ICAC'04)
pp. 28-35
Discovering Correctness Constraints for Self-Management of System Configuration
Emre Kycyman, Stanford University
Yi-Min Wang, Microsoft Inc.
Full Article Text:
 
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ICAC.2004.26
Send link to a friend
| Abstract |
|
Managing the configuration of computer systems today is a difficult task. Too easily, a computer user or administrator can make a simple mistake or lapse and misconfigure a system, causing instabilities, unexpected behavior, and general unreliability. Bugs in software that changes these configurations, such as installers, only worsen the situation. A self-managing configuration system should be continuously monitoring itself for invalid settings, preventing the bugs from harming the system. Unfortunately, while there are many constraints which can differentiate between valid and invalid settings, few of these constraints are explicitly written down, much less written down in a form usable by an automatic monitor. We propose an approach to automatically infer these correctness constraints based on samples of known good configurations. In this paper we present Glean, a system for analyzing the structure of configurations and automatically inferring four types of correctness constraints on that structure.
|
 Additional Information
|
Citation:
Emre Kycyman, Yi-Min Wang,
"Discovering Correctness Constraints for Self-Management of System Configuration,"
icac,
pp. 28-35,
First International Conference on Autonomic Computing (ICAC'04),
2004
|
|
