From owner-freebsd-smp  Tue Nov 23 12:24:17 1999
Delivered-To: freebsd-smp@freebsd.org
Received: from cs.rice.edu (cs.rice.edu [128.42.1.30])
	by hub.freebsd.org (Postfix) with ESMTP id 07029153CD
	for <freebsd-smp@freebsd.org>; Tue, 23 Nov 1999 12:23:59 -0800 (PST)
	(envelope-from alc@cs.rice.edu)
Received: (from alc@localhost)
	by cs.rice.edu (8.9.0/8.9.0) id OAA05564;
	Tue, 23 Nov 1999 14:22:54 -0600 (CST)
Date: Tue, 23 Nov 1999 14:22:53 -0600
From: Alan Cox <alc@cs.rice.edu>
To: Alfred Perlstein <bright@wintelcom.net>
Cc: Matthew Dillon <dillon@apollo.backplane.com>,
	Poul-Henning Kamp <phk@critter.freebsd.dk>,
	Peter Wemm <peter@netplex.com.au>,
	Tommy Hallgren <thallgren@yahoo.com>, freebsd-smp@freebsd.org
Subject: Re: Matt's new unlock optimiazation
Message-ID: <19991123142253.M27120@cs.rice.edu>
References: <199911231901.LAA10726@apollo.backplane.com> <Pine.BSF.4.21.9911231156020.4557-100000@fw.wintelcom.net>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Mailer: Mutt 0.95.5us
In-Reply-To: <Pine.BSF.4.21.9911231156020.4557-100000@fw.wintelcom.net>; from Alfred Perlstein on Tue, Nov 23, 1999 at 12:02:01PM -0800
Sender: owner-freebsd-smp@FreeBSD.ORG
Precedence: bulk
X-Loop: FreeBSD.org

I would *strongly* recommend that everyone interested in low-level SMP
issues read http://rsim.cs.uiuc.edu/~sadve/Publications/models_tutorial.ps.
This is a tutorial on memory consistency models (with lots
of examples) from IEEE Computer.

The Intel note that Matt referred to describes a lot of detail
about the model implemented by the x86, but in the end says,
for all practical purposes, you should treat the x86 as though
it implements processor-ordering (or processor consistency).
The tutorial explains precisely what this means to you
as a programmer.

Alan


To Unsubscribe: send mail to majordomo@FreeBSD.org
with "unsubscribe freebsd-smp" in the body of the message