2f18ade4ab
We can now check for deadlocks both pre-emptively and reactively. We can eventually add function vaddrs and even function names to our tracing code.