Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Discovering Correctness Constraints for Self-Management of System Configuration

Emre Kiciman and Yi-Min Wang

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.

Details

Publication typeTechReport
URLhttp://www.ieee.org/
NumberMSR-TR-2004-22
Pages8
InstitutionMicrosoft Research
PublisherInstitute of Electrical and Electronics Engineers, Inc.
> Publications > Discovering Correctness Constraints for Self-Management of System Configuration