Analyzing Java Classloader Deadlocks Using CSP and FDR

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.

Contributors

Jonathan Lawrence

Conference

Publication date: December 2007

Publication date (Print): December 2007

Pages: 1-6

Affiliations

IBM United Kingdom Limited

Article

DOI: 10.14236/ewic/FMI2007.5

Copyright statement: © Jonathan Lawrence. Published by BCS Learning and Development Ltd. FACS 2007 Christmas Workshop: Formal Methods in Industry, BCS London, UK

License:

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/

Conference name: FACS 2007 Christmas Workshop: Formal Methods in Industry

Conference acronym: FMI

Conference number:

Conference location: BCS London, UK

Conference date: 17 December 2007

Conference sponsor: Electronic Workshops in Computing (eWiC)

Conference theme: Formal Methods in Industry

Product

Product Information: 1477-9358BCS 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

Series title: Electronic Workshops in Computing