Article

Fault detection in multi-threaded c++ server applications

Authors:

Arndt Müehlenfeld,

Franz WotawaAuthors Info & Claims

PPoPP '07: Proceedings of the 12th ACM SIGPLAN symposium on Principles and practice of parallel programming

Pages 142 - 143

https://doi.org/10.1145/1229428.1229457

Published: 14 March 2007 Publication History

Get Access

Abstract

This paper describes experiments with the freely available tool Helgrind, results obtained by using it for debugging a server application comprising 500 kLOC. We present improvements to the run time analysis of C++ programs that result in a dramatic reduction of false warnings.

References

[1]

J.-D. Choi, K. Lee, A. Loginov, R. O'Callahan, V. Sarkar, and M. Sridharan. Efficient and precise datarace detection for multithreaded object-oriented programs. In PLDI, pages 258--269, 2002.

Digital Library

Google Scholar

[2]

J. J. Harrow. Runtime checking of multithreaded applications with visual threads. In K. Havelund, J. Penix, and W. Visser, editors, SPIN, volume 1885 of Lecture Notes in Computer Science, pages 331--342. Springer, 2000.

Digital Library

Google Scholar

[3]

N. Nethercote and J. Seward. Valgrind: A Program Supervision Framework. Electr. Notes Theor. Comput. Sci., 89(2), 2003.

Google Scholar

[4]

R. O'Callahan and J.-D. Choi. Hybrid dynamic data race detection. In ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pages 167--178. ACM, 2003.

Digital Library

Google Scholar

[5]

S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, and T. E. Anderson. Eraser: A Dynamic Data Race Detector for Multithreaded Programs. ACM Trans. Comput. Syst., 15(4):391--411, 1997.

Digital Library

Google Scholar

[6]

Y. Yu, T. Rodeheffer, and W. Chen. Racetrack: efficient detection of data race conditions via adaptive tracking. In A. Herbert and K. P. Birman, editors, SOSP, pages 221--234. ACM, 2005.

Digital Library

Google Scholar

Cited By

View all

Shi ZMathur UPavlogiannis ARoychoudhury APaiva AAbreu RStorey M(2024)Optimistic Prediction of Synchronization-Reversal Data RacesProceedings of the IEEE/ACM 46th International Conference on Software Engineering10.1145/3597503.3639099(1-13)Online publication date: 20-May-2024
https://dl.acm.org/doi/10.1145/3597503.3639099
Ang ZMathur U(2024)Predictive Monitoring with Strong Trace PrefixesComputer Aided Verification10.1007/978-3-031-65630-9_9(182-204)Online publication date: 25-Jul-2024
https://doi.org/10.1007/978-3-031-65630-9_9
Vinayagame RSaillard EThibault SNguyen VSergent M(2023)Rethinking Data Race Detection in MPI-RMA ProgramsProceedings of the SC '23 Workshops of The International Conference on High Performance Computing, Network, Storage, and Analysis10.1145/3624062.3624086(196-204)Online publication date: 12-Nov-2023
https://dl.acm.org/doi/10.1145/3624062.3624086
Show More Cited By

Index Terms

Fault detection in multi-threaded c++ server applications
1. Computing methodologies
  1. Parallel computing methodologies
    1. Parallel programming languages
2. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Software defect analysis
        Software testing and debugging
  2. Software notations and tools
    1. General programming languages
      1. Language types
        Parallel programming languages

Recommendations

Fault Detection in Multi-Threaded C++ Server Applications

Due to increasing demands in processing power on the one hand, but the physical limit on CPU clock speed on the other hand, multi-threaded programming is becoming more important in current applications. Unfortunately, multi-threaded programs are prone ...
Runtime race detection for multi-threaded C++ server applications
SE'07: Proceedings of the 25th conference on IASTED International Multi-Conference: Software Engineering

Multi-threaded programming is becoming more important, because physical limits prevent further speedup by increasing clock speed. Therefore, it is required to make use of multiple processors. Unfortunately, multi-threading is error-prone and hard to ...
On-the-fly race detection in multi-threaded programs
PADTAD '08: Proceedings of the 6th workshop on Parallel and distributed systems: testing, analysis, and debugging

Multi-core chips enable parallel processing for general purpose applications. Unfortunately, parallel programs may contain synchronization defects. Such defects are difficult to detect due to nondeterministic interleavings of parallel threads. Current ...

