Date: Wed, 14 Mar 2007 05:38:39 +0100 From: Pawel Jakub Dawidek <pjd@FreeBSD.org> To: Julian Elischer <julian@elischer.org> Cc: Robert Watson <rwatson@FreeBSD.org>, current@freebsd.org Subject: Re: [RFC] locking.9 Message-ID: <20070314043839.GC6013@garage.freebsd.pl> In-Reply-To: <20070314042926.GA6013@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>
next in thread | previous in thread | raw e-mail | index | archive | help
[-- Attachment #1 --]
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
--
Pawel Jakub Dawidek http://www.wheel.pl
pjd@FreeBSD.org http://www.FreeBSD.org
FreeBSD committer Am I Evil? Yes, I Am!
[-- Attachment #2 --]
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (FreeBSD)
iD8DBQFF93xPForvXbEpPzQRAuGNAKCzZEf0VcdzWcpZnZeVaKDRYjZ8uQCeM0/Z
i41KogWIqQRWMLN+NL8ebOU=
=Bm+S
-----END PGP SIGNATURE-----
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20070314043839.GC6013>