919
views
0
recommends
+1 Recommend
1 collections
    0
    shares

      Studying business & IT? Drive your professional career forwards with BCS books - for a 20% discount click here: shop.bcs.org

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

      Analyzing Java Classloader Deadlocks Using CSP and FDR

      Published
      proceedings-article
      FACS 2007 Christmas Workshop: Formal Methods in Industry (FMI)
      Formal Methods in Industry
      17 December 2007
      CSP, FDR, Java, model-checking, procedural programming
      Bookmark

            Abstract

            This paper describes a recent project within the IBM Java Technology Centre at Hursley, to use CSP and the FDR model-checking tool to analyse the cause of certain deadlocks within the Java class loader. Techniques for the CSP modelling of several procedural programming patterns such as recursion, multi-threading and locking are presented, together with their application to the specific case of the Java class loader.

            Content

            Author and article information

            Contributors
            Conference
            December 2007
            December 2007
            : 1-6
            Affiliations
            [0001]IBM United Kingdom Limited
            Article
            10.14236/ewic/FMI2007.5
            df89a096-ad5e-448e-a50e-fd173217c4e6
            © Jonathan Lawrence. Published by BCS Learning and Development Ltd. FACS 2007 Christmas Workshop: Formal Methods in Industry, BCS London, UK

            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/

            FACS 2007 Christmas Workshop: Formal Methods in Industry
            FMI
            BCS London, UK
            17 December 2007
            Electronic Workshops in Computing (eWiC)
            Formal Methods in Industry
            History
            Product

            1477-9358 BCS Learning & Development

            Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/FMI2007.5
            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
            CSP,model-checking,FDR,procedural programming,Java

            Comments

            Comment on this article