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.
A System for Resource Deadlock Prevention Using Intrusive Dynamic Analysis