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

Proceedings of the 10th Workshop on ACM SIGOPS European Workshop, EW 10

Volumn , Issue , 2002, Pages 31-37

  Roscoe, Timothy ^a   Mortier, Richard ^b   Jardetzky, Paul ^c   Hand, Steven ^d  

^a INTEL CORPORATION   (United States)

^b MICROSOFT RESEARCH   (United Kingdom)

^c Sprint   (United States)

^d UNIVERSITY OF CAMBRIDGE   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

A-PROLOG; COMPLEX QUERIES; DATABASE LANGUAGE; DEPENDABLE SYSTEMS; DISTRIBUTED SYSTEMS; INDIVIDUAL COMPONENTS; INFORMATION GATHERING; LOGIC LANGUAGES; MONITORING AND MANAGEMENT; MULTIPLE SOURCE; PROTOTYPE IMPLEMENTATIONS; SYSTEM HEALTH MONITORING;

LINGUISTICS; QUERY LANGUAGES; SOFTWARE PROTOTYPING;

MONITORING;

EID: 72849107382     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1133373.1133379     Document Type: Conference Paper

References (17)

1. W. Clocksin and C. Mellish. Programming in Prolog. Springer Verlag, 1984.
2. P. Dourish, D. Swinehart, and M. Theimer. The Doctor Is In: Helping End Users Understand the Health of Distributed Systems. In Proceedings of the IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, December 2000.
3. M. Golm and J. Kleinoeder. Ubiquitous Computing and the Need for a New Operating System Architecture. Online at http://www4.informatik.uni-erlangen.de/ Projects/JX/Papers/ubitools01.pdf, 2001.
4. R. Grimm, T. Anderson, B. Bershad, and D. Wetherall. A System Architecture for Pervasive Computing. In Proceedings of the 9th ACM SIGOPS European Workshop, Kolding, Denmark, pages 177-182, September 2000.
5. Insecure.org. The Nmap stealth port scanner. http://insecure.org/nmap/, 2001.
6. ISI. RAToolSet. http://www.isi.edu/ra/RAToolSet/, 2001.
7. C. Labovitz, A. Ahuja, A. Bose, and F. Jahanian. Delayed Internet Routing Convergence. In Proceedings of ACM SIGCOMM 2000, pages 175-187, 2000.
8. D. Liben-Nowell, H. Balakrishnan, and D. Karger. Observations on the dynamic evolution of peer-to-peer networks. In Proceedings of the 1st International Workshop on Peer-to-Peer Systems (IPTPS '02), Cambridge, MA, USA, March 2002.
9. R. Mahajan, D. Wetherall, and T. Anderson. Understanding BGP Misconfiguration. In Proceedings of ACM SIGCOMM 2002, August 2002.
10. T. Mercury Project. http://www.cs.mu.oz.au/research/mercury, 1996.
11. M. N. nez, R. Morales, and F. Triguero. Automatic discovery of rules for predicting network management events. IEEE Journal on Selected Areas in Communications, 20(4):736-745, May 2002.
12. D. Reed, I. Pratt, P. Menage, S. Early, and N. Stratford. Xenoservers: Accounted Execution of Untrusted Code. In Proceedings of the fifth Workshop on Hot Topics in Operating Systems (HotOS-VII), 1999.
13. RIPE. RPSL. http://www.ripe.net/ripencc/pub-services/db/irrtoolset/ documentation/, 2000.
14. A. Shaikh, L. Kalampoukas, R. Dube, and A. Varma. Routing Stability in Congested Networks: Experimentation and Analysis. In Proceedings of ACM SIGCOMM 2000, pages 163-174, 2000.
15. J. S. Shapiro, S. J. Muir, J. M. Smith, and D. J. Farber. Operating System Support for Active Networks. Technical Report MS-CIS-97-03, University of Pennsylvania, February 1997.
16. The Nessus Project. http://www.nessus.org/intro.html, 2000.
17. B. Wilcox-O'Hearn. Experiences deploying a large-scale emergent network. In Proceedings of the 1st International Workshop on Peer-to-Peer Systems (IPTPS '02), Cambridge, MA, USA, March 2002.