White Papers

Static Deadlock Detection for Java Libraries

Tags: java

Overview Library writers wish to provide a guarantee not only that each procedure in the library performs correctly in isolation, but also that the procedures perform correctly when run in conjunction. To this end, the paper proposes a method for static detection of deadlock in Java libraries. Their goal is to determine whether client code exists that may deadlock a library, and, if so, to enable the library writer to discover the calling patterns that can lead to deadlock. The flow-sensitive, context-sensitive analysis determines possible dead-lock configurations using a lock-order graph. This graph represents the order in which locks are acquired by the library.

By downloading you agree to our Terms and Conditions. These include information regarding use of your personal data.

Publisher: Massachusetts Institute of Technology
File Format: PDF
Date Published: Jan 3, 2009
Format: White Papers
Topics: Java, Programming Languages

Similiar White Papers

Connecting to Oracle From Ruby on Rails

In the Java world, there are two common types of drivers for Oracle: the pure-Java (a.k.a. thin) driver and the native O

Publisher: Oracle | Tags: database, java, software

Design Considerations for Using the PIM API for Java ME

Mobile handsets such as cellphones typically have an address book to keep track of people one likes to stay in touch wit

Publisher: Sun Microsystems | Tags: api, applications, data, java

Using Java Persistence API Within a Visual Web JSF Application

Using NetBeans IDE 6.0 and the Visual Web tools, one can write applications that connect to database tables using the Ja

Publisher: Sun Microsystems | Tags: api, applications, data, database, java

Java Servlet & JSP Cookbook: Embedding Multimedia in JSPs

Most web sites include some type of multimedia and interactive programs, such as digital videos, digital audio files, Ma

Publisher: O'Reilly Media | Tags: digital, java

Using XMLEncoder

This paper covers advanced use of XMLEncoder, showing how it can be configured to create archives of any Java objects -

Publisher: Sun Microsystems | Tags: java

Massachusetts Institute of Technology White Papers

Facemail: Showing Faces of Recipients to Prevent Misdirected Email

Featured white papers

The Value of Location Intelligence in the Communications Industry

Pitney Bowes

Public Services are under pressure, the challenge is to do more with less. How do you improve citizen satisfaction, increase cost efficiencies and improve service delivery? The power of location intelligence is helping many local authorities...

Download now »
Best Practices for Translating Customer Satisfaction into Revenue

Citrix Online

Today's support organisations are focused on two top-level metrics: financial results and customer satisfaction. For most, it's easy to track financial performance, but customer satisfaction is akin to speaking a foreign language...

Download now »
HP print solutions and 3M

Hewlett-Packard (HP)

The objective for 3M was to optimize office printing infrastructure at 3M locations worldwide, reduce total cost and environmental footprint. Some of the business benefits acheived by switching to HP print solutions...

Download now »