From owner-freebsd-smp Fri Oct 13 12:41:21 2000 Delivered-To: freebsd-smp@freebsd.org Received: from pike.osd.bsdi.com (pike.osd.bsdi.com [204.216.28.222]) by hub.freebsd.org (Postfix) with ESMTP id E236737B66D for ; Fri, 13 Oct 2000 12:41:19 -0700 (PDT) Received: from laptop.baldwin.cx (ether.osd.bsdi.com [204.216.28.196]) by pike.osd.bsdi.com (8.11.0/8.9.3) with ESMTP id e9DJew520199; Fri, 13 Oct 2000 12:40:58 -0700 (PDT) (envelope-from jhb@FreeBSD.org) Message-ID: X-Mailer: XFMail 1.4.0 on FreeBSD X-Priority: 3 (Normal) Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 8bit MIME-Version: 1.0 In-Reply-To: <20001013114942.E2593@wantadilla.lemis.com> Date: Fri, 13 Oct 2000 12:41:16 -0700 (PDT) From: John Baldwin To: Greg Lehey Subject: Re: New mutexes Cc: FreeBSD SMP list Cc: FreeBSD SMP list , Jason Evans Sender: owner-freebsd-smp@FreeBSD.ORG Precedence: bulk X-Loop: FreeBSD.org On 13-Oct-00 Greg Lehey wrote: >> On a related note (and perhaps the real answer you're looking for), John >> Baldwin and Chuck Paterson came up with an initial set of rules for kernel >> synchronization (subject to change), which is available at: >> >> http://people.freebsd.org/~jasone/smp/smp_synch_rules.html > > Yes, that's good stuff. That's the sort of thing I'm looking for, but > I hadn't heard of it before. It's only existed for all of 3-5 days. :) > I suppose we can talk more about this next week. Yes, most definitely. > Greg -- John Baldwin -- http://www.FreeBSD.org/~jhb/ PGP Key: http://www.baldwin.cx/~john/pgpkey.asc "Power Users Use the Power to Serve!" - http://www.FreeBSD.org/ To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-smp" in the body of the message