From owner-freebsd-arch@FreeBSD.ORG  Tue Mar 28 09:55:05 2006
Return-Path: <owner-freebsd-arch@FreeBSD.ORG>
X-Original-To: freebsd-arch@freebsd.org
Delivered-To: freebsd-arch@freebsd.org
Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125])
	by hub.freebsd.org (Postfix) with ESMTP id 6FB8916A420;
	Tue, 28 Mar 2006 09:55:05 +0000 (UTC)
	(envelope-from phk@critter.freebsd.dk)
Received: from pasmtp.tele.dk (pasmtp.tele.dk [193.162.159.95])
	by mx1.FreeBSD.org (Postfix) with ESMTP id 29E5443D46;
	Tue, 28 Mar 2006 09:55:04 +0000 (GMT)
	(envelope-from phk@critter.freebsd.dk)
Received: from critter.freebsd.dk (0x535c0e2a.sgnxx1.adsl-dhcp.tele.dk
	[83.92.14.42]) by pasmtp.tele.dk (Postfix) with ESMTP id E3B9C1EC352;
	Tue, 28 Mar 2006 11:55:02 +0200 (CEST)
Received: from critter.freebsd.dk (localhost [127.0.0.1])
	by critter.freebsd.dk (8.13.4/8.13.4) with ESMTP id k2S9t0Ed061461;
	Tue, 28 Mar 2006 11:55:02 +0200 (CEST)
	(envelope-from phk@critter.freebsd.dk)
To: Peter Jeremy <peterjeremy@optushome.com.au>
From: "Poul-Henning Kamp" <phk@phk.freebsd.dk>
In-Reply-To: Your message of "Tue, 28 Mar 2006 20:11:53 +1100."
	<20060328091153.GC961@turion.vk2pj.dyndns.org> 
Date: Tue, 28 Mar 2006 11:55:00 +0200
Message-ID: <61460.1143539700@critter.freebsd.dk>
Sender: phk@critter.freebsd.dk
Cc: Jason Evans <jasone@freebsd.org>, freebsd-arch@freebsd.org
Subject: Re: Proposed addition of malloc_size_np() 
X-BeenThere: freebsd-arch@freebsd.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: Discussion related to FreeBSD architecture <freebsd-arch.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-arch>,
	<mailto:freebsd-arch-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/freebsd-arch>
List-Post: <mailto:freebsd-arch@freebsd.org>
List-Help: <mailto:freebsd-arch-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-arch>,
	<mailto:freebsd-arch-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Tue, 28 Mar 2006 09:55:05 -0000

In message <20060328091153.GC961@turion.vk2pj.dyndns.org>, Peter Jeremy writes:


>In an ideal world, a pointer would be an [address, size] pair (or even
>[size, address, type] tuple) so that any the bounds (and type) can be
>verified by anything that wants to.  (The iAPX432 tried this).

The first computer to actually _do_ this was Linn's "Rekursiv" computer,
which had the microcode manage in-memory objects, including swapping
to/from backing store.

	http://www.brouhaha.com/~eric/retrocomputing/rekursiv/



-- 
Poul-Henning Kamp       | UNIX since Zilog Zeus 3.20
phk@FreeBSD.ORG         | TCP/IP since RFC 956
FreeBSD committer       | BSD since 4.3-tahoe    
Never attribute to malice what can adequately be explained by incompetence.