Date: Thu, 17 Oct 2002 11:32:05 -0400 (EDT) From: Andrew Gallatin <gallatin@cs.duke.edu> To: hiten@uk.FreeBSD.org Cc: freebsd-smp@freebsd.org Subject: Re: MP synchronization rules documentation?? Message-ID: <15790.55285.662796.514858@grasshopper.cs.duke.edu> In-Reply-To: <20021017152013.78397.qmail@web21104.mail.yahoo.com> References: <15790.54204.265656.241333@grasshopper.cs.duke.edu> <20021017152013.78397.qmail@web21104.mail.yahoo.com>
next in thread | previous in thread | raw e-mail | index | archive | help
Hiten Pandya writes: > --- 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. Thanks, that helps somewhat. I wonder if anything has changed in the last 2 years.. Drew 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?15790.55285.662796.514858>