InfoSpect: using a logic language for system health monitoring in distributed systems

  • Authors:
  • Timothy Roscoe;Richard Mortier;Paul Jardetzky;Steven Hand

  • Affiliations:
  • Intel Research at Berkeley, Berkeley, CA;Microsoft Research, Cambridge, UK;Sprint Labs, Burlingame, CA;Univ. Cambridge Computer Laboratory, Cambridge, UK

  • Venue:
  • EW 10 Proceedings of the 10th workshop on ACM SIGOPS European workshop
  • Year:
  • 2002

Quantified Score

Hi-index 0.00

Visualization

Abstract

Dependable systems cannot be built without a monitoring and management component. In this paper we propose using a wide variety of information gathering tools coupled with custom scripts and a Prolog language engine to aggregate information from multiple sources. Complex queries, difficult to express in standard database languages, can then be used to answer questions about the system (e.g. the health of individual components) or to discover contradictions (e.g. inconsistent configurations). We describe our prototype implementation and present some early results.