</ul>
</div>
+<div class="slide">
+ <h1>User-space lockdep [3.14]</h1>
+ <ul>
+ <li>
+ Kernel threads and interrupts all run in same address space,
+ using several different synchronisation mechanisms
+ </li>
+ <li>
+ Easy to introduce bugs that can result in deadlock, but hard to
+ reproduce them
+ </li>
+ <li>
+ Kernel's 'lockdep' system dynamically tracks locking operations
+ and detects <em>potential</em> deadlocks
+ </li>
+ <li>
+ Now available as a userland library! Except we need to package
+ it (build from linux-tools source package)
+ </li>
+ </ul>
+</div>
+
<div class="slide">
<h1>Questions?</h1>
</div>