[LLVMdev] Multi-threading and mutexes in LLVM

[David Chisnall]

On 9 Jun 2014, at 10:19, Kostya Serebryany <kcc at google.com> wrote:

> tsan's deadlock detector (as well as helgrind and many other similar tools) detects lock order inversion, i.e. a situation which may potentially lead to a deadlock.

Yes, that's what WITNESS does in the FreeBSD kernel.  The line after the one you quoted mentioned the port of this to userspace pthreads.

David