From owner-freebsd-current@FreeBSD.ORG  Fri Aug  6 18:50:14 2004
Return-Path: <owner-freebsd-current@FreeBSD.ORG>
Delivered-To: freebsd-current@freebsd.org
Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125])
	by hub.freebsd.org (Postfix) with ESMTP id CEA7216A4CF
	for <current@FreeBSD.org>; Fri,  6 Aug 2004 18:50:14 +0000 (GMT)
Received: from khavrinen.lcs.mit.edu (khavrinen.lcs.mit.edu [128.30.28.20])
	by mx1.FreeBSD.org (Postfix) with ESMTP id 7EEFA43D62
	for <current@FreeBSD.org>; Fri,  6 Aug 2004 18:50:14 +0000 (GMT)
	(envelope-from wollman@khavrinen.lcs.mit.edu)
Received: from khavrinen.lcs.mit.edu (localhost [IPv6:::1])
	by khavrinen.lcs.mit.edu (8.12.9/8.12.9) with ESMTP id i76IoC8g018011
	(version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256
	verify=OK CN=khavrinen.lcs.mit.edu issuer=SSL+20Client+20CA);
	Fri, 6 Aug 2004 14:50:13 -0400 (EDT)
	(envelope-from wollman@khavrinen.lcs.mit.edu)
Received: (from wollman@localhost)
	by khavrinen.lcs.mit.edu (8.12.9/8.12.9/Submit) id i76IoCgJ018008;
	Fri, 6 Aug 2004 14:50:12 -0400 (EDT)
	(envelope-from wollman)
Date: Fri, 6 Aug 2004 14:50:12 -0400 (EDT)
From: Garrett Wollman <wollman@khavrinen.lcs.mit.edu>
Message-Id: <200408061850.i76IoCgJ018008@khavrinen.lcs.mit.edu>
To: Ville-Pertti Keinonen <will+freebsd-current@will.iki.fi>
In-Reply-To: <41134185.1090105@will.iki.fi>
References: <20040805050422.GA41201@cat.robbins.dropbear.id.au>
	<200408051759.53079.jhb@FreeBSD.org>
	<4112B184.8010303@samsco.org>
	<20040806023055.GC20148@empiric.icir.org>
	<41134185.1090105@will.iki.fi>
X-Spam-Score: -19.8 ()
	IN_REP_TO,QUOTED_EMAIL_TEXT,REFERENCES,REPLY_WITH_QUOTES
X-Scanned-By: MIMEDefang 2.37
X-Mailman-Approved-At: Sat, 07 Aug 2004 12:04:29 +0000
cc: current@FreeBSD.org
Subject: Re: Atomic operations on i386/amd64
X-BeenThere: freebsd-current@freebsd.org
X-Mailman-Version: 2.1.1
Precedence: list
List-Id: Discussions about the use of FreeBSD-current
	<freebsd-current.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-current>,
	<mailto:freebsd-current-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/freebsd-current>
List-Post: <mailto:freebsd-current@freebsd.org>
List-Help: <mailto:freebsd-current-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-current>,
	<mailto:freebsd-current-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Fri, 06 Aug 2004 18:50:15 -0000

<<On Fri, 06 Aug 2004 11:29:57 +0300, Ville-Pertti Keinonen <will+freebsd-current@will.iki.fi> said:

> The idea of using self-modification to select locking modes (although 
> for optional preemption, SMP and debugging rather than CPU model) is 
> also described in a DEC Technical Journal article:

> http://research.compaq.com/wrl/DECarchives/DTJ/DTJF03/DTJF03SC.TXT

There have been a number of research operating systems built around
this concept.  I seem to remember one called "Synthesis" which took it
to an extreme.  Calton Pu and Henry Massalin would appear to be the
authors.

-GAWollman