TU Darmstadt / ULB / TUbiblio

SyncProf: detecting, localizing, and optimizing synchronization bottlenecks

Yu, Tingting and Pradel, Michael (2016):
SyncProf: detecting, localizing, and optimizing synchronization bottlenecks.
In: ISSTA 2016 Proceedings of the 25th International Symposium on Software Testing and Analysis, ACM, Saarbrücken, Germany, ISBN 978-1-4503-4390-9,
DOI: 10.1145/2931037.2931070,
[Conference or Workshop Item]

Abstract

Writing concurrent programs is a challenge because developers must consider both functional correctness and performance requirements. Numerous program analyses and testing techniques have been proposed to detect functional faults, e.g., caused by incorrect synchronization. However, little work has been done to help developers address performance problems in concurrent programs, e.g., because of inefficient synchronization. This paper presents SyncProf, a concurrency-focused profiling approach that helps in detecting, localizing, and optimizing synchronization bottlenecks. In contrast to traditional profilers, SyncProf repeatedly executes a program with various inputs and summarizes the observed performance behavior. A key novelty is a graph-based representation of relations between critical sections, which is the basis for computing the performance impact of critical sections, for identifying the root cause of a bottleneck, and for suggesting optimization strategies to the developer. We evaluate SyncProf on 19 versions of eight C/C++ projects with both known and previously unknown synchronization bottlenecks. The results show that SyncProf effectively localizes the root causes of these bottlenecks with higher precision than a state of the art lock contention profiler and that it suggests valuable strategies to avoid the bottlenecks.

Item Type: Conference or Workshop Item
Erschienen: 2016
Creators: Yu, Tingting and Pradel, Michael
Title: SyncProf: detecting, localizing, and optimizing synchronization bottlenecks
Language: German
Abstract:

Writing concurrent programs is a challenge because developers must consider both functional correctness and performance requirements. Numerous program analyses and testing techniques have been proposed to detect functional faults, e.g., caused by incorrect synchronization. However, little work has been done to help developers address performance problems in concurrent programs, e.g., because of inefficient synchronization. This paper presents SyncProf, a concurrency-focused profiling approach that helps in detecting, localizing, and optimizing synchronization bottlenecks. In contrast to traditional profilers, SyncProf repeatedly executes a program with various inputs and summarizes the observed performance behavior. A key novelty is a graph-based representation of relations between critical sections, which is the basis for computing the performance impact of critical sections, for identifying the root cause of a bottleneck, and for suggesting optimization strategies to the developer. We evaluate SyncProf on 19 versions of eight C/C++ projects with both known and previously unknown synchronization bottlenecks. The results show that SyncProf effectively localizes the root causes of these bottlenecks with higher precision than a state of the art lock contention profiler and that it suggests valuable strategies to avoid the bottlenecks.

Title of Book: ISSTA 2016 Proceedings of the 25th International Symposium on Software Testing and Analysis
Number: 25
Publisher: ACM
ISBN: 978-1-4503-4390-9
Uncontrolled Keywords: Testing, Concurrency, Performance Bottlenecks
Divisions: Profile Areas
Profile Areas > Cybersecurity (CYSEC)
Event Location: Saarbrücken, Germany
Date Deposited: 10 Aug 2017 15:18
DOI: 10.1145/2931037.2931070
Identification Number: TUD-CS-2016-14759
Export:
Suche nach Titel in: TUfind oder in Google

Optionen (nur für Redakteure)

View Item View Item