✦ LIBER ✦

A deadlock detection tool for concurrent Java programs

✍ Scribed by Claudio Demartini; Radu Iosif; Riccardo Sisto

Publisher: John Wiley and Sons
Year: 1999
Tongue: English
Weight: 160 KB
Volume: 29
Category: Article
ISSN: 0038-0644
DOI: 10.1002/(sici)1097-024x(199906)29:7<577::aid-spe246>3.0.co;2-v

No coin nor oath required. For personal study only.

✦ Synopsis

This paper presents some issues related to the design and implementation of a concurrency analysis tool able to detect deadlock situations in Java programs that make use of multithreading mechanisms. An abstract formal model is generated from the Java source using the Java2Spin translator. The model is expressed in the PROMELA language, and the SPIN tool is used to perform its formal analysis. The paper mainly focuses on the design of the Java2Spin translator. A set of experiments, carried out to evaluate the performances of the analysis tool, is also presented.

📜 SIMILAR VOLUMES

A Java simulation tool for fuzzy cluster

A Java simulation tool for fuzzy clustering

✍ Egan, M. A.; Krishnamoorthy, M.; Rajan, K. 📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 93 KB 👁 2 views

Emerging technologies on the World Wide Web promise to make program, algorithm and concept simulations universally accessible, and Java appears to be the best technology available. Simulations involving animation and visualization have a tremendous benefit when applied to various algorithms. We pres

A Model for Implementing a Concurrent En

A Model for Implementing a Concurrent Enrollment Program

✍ Brian Chapman 📂 Article 📅 2001 🏛 John Wiley and Sons ⚖ 43 KB 👁 1 views

Tools for teaching mathematics: A case f

Tools for teaching mathematics: A case for Java and VRML

✍ Luiz Carlos Guimarães; Rafael Garcia Barbastefano; Elizabeth Belfort 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 90 KB 👁 1 views

A performance debugging tool for high pe

A performance debugging tool for high performance Fortran programs

✍ Suzuoka, Takashi; Subhlok, Jaspal; Gross, Thomas 📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 276 KB 👁 1 views

Parallel languages allow the programmer to express parallelism at a high level. The management of parallelism and the generation of interprocessor communication is left to the compiler and the runtime system. This approach to parallel programming is particularly attractive if a suitable widely accep

A Java/CORBA-based visual program compos

A Java/CORBA-based visual program composition environment for PSEs

✍ Shields, Matthew S. ;Rana, Omer F. ;Walker, David W. ;Li, Maozhen ;Golby, David 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 229 KB

Concurrent validity of the MMPI-A in a c

Concurrent validity of the MMPI-A in a counseling program for juvenile offenders

✍ Edward A. Toyer; Nathan C. Weed 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 68 KB 👁 2 views

This study was conducted to examine the concurrent validity of the MMPI-A (Minnesota Multiphasic Personality Inventory-Adolescent) in an adolescent offender setting. From a sample of 50 court-adjudicated youths participating in an outpatient counseling program, 42 valid MMPI-A profiles were obtained