research-article

Omen+: a precise dynamic deadlock detector for multithreaded Java libraries

Authors:

Malavika Samak,

Murali Krishna RamanathanAuthors Info & Claims

FSE 2014: Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering

Pages 735 - 738

https://doi.org/10.1145/2635868.2661670

Published: 11 November 2014 Publication History

Get Access

Abstract

Designing thread-safe libraries without concurrency defects can be a challenging task. Detecting deadlocks while invoking methods in these libraries concurrently is hard due to the possible number of method invocation combinations, the object assignments to the parameters and the associated thread interleavings. In this paper, we describe the design and implementation of OMEN+ that takes a multithreaded library as the input and detects true deadlocks in a scalable manner. We achieve this by automatically synthesizing relevant multithreaded tests and analyze the associated execution traces using a precise deadlock detector. We validate the usefulness of OMEN+ by applying it on many multithreaded Java libraries and detect a number of deadlocks even in documented thread-safe libraries. The tool is available for free download at http://www.csa.iisc.ernet.in/~sss/tool/omenplus.html.

References

[1]

Y. Cai and W. K. Chan. Magicfuzzer: Scalable deadlock detection for large-scale applications. ICSE 2012.

Digital Library

Google Scholar

[2]

P. Joshi, C.-S. Park, K. Sen, and M. Naik. A randomized dynamic program analysis technique for detecting real deadlocks. PLDI ’09.

Digital Library

Google Scholar

[3]

C. Pacheco and M. D. Ernst. Randoop: Feedback -directed random testing for java. OOPSLA ’07.

Digital Library

Google Scholar

[4]

M. Pradel and T. R. Gross. Fully automatic and precise detection of thread safety violations. PLDI ’12.

Digital Library

Google Scholar

[5]

M. Samak and M. K. Ramanathan. Multithreaded test synthesis for deadlock detection. OOPSLA ’14.

Digital Library

Google Scholar

[6]

M. Samak and M. K. Ramanathan. Trace driven dynamic deadlock detection and reproduction. PPoPP ’14.

Digital Library

Google Scholar

[7]

R. Vallee-Rai, E. Gagnon, L. Hendren, P. Lam, P. Pominville, and V. Sundaresan. Optimizing java bytecode using the soot framework: Is it feasible? In CC, 2000.

Digital Library

Google Scholar

[8]

A. Williams, W. Thies, and M. D. Ernst. Static deadlock detection for java libraries. In ECOOP’05.

Digital Library

Google Scholar

Cited By

View all

Terragni VPezzè M(2021)Statically driven generation of concurrent tests for thread‐safe classesSoftware Testing, Verification and Reliability10.1002/stvr.177431:4Online publication date: 4-May-2021
https://doi.org/10.1002/stvr.1774
Terragni VPezze MBianchi F(2019)Coverage-Driven Test Generation for Thread-Safe Classes via Parallel and Conflict Dependencies2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST)10.1109/ICST.2019.00034(264-275)Online publication date: Apr-2019
https://doi.org/10.1109/ICST.2019.00034
Bo LJiang SQian JWang RWang X(2019)Efficient Test Case Generation for Thread-Safe ClassesIEEE Access10.1109/ACCESS.2019.29015887(26984-26995)Online publication date: 2019
https://doi.org/10.1109/ACCESS.2019.2901588
Show More Cited By

Index Terms

Omen+: a precise dynamic deadlock detector for multithreaded Java libraries

Recommendations

Multithreaded test synthesis for deadlock detection
OOPSLA '14: Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications

Designing and implementing thread-safe multithreaded libraries can be a daunting task as developers of these libraries need to ensure that their implementations are free from concurrency bugs, including deadlocks. The usual practice involves employing ...
Multithreaded test synthesis for deadlock detection
OOPSLA '14

Designing and implementing thread-safe multithreaded libraries can be a daunting task as developers of these libraries need to ensure that their implementations are free from concurrency bugs, including deadlocks. The usual practice involves employing ...
Static lock capabilities for deadlock freedom
TLDI '12: Proceedings of the 8th ACM SIGPLAN workshop on Types in language design and implementation

