Deadlock detection runtime service for Embedded Linux | IEEE Conference Publication | IEEE Xplore

Deadlock detection runtime service for Embedded Linux


Abstract:

Deadlocks are a common problem that might arise when dealing with parallel processes or multiple threads, where locks are used to handle shared resources and implement pr...Show More

Abstract:

Deadlocks are a common problem that might arise when dealing with parallel processes or multiple threads, where locks are used to handle shared resources and implement process synchronization. Commonly used methods for handling deadlocks within systems are (i) deadlock detection, (ii) deadlock prevention, or (iii) deadlock avoidance. Most existing static and dynamic deadlock detection tools focus on specific lock class types (e.g., pthread locks) and require an instrumentation of the code. This paper proposes a library termed dpthread - a dynamic deadlock detection wrapper library that avoids code instrumentation. The library wraps the pthread library and provides the ability to register additional lock classes. In essence, it builds up a resource allocation graph and searches this graph using the Tarjan algorithm. An evaluation of the dpthread library using various well known deadlock scenarios revealed that deadlocks can be reliably detected without reporting false positives or negatives. The library by itself incurs only a small performance penalty and comes with a small memory footprint.
Date of Conference: 08-11 September 2015
Date Added to IEEE Xplore: 26 October 2015
ISBN Information:

ISSN Information:

Conference Location: Luxembourg, Luxembourg

Contact IEEE to Subscribe

References

References is not available for this document.