Comments

Information & Contributors

Information

Published In

PPoPP '07: Proceedings of the 12th ACM SIGPLAN symposium on Principles and practice of parallel programming

March 2007

284 pages

ISBN:9781595936028

DOI:10.1145/1229428

General Chair:
Katherine Yelick
UC Berkeley and Lawrence Berkeley National Lab., USA
,
Program Chair:
John Mellor-Crummey
Rice University, USA

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: 14 March 2007

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

PPoPP07

Sponsor:

PPoPP07: ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming

March 14 - 17, 2007

California, San Jose, USA

Acceptance Rates

PPoPP '07 Paper Acceptance Rate 22 of 65 submissions, 34%;

Overall Acceptance Rate 230 of 1,014 submissions, 23%

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

11
Total Citations
View Citations
335
Total Downloads

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

Reflects downloads up to 06 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Shi ZMathur UPavlogiannis ARoychoudhury APaiva AAbreu RStorey M(2024)Optimistic Prediction of Synchronization-Reversal Data RacesProceedings of the IEEE/ACM 46th International Conference on Software Engineering10.1145/3597503.3639099(1-13)Online publication date: 20-May-2024
https://dl.acm.org/doi/10.1145/3597503.3639099
Ang ZMathur U(2024)Predictive Monitoring with Strong Trace PrefixesComputer Aided Verification10.1007/978-3-031-65630-9_9(182-204)Online publication date: 25-Jul-2024
https://doi.org/10.1007/978-3-031-65630-9_9
Vinayagame RSaillard EThibault SNguyen VSergent M(2023)Rethinking Data Race Detection in MPI-RMA ProgramsProceedings of the SC '23 Workshops of The International Conference on High Performance Computing, Network, Storage, and Analysis10.1145/3624062.3624086(196-204)Online publication date: 12-Nov-2023
https://dl.acm.org/doi/10.1145/3624062.3624086
Thokair MZhang MMathur UViswanathan M(2023)Dynamic Race Detection with O(1) SamplesProceedings of the ACM on Programming Languages10.1145/35712387:POPL(1308-1337)Online publication date: 9-Jan-2023
https://dl.acm.org/doi/10.1145/3571238
Mathur UKini DViswanathan M(2018)What happens-after the first race? enhancing the predictive power of happens-before based dynamic race detectionProceedings of the ACM on Programming Languages10.1145/32765152:OOPSLA(1-29)Online publication date: 24-Oct-2018
https://dl.acm.org/doi/10.1145/3276515
Sakurai YArahori YGondow K(2018)[Research Paper] POI: Skew-Aware Parallel Race Detection2018 IEEE 18th International Working Conference on Source Code Analysis and Manipulation (SCAM)10.1109/SCAM.2018.00033(215-224)Online publication date: Sep-2018
https://doi.org/10.1109/SCAM.2018.00033
Lin PLiao CSchordan MKarlin I(2018)Runtime and Memory Evaluation of Data Race Detection ToolsLeveraging Applications of Formal Methods, Verification and Validation. Verification10.1007/978-3-030-03421-4_13(179-196)Online publication date: 30-Oct-2018
https://doi.org/10.1007/978-3-030-03421-4_13
Lai CYeh CHung S(2016)Fast Race Detection and Profiling Framework for Heterogeneous System2016 International Computer Symposium (ICS)10.1109/ICS.2016.0110(525-530)Online publication date: Dec-2016
https://doi.org/10.1109/ICS.2016.0110
Glatz BBeneder RHorauer MRauscher T(2015)Deadlock detection runtime service for Embedded Linux2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA)10.1109/ETFA.2015.7301437(1-7)Online publication date: Sep-2015
https://doi.org/10.1109/ETFA.2015.7301437
Kumar AGoodman PGoel ABrown ACachin Cvan Renesse R(2013)Behave or be watchedProceedings of the 9th Workshop on Hot Topics in Dependable Systems10.1145/2524224.2524234(1-6)Online publication date: 3-Nov-2013
https://dl.acm.org/doi/10.1145/2524224.2524234
Show More Cited By

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

Fault Detection in Multi-Threaded C++ Server Applications

Runtime race detection for multi-threaded C++ server applications

On-the-fly race detection in multi-threaded programs