Analyzing Java classloader deadlocks using CSP and FDR

  • Authors:

  • Jonathan Lawrence

  • Affiliations:

  • IBM United Kingdom Limited

  • Venue:
  • FACS-FMI'07 Proceedings of the 2007th internatioanal conference on Formal Methods in Industry
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

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.