Date: Thu, 17 Oct 2002 16:20:13 +0100 (BST) From: =?iso-8859-1?q?Hiten=20Pandya?= <hitmaster2k@yahoo.com> To: Andrew Gallatin <gallatin@cs.duke.edu>, freebsd-smp@freebsd.org Subject: Re: MP synchronization rules documentation?? Message-ID: <20021017152013.78397.qmail@web21104.mail.yahoo.com> In-Reply-To: <15790.54204.265656.241333@grasshopper.cs.duke.edu>
next in thread | previous in thread | raw e-mail | index | archive | help
--- Andrew Gallatin <gallatin@cs.duke.edu> 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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20021017152013.78397.qmail>