Skip site navigation (1)Skip section navigation (2)
Date:      Sun, 18 Dec 2011 10:28:48 -0500
From:      Christoph Hellwig <hch@infradead.org>
To:        Poul-Henning Kamp <phk@phk.freebsd.dk>
Cc:        Kostik Belousov <kostikbel@gmail.com>, arch@freebsd.org, threads@freebsd.org, Ed Schouten <ed@80386.nl>
Subject:   Re: [Patch] C1X threading support
Message-ID:  <20111218152848.GA460@infradead.org>
In-Reply-To: <85477.1324155737@critter.freebsd.dk>
References:  <20111216223126.GX50300@deviant.kiev.zoral.com.ua> <85477.1324155737@critter.freebsd.dk>

next in thread | previous in thread | raw e-mail | index | archive | help
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.




Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20111218152848.GA460>