Automatic detection of synchronization errors in codes that target the Open Community Runtime
Abstract
The complexity of writing and debugging parallel programs makes tools that can support this effort very important. In the case of the Open Community Runtime, one major problem is ensuring that the program manages runtime objects correctly. For example, when one task uses an object and another task is responsible for deleting the object, the tasks need to be synchronized to ensure that the object is only destroyed once it is no longer being used. In this paper, we present a tool which observes program execution and analyzes it in order to find cases where the required synchronization is missing.
Top- Dokulil, Jiri
- Katreniakova, Jana
Shortfacts
Category |
Paper in Conference Proceedings or in Workshop Proceedings (Paper) |
Event Title |
24th International Conference on Parallel and Distributed Computing (Euro-Par 2018) |
Divisions |
Scientific Computing |
Subjects |
Theoretische Informatik Parallele Datenverarbeitung |
Event Location |
Turin, Italy |
Event Type |
Conference |
Event Dates |
27-31 Aug 2018 |
Series Name |
Euro-Par 2018: Parallel Processing |
ISSN/ISBN |
978-3-319-96983-1 |
Page Range |
pp. 3-15 |
Date |
August 2018 |
Export |