772
views
0
recommends
+1 Recommend
1 collections
    0
    shares

      Celebrating 65 years of The Computer Journal - free-to-read perspectives - bcs.org/tcj65

      scite_
       
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      Operating System Support to Detect Application Hangs

      proceedings-article
      1 , 1 , 1 , 2
      Second International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2008) (VECoS)
      Verification and Evaluation of Computer and Communication Systems
      2 - 3 July 2008
      Failure detection, critical systems
      Bookmark

            Abstract

            On-line failure detection is an essential means to control and assess the dependability of complex and critical software systems. In such context, effective detection strategies are required, in order to minimize the possibility of catastrophic consequences. This objective is however difficult to achieve in complex systems, especially due to the several sources of non-determinism (e.g., multi-threading and distributed interaction) which may lead to software hangs, i.e., the system is active but no longer capable of delivering its services. The paper proposes a detection approach to uncover application hangs. It exploits multiple indirect data gathered at the operating system level to monitor the system and to trigger alarms if the observed behavior deviates from the expected one. By means of fault injection experiments conducted on a research prototype, it is shown how the combination of several operating system monitors actually leads to an high quality of detection, at an acceptable overhead.

            Content

            Author and article information

            Contributors
            Conference
            July 2008
            July 2008
            : 1-11
            Affiliations
            [(1) ]Dipartimento di Informatica e Sistemistica - Università degli Studi di Napoli Federico II

            Via Claudio 21, 80125 - Naples, Italy
            [(2) ]Laboratorio CINI ITEM, Complesso Univ. M.S.Angelo, via Cinthia, Naples, Italy
            Article
            10.14236/ewic/VECOS2008.11
            19ee92fc-8506-4b93-8e36-5199c335c3a3
            © G. Carrozza et al. Published by BCS Learning and Development Ltd. Second International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2008)

            This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

            Second International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2008)
            VECoS
            Leeds, UK
            2 - 3 July 2008
            Electronic Workshops in Computing (eWiC)
            Verification and Evaluation of Computer and Communication Systems
            History
            Product

            1477-9358 BCS Learning & Development

            Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/VECOS2008.11
            Self URI (journal page): https://ewic.bcs.org/
            Categories
            Electronic Workshops in Computing

            Applied computer science,Computer science,Security & Cryptology,Graphics & Multimedia design,General computer science,Human-computer-interaction
            Failure detection,critical systems

            Comments

            Comment on this article