Главная
Study mode:
on
1
Introduction
2
Outline
3
Log ordering consistencies
4
Existing solutions
5
Goals
6
Why intrusive
7
Bootstrap concepts
8
Tracking recursive locks
9
Tracking nonstandard threads
10
File system
11
Algorithm
12
Disclaimer
13
Graphs
14
Potential deadlock
15
Limitations
16
Future plans
17
Experiments
18
Events
19
Bundled Events
20
Generated Events
21
Use Cases
22
Comments Questions
Description:
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

CppNow
Add to list
0:00 / 0:00