Article

A classification of concurrency bugs in java benchmarks by developer intent

Authors:

M. Erkan Keremoglu,

Serdar Tasiran,

Tayfun ElmasAuthors Info & Claims

PADTAD '06: Proceedings of the 2006 workshop on Parallel and distributed systems: testing and debugging

Pages 23 - 26

https://doi.org/10.1145/1147403.1147407

Published: 17 July 2006 Publication History

Get Access

Abstract

This work addresses the issue of selecting the formal correctness criterion for a concurrent Java program that best corresponds to the developer's intent. We study a set of concurrency-related bugs detected in Java benchmarks reported in the literature. On these programs, we determine whether race-freedom, atomicity or refinement is the simplest and most appropriate criterion for program correctness. Our purpose is to demonstrate empirically the fact that the appropriate fix for a concurrency error and the selection of a program analysis tool for detecting such an error must be based on the proper expression of the designer's intent using a formal correctness criterion.

References

[1]

Mayur Naik, Alex Aiken, and John Whaley. Effective Static Race Detection for Java. To appear in the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI¿06), Ottawa, Canada, June 2006.

Digital Library

Google Scholar

[2]

R.H.B. Netzer, B.P.Miller. What are Race Conditions? - Some Issues and Formalizations. ACM Letters on Prog. Languages and Systems, Vol. 1(1) (1992).

Digital Library

Google Scholar

[3]

Manson, J., Pugh, W., and Adve, S. V. The Java memory model. In Proc. of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. POPL¿05. ACM Press, New York, NY, 378--391.

Digital Library

Google Scholar

[4]

T. Elmas, S. Tasiran, S. Qadeer. VYRD: VerifYing Concurrent Programs by Runtime Refinement-Violation Detection. ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation (PLDI), Chicago, Illinois, USA, June 12-15, 2005.

Digital Library

Google Scholar

[5]

C. Flanagan and S. N. Freund. Atomizer: A dynamic atomicity checker for multithreaded programs. In Proc. 31st ACM Symposium on Principles of Programming Languages, pp. 256--267, 2004.

Digital Library

Google Scholar

[6]

Eitan Farchi, Yarden Nir, Shmuel Ur. Concurrent Bug Patterns and How to Test Them. 17th In Proc. of the Int. Parallel and Distributed Processing Symposium (IPDPS 2003), April 2003, France, page 286.

Digital Library

Google Scholar

Cited By

View all

Qadeer STasiran S(2012)Runtime verification of concurrency-specific correctness criteriaInternational Journal on Software Tools for Technology Transfer (STTT)10.5555/3115971.311616614:3(291-305)Online publication date: 1-Jun-2012
https://dl.acm.org/doi/10.5555/3115971.3116166
Tasiran SKeremoğlu MMuşlu K(2012)Location pairsEmpirical Software Engineering10.1007/s10664-011-9166-817:3(129-165)Online publication date: 1-Jun-2012
https://dl.acm.org/doi/10.1007/s10664-011-9166-8
Qadeer STasiran S(2011)Runtime verification of concurrency-specific correctness criteriaInternational Journal on Software Tools for Technology Transfer10.1007/s10009-011-0210-114:3(291-305)Online publication date: 14-Aug-2011
https://doi.org/10.1007/s10009-011-0210-1
Show More Cited By

Index Terms

A classification of concurrency bugs in java benchmarks by developer intent

Recommendations

Finding concurrency-related bugs using random isolation

This paper concerns automatically verifying safety properties of concurrent programs. In our work, the safety property of interest is to check for multi-location data races in concurrent Java programs, where a multi-location data race arises when a ...
Runtime verification of concurrency-specific correctness criteria

We give an overview of correctness criteria specific to concurrent shared-memory programs and runtime verification techniques for verifying these criteria. We cover a spectrum of criteria, from ones focusing on low-level thread interference such as ...
Static analysis of atomicity for programs with non-blocking synchronization
PPoPP '05: Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming

In concurrent programming, non-blocking synchronization is very efficient but difficult to design correctly. This paper presents a static analysis to show that code blocks are atomic, i.e., that every execution of the program is equivalent to one in ...

Comments

Information & Contributors

Information

Published In

PADTAD '06: Proceedings of the 2006 workshop on Parallel and distributed systems: testing and debugging

July 2006

84 pages

ISBN:1595934146

DOI:10.1145/1147403

Program Chairs:
Shmuel Ur
IBM Haifa Research Center
,
Eitan Farchi
IBM Haifa Research Center

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: 17 July 2006

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

ISSTA06

Sponsor:

ISSTA06: International Symposium on Software Testing and Analysis 2006

July 17, 2006

Maine, Portland, USA

Upcoming Conference

ISSTA '25

Sponsor:
sigsoft

34th ACM SIGSOFT International Symposium on Software Testing and Analysis

June 25 - 28, 2025

Trondheim , Norway

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
372
Total Downloads

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

Reflects downloads up to 22 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Qadeer STasiran S(2012)Runtime verification of concurrency-specific correctness criteriaInternational Journal on Software Tools for Technology Transfer (STTT)10.5555/3115971.311616614:3(291-305)Online publication date: 1-Jun-2012
https://dl.acm.org/doi/10.5555/3115971.3116166
Tasiran SKeremoğlu MMuşlu K(2012)Location pairsEmpirical Software Engineering10.1007/s10664-011-9166-817:3(129-165)Online publication date: 1-Jun-2012
https://dl.acm.org/doi/10.1007/s10664-011-9166-8
Qadeer STasiran S(2011)Runtime verification of concurrency-specific correctness criteriaInternational Journal on Software Tools for Technology Transfer10.1007/s10009-011-0210-114:3(291-305)Online publication date: 14-Aug-2011
https://doi.org/10.1007/s10009-011-0210-1
Eytani YTzoref RUr S(2008)Experience with a Concurrency Bugs BenchmarkProceedings of the 2008 IEEE International Conference on Software Testing Verification and Validation Workshop10.1109/ICSTW.2008.17(379-384)Online publication date: 9-Apr-2008
https://dl.acm.org/doi/10.1109/ICSTW.2008.17

View Options

Get Access

Login options

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

Cited By

Index Terms

Recommendations

Finding concurrency-related bugs using random isolation

Runtime verification of concurrency-specific correctness criteria

Static analysis of atomicity for programs with non-blocking synchronization

Comments

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Conference

Upcoming Conference

Other Metrics

Article Metrics

Other Metrics

Cited By

Login options

Full Access

PDF

eReader

Abstract

References

Cited By

Index Terms

Recommendations

Finding concurrency-related bugs using random isolation

Runtime verification of concurrency-specific correctness criteria

Static analysis of atomicity for programs with non-blocking synchronization

Comments

Information

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Conference

Upcoming Conference

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Get Access

Login options

Full Access

View options

PDF

eReader

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations