From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id QAA08320 for caml-redistribution; Tue, 12 Oct 1999 16:42:18 +0200 (MET DST)
Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id QAA05220 for <caml-list@pauillac.inria.fr>; Tue, 12 Oct 1999 16:36:50 +0200 (MET DST)
Received: from nef.ens.fr (nef.ens.fr [129.199.96.12])
	by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id QAA21838
	for <caml-list@inria.fr>; Tue, 12 Oct 1999 16:36:49 +0200 (MET DST)
Received: from clipper.ens.fr (clipper-gw.ens.fr [129.199.1.22])
          by nef.ens.fr (8.9.3/beig-1.0) with ESMTP id QAA22801
          ; Tue, 12 Oct 1999 16:36:48 +0200 (MET DST)
Received: from localhost (frisch@localhost) by clipper.ens.fr (8.8.7/jb-1.1)
	id QAA13933 ; Tue, 12 Oct 1999 16:36:47 +0200 (MET DST)
Date: Tue, 12 Oct 1999 16:36:46 +0200 (MET DST)
From: Alain Frisch <frisch@clipper.ens.fr>
X-Sender: frisch@clipper
To: William Chesters <williamc@dai.ed.ac.uk>
cc: caml-list@inria.fr
Subject: Ocaml Machine (was Re: speed versus C)
In-Reply-To: <26571.199910111758@insch>
Message-ID: <Pine.GSO.4.04.9910121630590.6673-100000@clipper>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
Sender: weis

On Mon, 11 Oct 1999, William Chesters wrote:

> This was tried in the 80s on quite a large scale by Symbolics, with
> the Lisp machine (to which you will find 1000s of references on the
> net).  

Yes, I heard about it (how could I miss it : I'm working at the MIT AI
Lab :) ).

> could take a readily available SPARC or StrongARM core and tack some
> GC support onto it, I don't know.  Certainly Sun are hyping their MAJC
> Java chip pretty strongly.

Yes, I was thinking about modifying an existing chip. For instance, adding
a tag bit to every machine word should not be so difficult.


Alain Frisch