Date: Tue, 13 Mar 2007 21:55:48 -0700 From: Julian Elischer <julian@elischer.org> To: Pawel Jakub Dawidek <pjd@FreeBSD.org> Cc: Robert Watson <rwatson@FreeBSD.org>, current@freebsd.org Subject: Re: [RFC] locking.9 Message-ID: <45F78054.7020203@elischer.org> In-Reply-To: <20070314043839.GC6013@garage.freebsd.pl> References: <200703092241.l29Mf2Ds062856@repoman.freebsd.org> <200703121535.22140.jhb@freebsd.org> <20070312200345.GB5688@garage.freebsd.pl> <200703121618.41084.jhb@freebsd.org> <45F5E1F9.5090806@elischer.org> <20070313010309.Q25395@fledge.watson.org> <45F73AE7.6010508@elischer.org> <45F771E2.9050709@elischer.org> <20070314042926.GA6013@garage.freebsd.pl> <20070314043839.GC6013@garage.freebsd.pl>
next in thread | previous in thread | raw e-mail | index | archive | help
Pawel Jakub Dawidek wrote: > On Wed, Mar 14, 2007 at 05:29:26AM +0100, Pawel Jakub Dawidek wrote: >> On Tue, Mar 13, 2007 at 08:54:10PM -0700, Julian Elischer wrote: >>> Julian Elischer wrote: >>> >>>> ok so how about I commit this to get us started and the nroff and >>>> locking experts can take it from there. >>> The first table I think may look like this (from quick reading.. but I may be wrong): >>> >>> >>> The following table shows what you can and can not do if you hold one of >>> the synchronisation primatives discussed here: (someone who knows what >>> they are talking about should write this table) >> I think it should be: >> >>> You have: You want: Spin_mtx Slp_mtx sx_lock rw_lock sleep >>> SPIN mutex ok no no no no-3 >>> Sleep mutex ok ok-1 no ok no-3 >>> sx_lock ok no ?? no ok-4 >> sx_lock ok ok ok-2 ok ok >>> rw_lock ok no no ok-2 no-3 >> rw_lock ok ok no ok-2 no > > I'd also add: > > You're in: You want: Spin_mtx Slp_mtx sx_lock rw_lock sleep > interrupt\ ok no no no no > context > I checked it in.. go for it! :-)
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?45F78054.7020203>