From owner-freebsd-current@FreeBSD.ORG Wed Mar 14 04:38:49 2007 Return-Path: X-Original-To: current@freebsd.org Delivered-To: freebsd-current@FreeBSD.ORG Received: from mx1.freebsd.org (mx1.freebsd.org [69.147.83.52]) by hub.freebsd.org (Postfix) with ESMTP id 5C7EF16A401; Wed, 14 Mar 2007 04:38:49 +0000 (UTC) (envelope-from pjd@garage.freebsd.pl) Received: from mail.garage.freebsd.pl (arm132.internetdsl.tpnet.pl [83.17.198.132]) by mx1.freebsd.org (Postfix) with ESMTP id F11E913C45D; Wed, 14 Mar 2007 04:38:48 +0000 (UTC) (envelope-from pjd@garage.freebsd.pl) Received: by mail.garage.freebsd.pl (Postfix, from userid 65534) id A7ED2487FC; Wed, 14 Mar 2007 05:38:47 +0100 (CET) Received: from localhost (154.81.datacomsa.pl [195.34.81.154]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by mail.garage.freebsd.pl (Postfix) with ESMTP id 9EAAD487F7; Wed, 14 Mar 2007 05:38:42 +0100 (CET) Date: Wed, 14 Mar 2007 05:38:39 +0100 From: Pawel Jakub Dawidek To: Julian Elischer Message-ID: <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> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="w7PDEPdKQumQfZlR" Content-Disposition: inline In-Reply-To: <20070314042926.GA6013@garage.freebsd.pl> X-PGP-Key-URL: http://people.freebsd.org/~pjd/pjd.asc X-OS: FreeBSD 7.0-CURRENT i386 User-Agent: mutt-ng/devel-r804 (FreeBSD) X-Spam-Checker-Version: SpamAssassin 3.0.4 (2005-06-05) on mail.garage.freebsd.pl X-Spam-Level: X-Spam-Status: No, score=-2.6 required=3.0 tests=BAYES_00 autolearn=ham version=3.0.4 Cc: Robert Watson , current@freebsd.org Subject: Re: [RFC] locking.9 X-BeenThere: freebsd-current@freebsd.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: Discussions about the use of FreeBSD-current List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 14 Mar 2007 04:38:49 -0000 --w7PDEPdKQumQfZlR Content-Type: text/plain; charset=iso-8859-2 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable 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: > >=20 > > >ok so how about I commit this to get us started and the nroff and > > >locking experts can take it from there. > >=20 > > The first table I think may look like this (from quick reading.. but I = may be wrong): > >=20 > >=20 > > The following table shows what you can and can not do if you hold o= ne of > > the synchronisation primatives discussed here: (someone who knows w= hat > > they are talking about should write this table) >=20 > I think it should be: >=20 > > 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 --=20 Pawel Jakub Dawidek http://www.wheel.pl pjd@FreeBSD.org http://www.FreeBSD.org FreeBSD committer Am I Evil? Yes, I Am! --w7PDEPdKQumQfZlR Content-Type: application/pgp-signature Content-Disposition: inline -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (FreeBSD) iD8DBQFF93xPForvXbEpPzQRAuGNAKCzZEf0VcdzWcpZnZeVaKDRYjZ8uQCeM0/Z i41KogWIqQRWMLN+NL8ebOU= =Bm+S -----END PGP SIGNATURE----- --w7PDEPdKQumQfZlR--