Analyzing Java Classloader Deadlocks Using CSP and FDR | Zendy

Jonathan Lawrence | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Analyzing Java Classloader Deadlocks Using CSP and FDR

Author(s) -

Jonathan Lawrence

Publication year - 2007

Publication title -

electronic workshops in computing

Language(s) - English

Resource type - Conference proceedings

ISSN - 1477-9358

DOI - 10.14236/ewic/fmi2007.5

Subject(s) - computer science , java , loader , programming language , real time java , java concurrency , operating system , ibm , class (philosophy) , parallel computing , artificial intelligence , materials science , nanotechnology

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.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research