We present a technique --- lock capabilities --- for statically verifying that multithreaded programs with locks will not deadlock. Most previous work on deadlock prevention requires a strict total order on all locks held simultaneously by a thread, but ...

Comments

Information & Contributors

Information

Published In

FSE 2014: Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering

November 2014

856 pages

ISBN:9781450330565

DOI:10.1145/2635868

General Chair:
Shing-Chi Cheung
Hong Kong University of Science and Technology, China
,
Program Chairs:
Alessandro Orso
Georgia Institute of Technology, USA
,
Margaret-Anne Storey
University of Victoria, Canada

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]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 11 November 2014

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

SIGSOFT/FSE'14

Sponsor:

SIGSOFT

SIGSOFT/FSE'14: 22nd ACM SIGSOFT Symposium on the Foundations of Software Engineering

November 16 - 21, 2014

Hong Kong, China

Acceptance Rates

Overall Acceptance Rate 17 of 128 submissions, 13%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

9
Total Citations
View Citations
209
Total Downloads

Downloads (Last 12 months)1
Downloads (Last 6 weeks)0

Reflects downloads up to 25 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Terragni VPezzè M(2021)Statically driven generation of concurrent tests for thread‐safe classesSoftware Testing, Verification and Reliability10.1002/stvr.177431:4Online publication date: 4-May-2021
https://doi.org/10.1002/stvr.1774
Terragni VPezze MBianchi F(2019)Coverage-Driven Test Generation for Thread-Safe Classes via Parallel and Conflict Dependencies2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST)10.1109/ICST.2019.00034(264-275)Online publication date: Apr-2019
https://doi.org/10.1109/ICST.2019.00034
Bo LJiang SQian JWang RWang X(2019)Efficient Test Case Generation for Thread-Safe ClassesIEEE Access10.1109/ACCESS.2019.29015887(26984-26995)Online publication date: 2019
https://doi.org/10.1109/ACCESS.2019.2901588
Emmi MEnea C(2019)Violat: Generating Tests of Observational Refinement for Concurrent ObjectsComputer Aided Verification10.1007/978-3-030-25543-5_30(534-546)Online publication date: 12-Jul-2019
https://doi.org/10.1007/978-3-030-25543-5_30
Terragni VPezzè MHuchard MKästner CFraser G(2018)Effectiveness and challenges in generating concurrent tests for thread-safe classesProceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering10.1145/3238147.3238224(64-75)Online publication date: 3-Sep-2018
https://dl.acm.org/doi/10.1145/3238147.3238224
Lin ZZhong HChen YZhao JLo DApel SKhurshid S(2016)LockPeeker: detecting latent locks in Java APIsProceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering10.1145/2970276.2970355(368-378)Online publication date: 25-Aug-2016
https://dl.acm.org/doi/10.1145/2970276.2970355
Terragni VCheung SDillon LVisser WWilliams L(2016)Coverage-driven test code generation for concurrent classesProceedings of the 38th International Conference on Software Engineering10.1145/2884781.2884876(1121-1132)Online publication date: 14-May-2016
https://dl.acm.org/doi/10.1145/2884781.2884876
Samak MRamanathan MDi Nitto EHarman MHeymans P(2015)Synthesizing tests for detecting atomicity violationsProceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering10.1145/2786805.2786874(131-142)Online publication date: 30-Aug-2015
https://dl.acm.org/doi/10.1145/2786805.2786874
Lin ZMarinov DZhong HChen YZhao JCohen MGrunske LWhalen M(2015)JaConTeBeProceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering10.1109/ASE.2015.87(178-189)Online publication date: 9-Nov-2015
https://dl.acm.org/doi/10.1109/ASE.2015.87

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Abstract

References

Cited By

Index Terms

Recommendations

Multithreaded test synthesis for deadlock detection

Multithreaded test synthesis for deadlock detection

Static lock capabilities for deadlock freedom

Comments

Information

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Conference

Acceptance Rates

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Login options

Full Access

View options

PDF

eReader

Share

Share this Publication link

Share on social media

Affiliations