skip to main content
10.1145/2591062.2591136acmconferencesArticle/Chapter ViewAbstractPublication PagesicseConference Proceedingsconference-collections
Article

Avoiding deadlocks using stalemate and dimmunix

Published: 31 May 2014 Publication History

Abstract

The execution of a concurrent Java program can deadlock if its threads attempt to acquire shared locks in cyclic order. The JVM permits such behaviour. Research has demonstrated that such deadlocks can be predicted through static analysis. It is also known that a tool like Dimmunix helps to avoid deadlocks whose deadlock patterns (fingerprints) are known. The current work combines both approaches: conducting static analysis to predict possible deadlocks and provide their corresponding fingerprints to Dimmunix. These fingerprints forewarn Dimmunix of all deadlock possibilities rather than it learn about them one at a time. For our experiments we use 8 deadlock programs that were developed based upon deadlock predictions from static analysis of the entire JRE by a tool called Stalemate. We design a process to generate Dimmunix fingerprints from deadlock predictions.

References

[1]
D. T. Horatiu Jula, C. Zamfir, and G. Candea. Deadlock immunity:enabling systems to defend against deadlocks. In USENIX OSDI, December 2008.
[2]
M. Naik, C.-S. Park, K. Sen, and D. Gay. Effective static deadlock detection. In ICSE, 2009.
[3]
V. K. Shanbhag. Deadlock-detection in java-library using static-analysis. In 15th APSEC, 2008.
[4]
A. Williams, W.Thies, and M.Ernst. Static deadlock detection for java libraries. In ECOOP, 2005.
[5]
https://github.com/vivekShanbhag/Stalemate 1 https://bugs.openjdk.java.net/browse/JDK-bugid

Cited By

View all
  • (2021)Automated Deadlock Detection for Large Java LibrariesDistributed Computing and Internet Technology10.1007/978-3-030-65621-8_8(129-144)Online publication date: 7-Jan-2021
  • (2020)Dynamic Budget-Total Need Based Resource Reservation TechniqueSmart Science10.1080/23080477.2020.17782268:2(61-70)Online publication date: 17-Jun-2020

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
ICSE Companion 2014: Companion Proceedings of the 36th International Conference on Software Engineering
May 2014
741 pages
ISBN:9781450327688
DOI:10.1145/2591062
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

In-Cooperation

  • TCSE: IEEE Computer Society's Tech. Council on Software Engin.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 31 May 2014

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. Deadlock prediction and avoidance
  2. Global static analysis

Qualifiers

  • Article

Conference

ICSE '14
Sponsor:

Acceptance Rates

Overall Acceptance Rate 276 of 1,856 submissions, 15%

Upcoming Conference

ICSE 2025

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)4
  • Downloads (Last 6 weeks)0
Reflects downloads up to 20 Jan 2025

Other Metrics

Citations

Cited By

View all
  • (2021)Automated Deadlock Detection for Large Java LibrariesDistributed Computing and Internet Technology10.1007/978-3-030-65621-8_8(129-144)Online publication date: 7-Jan-2021
  • (2020)Dynamic Budget-Total Need Based Resource Reservation TechniqueSmart Science10.1080/23080477.2020.17782268:2(61-70)Online publication date: 17-Jun-2020

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media