A System for Resource Deadlock Prevention Using Intrusive Dynamic Analysis

Explore a system for preventing resource deadlocks using intrusive dynamic analysis in this 38-minute CppNow conference talk by Louis Dionne. Dive into the implementation of a framework that detects potential resource deadlocks before they occur, and learn how to integrate it into existing code. Discover the challenges of synchronizing access to shared data with mutexes and the difficulties in uncovering related bugs. Examine concepts such as log ordering consistencies, tracking recursive locks and nonstandard threads, and the algorithm behind the system. Discuss limitations, future plans, and potential evolution into a more general dynamic analysis framework for C++. Gain insights into experiments, event handling, and practical use cases. Ideal for programmers interested in multithreading and dynamic analysis techniques.

Introduction
Outline
Log ordering consistencies
Existing solutions
Goals
Why intrusive
Bootstrap concepts
Tracking recursive locks
Tracking nonstandard threads
File system
Algorithm
Disclaimer
Graphs
Potential deadlock
Limitations
Future plans
Experiments
Events
Bundled Events
Generated Events
Use Cases
Comments Questions