Auto-detecting Sleeping Lock Calls in Non-preemptible Context via Static Analysis

Explore an in-depth conference talk on auto-detecting sleeping lock calls in non-preemptible contexts through static analysis techniques. Delve into the intricacies of kernel development as presenter Tomas GLOZAR discusses innovative methods for identifying potential deadlock scenarios in Linux systems. Learn about the challenges of maintaining code integrity in non-preemptible environments and discover how static analysis tools can be leveraged to enhance system stability and performance. Gain valuable insights into advanced debugging strategies and best practices for kernel programmers working on critical sections of the Linux operating system.