Didi Tech
Sep 3, 2019 · Fundamentals
General Deadlock Prediction Algorithm for Linux Kernel Read‑Write Locks
The paper reverse‑engineers Linux’s Lockdep and introduces a universal deadlock prediction algorithm that treats mutexes as write‑locks of read‑write locks, using a two‑thread model and indirect‑dependency analysis to accurately detect potential deadlocks in complex rwlock scenarios.
ConcurrencyLinux kernelStatic Analysis
0 likes · 18 min read