On Sat, Dec 17, 2011 at 09:02:17PM +0000, Poul-Henning Kamp wrote: > A "assert mutex is held" facility ? Or a full FreeBSD / Linux lockdep style lock order validation tool. I still don't understand how your are supposed to write correct userspace code using more than a hand full of synchronization primitives without that.