English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
Jane Street is hiring (as if you didn't already know)
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2009-08-18 (15:48)
From: David MENTRE <dmentre@l...>
Subject: Re: OCaml and kernels (was: Re: [Caml-list] Jane Street is hiring)

2009/8/18 Richard Jones <rich@annexia.org>:
> 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

>  It 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=
or "A Network Protocol Stack in Standard ML"