From owner-freebsd-threads@FreeBSD.ORG  Sun Dec 18 15:28:53 2011
Return-Path: <owner-freebsd-threads@FreeBSD.ORG>
Delivered-To: threads@freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:4f8:fff6::34])
	by hub.freebsd.org (Postfix) with ESMTP id E4240106566B;
	Sun, 18 Dec 2011 15:28:53 +0000 (UTC) (envelope-from
	BATV+6695f58bc8be10e6006b+3038+infradead.org+hch@bombadil.srs.infradead.org)
Received: from bombadil.infradead.org (bombadil.infradead.org
	[IPv6:2001:4830:2446:ff00:4687:fcff:fea6:5117])
	by mx1.freebsd.org (Postfix) with ESMTP id 89A958FC16;
	Sun, 18 Dec 2011 15:28:53 +0000 (UTC)
Received: from hch by bombadil.infradead.org with local (Exim 4.76 #1 (Red Hat
	Linux)) id 1RcIfQ-0000eS-Pf; Sun, 18 Dec 2011 15:28:48 +0000
Date: Sun, 18 Dec 2011 10:28:48 -0500
From: Christoph Hellwig <hch@infradead.org>
To: Poul-Henning Kamp <phk@phk.freebsd.dk>
Message-ID: <20111218152848.GA460@infradead.org>
References: <20111216223126.GX50300@deviant.kiev.zoral.com.ua>
	<85477.1324155737@critter.freebsd.dk>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <85477.1324155737@critter.freebsd.dk>
User-Agent: Mutt/1.5.21 (2010-09-15)
X-SRS-Rewrite: SMTP reverse-path rewritten from <hch@infradead.org> by
	bombadil.infradead.org See http://www.infradead.org/rpr.html
Cc: arch@freebsd.org, threads@freebsd.org, Ed Schouten <ed@80386.nl>
Subject: Re: [Patch] C1X threading support
X-BeenThere: freebsd-threads@freebsd.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: Threading on FreeBSD <freebsd-threads.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-threads>, 
	<mailto:freebsd-threads-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/freebsd-threads>
List-Post: <mailto:freebsd-threads@freebsd.org>
List-Help: <mailto:freebsd-threads-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-threads>,
	<mailto:freebsd-threads-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Sun, 18 Dec 2011 15:28:54 -0000

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.