From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: ** X-Spam-Status: No, score=2.4 required=5.0 tests=AWL,DNS_FROM_RFC_POST, SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 7A9A4BC37 for ; Tue, 18 Aug 2009 17:48:03 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkcCAEtqikrRVdrPkGdsb2JhbACaST8BAQEBCQkMBxMDrHaQOAEDAgSEFQWCKoYv X-IronPort-AV: E=Sophos;i="4.43,403,1246831200"; d="scan'208";a="31283523" Received: from mail-bw0-f207.google.com ([209.85.218.207]) by mail2-smtp-roc.national.inria.fr with ESMTP; 18 Aug 2009 17:48:03 +0200 Received: by bwz3 with SMTP id 3so2954767bwz.26 for ; Tue, 18 Aug 2009 08:48:03 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:sender:received:in-reply-to :references:from:date:x-google-sender-auth:message-id:subject:to:cc :content-type:content-transfer-encoding; bh=kpkgR0zaszIy1Vbz/GYvBI1DvBMXFKj9DNgm6UStQ9U=; b=xO74YKZ6RfahEuS7JfpN+aP12cANx629wJHmvSYPTrOJUiTUI3WlfqhAPV1A1Ig6+s bp3lhIOuUwp6D3F2IQom6gSRrw1uUrBtT8nLeFHYsKEY9i4chhZRaVPYAMEiTHmiX4XG +FMrYTb1aOQZJOaOlTlbHlkjzu3FZymZsFKt8= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:sender:in-reply-to:references:from:date :x-google-sender-auth:message-id:subject:to:cc:content-type :content-transfer-encoding; b=S5CLg7bkJ2zxNMvuv7NxO5Sb+9U7OD0mg49tpSYt8gsjeXLj9LliCEVCll8Zp48ptG Aghyk4azOYkuREpv+NELVQZXqXzrulOk5QPcEgKtbm4xzOdF/W2oz3xRFup3SQhQD5bw DNpknZcud5h9KxjkmsuGis65kzhbx+8h+Snfw= MIME-Version: 1.0 Sender: david.mentre@gmail.com Received: by 10.103.122.29 with SMTP id z29mr2018494mum.53.1250610482858; Tue, 18 Aug 2009 08:48:02 -0700 (PDT) In-Reply-To: <20090818152116.GA18840@annexia.org> References: <1250027407.4019.123.camel@nyc-qws-007.delacy.com> <7c737f300908171302q6c251441u35ed3bd99552bd46@mail.gmail.com> <200908171526.52574.toots@rastageeks.org> <3c1674c90908171430m12c4a3e7pa96cc5e60df72b17@mail.gmail.com> <20090818084452.f9df0801.mle+ocaml@mega-nerd.com> <3c1674c90908171622j79ec5df1ob4e6236dff3a1b36@mail.gmail.com> <20090818093300.a041d75a.mle+ocaml@mega-nerd.com> <4A8A8979.4010705@bik-gmbh.de> <20090818210723.c45efcaf.mle+ocaml@mega-nerd.com> <20090818152116.GA18840@annexia.org> From: David MENTRE Date: Tue, 18 Aug 2009 17:45:59 +0200 X-Google-Sender-Auth: e0a84f4e34ee71c7 Message-ID: <3d13dcfc0908180845m458f06d4hb361c930d21727c2@mail.gmail.com> Subject: Re: OCaml and kernels (was: Re: [Caml-list] Jane Street is hiring) To: Richard Jones Cc: caml-list@inria.fr Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Spam: no; 0.00; ocaml:01 low-level:01 runtime:01 reimplement:01 ml-like:01 2009:98 psu:98 psu:98 garbage:01 stack:01 stack:01 caml-list:01 caml-list:01 caml:02 kernel:02 Hello, 2009/8/18 Richard Jones : > It's relatively low-level when you need it to be, and it wouldn't be > too much work to separate out the runtime and reimplement it on top of > baremetal. I've done part of this in the past (KOS is not bare metal but a kernel nonetheless): http://caml.inria.fr/pub/ml-archives/caml-list/2005/01/cf207671ce0efc6bf58= f710b230e06e2.en.html > =A0It would also be interesting to see if the supposed > massive overheads of garbage collection are in reality better than > bloating every structure with an additional reference count field. I share the same feeling. There were experiments of implementing kernel functionalities like TCP stack in ML-like languages, e.g. "A Structured TCP in Standard ML (1994)" (http://citeseerx.ist.psu.edu/viewdoc/summary?doi=3D10.1.1.35.8383) or "A Network Protocol Stack in Standard ML" (http://citeseerx.ist.psu.edu/viewdoc/summary?doi=3D10.1.1.11.8546) Yours, d.