From owner-freebsd-smp Thu Oct 17 8:20:15 2002 Delivered-To: freebsd-smp@freebsd.org Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125]) by hub.freebsd.org (Postfix) with ESMTP id 4C00F37B404 for ; Thu, 17 Oct 2002 08:20:14 -0700 (PDT) Received: from web21104.mail.yahoo.com (web21104.mail.yahoo.com [216.136.227.106]) by mx1.FreeBSD.org (Postfix) with SMTP id D8AB343E6E for ; Thu, 17 Oct 2002 08:20:13 -0700 (PDT) (envelope-from hitmaster2k@yahoo.com) Message-ID: <20021017152013.78397.qmail@web21104.mail.yahoo.com> Received: from [62.254.0.5] by web21104.mail.yahoo.com via HTTP; Thu, 17 Oct 2002 16:20:13 BST Date: Thu, 17 Oct 2002 16:20:13 +0100 (BST) From: =?iso-8859-1?q?Hiten=20Pandya?= Reply-To: hiten@uk.FreeBSD.org Subject: Re: MP synchronization rules documentation?? To: Andrew Gallatin , freebsd-smp@freebsd.org In-Reply-To: <15790.54204.265656.241333@grasshopper.cs.duke.edu> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit Sender: owner-freebsd-smp@FreeBSD.ORG Precedence: bulk List-ID: List-Archive: (Web Archive) List-Help: (List Instructions) List-Subscribe: List-Unsubscribe: X-Loop: FreeBSD.org --- Andrew Gallatin wrote: > > Are the synchronization rules for FreeBSD-current documented anywhere > other than mutex(9)? > http://people.FreeBSD.org/~jasone/smp/smp_synch_rules.html looks > promising, but it seems to be dead. > > I'm asking because I've just been porting my $day_job's device driver > to -current. At first, I thought the synchronization primitives would > be a direct port from Solaris, but we (FreeBSD) seem to make a few > assumptions that other OSes don't. > > Are the following assumptions currently true? > > 1) you cannot sleep holding a mutex, even if you know damned well its safe > 2) you cannot hold any mutex other than Giant if you're holding Giant > > Are there other assumptions that are not documented in mutex(9)? http://www.unixdaemons.com/~hiten/docs/smp_synch_rules.html, is the doc, which @jasone wrote. I have been archiving his docs. You can also get the freebsd kse paper from: http://www.unixdaemons.com/~hiten/docs/freebsd_kse.pdf Hope that helps. -- Hiten Pandya __________________________________________________ Do You Yahoo!? Everything you'll ever need on one web page from News and Sport to Email and Music Charts http://uk.my.yahoo.com To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-smp" in the body of the message