Work

Analyzing Java Classloader Deadlocks Using CSP and FDR

Year: 2007

Type: conference-paper

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.

Source: Electronic workshops in computing

DOI: 10.14236/ewic/fmi2007.5

Author: Jonathan Lawrence

Institution: IBM (United Kingdom)

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: hybrid

OpenAlex ID: W2485394034

FWCI:

Cites:

Cited by:

Related to: 10