Skip site navigation (1)Skip section navigation (2)
Date:      Thu, 17 Oct 2002 11:14:04 -0400 (EDT)
From:      Andrew Gallatin <gallatin@cs.duke.edu>
To:        freebsd-smp@freebsd.org
Subject:   MP synchronization rules documentation??
Message-ID:  <15790.54204.265656.241333@grasshopper.cs.duke.edu>

next in thread | raw e-mail | index | archive | help

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)?


Thanks,

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.54204.265656.241333>