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=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id F2500BBCA for ; Mon, 12 May 2008 20:19:51 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ag8BALcmKEjUGypAmWdsb2JhbACBU5A6AQEBAQEIBQYJEQOZdA X-IronPort-AV: E=Sophos;i="4.27,474,1204498800"; d="asc'?vcf'?scan'208";a="26086854" Received: from smtp7-g19.free.fr ([212.27.42.64]) by mail4-smtp-sop.national.inria.fr with ESMTP; 12 May 2008 20:19:51 +0200 Received: from smtp7-g19.free.fr (localhost [127.0.0.1]) by smtp7-g19.free.fr (Postfix) with ESMTP id E021C3227FE for ; Mon, 12 May 2008 20:19:50 +0200 (CEST) Received: from Tocksi.local (lns-bzn-48f-81-56-220-129.adsl.proxad.net [81.56.220.129]) by smtp7-g19.free.fr (Postfix) with ESMTP id F1E6832287D for ; Mon, 12 May 2008 20:19:49 +0200 (CEST) Message-ID: <48288A41.4030501@univ-savoie.fr> Date: Mon, 12 May 2008 20:19:45 +0200 From: Christophe Raffalli User-Agent: Thunderbird 2.0.0.14 (Macintosh/20080421) MIME-Version: 1.0 To: Caml Mailing List Subject: From ancient to a third Generation X-Enigmail-Version: 0.95.6 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="------------enig36073963EA55C2E81E30DCA8" X-Spam: no; 0.00; christophe:01 raffalli:01 christophe:01 raffalli:01 univ-savoie:01 ocaml:01 runtime:01 pointer:01 pointer:01 pointers:01 chablais:01 73376:01 univ-savoie:01 surviving:98 decreased:98 X-Attachments: cset="utf-8" name="Christophe_Raffalli.vcf" name="Christophe_Raffalli.vcf" type="application/pgp-signature" name="signature.asc" name="signature.asc" This is an OpenPGP/MIME signed message (RFC 2440 and 3156) --------------enig36073963EA55C2E81E30DCA8 Content-Type: multipart/mixed; boundary="------------070100010005040502080602" This is a multi-part message in MIME format. --------------070100010005040502080602 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: quoted-printable The following idea traversed my mind reading the previous thread about=20 ancient. May be I am missing something, So I hope the expert could tell me if they think this is possible/good=20 idea/bad idea We could add to OCaml a third generation with the following properties: - Objects are moved to this third generation either manually (or created = there) or automatically after surviving k major GC (k may be ajustable at runtime ? k =3D 0 means nev= er ?) - Objects in the third generation can be shared between processes (like=20 in Ancient) - There is a global greyval table, protected by a mutex, and an object=20 must be added in the table of greyval when mutated if it is a pointer pointing to the major or minor heap of a = specific process. Then, the object stops to be accessible for reading by other processes (Here there is room to=20 change the design ...). - Objects in the third generation are collected by a reference counter + = a specific GC: the counter counts the number of processes holding at least one pointer to this object from their own stack, major=20 or minor heap. This counter is only increased/decreased by the GC of=20 each process (a mutex is neeeded here). There is also a specific GC process (mark and = sweep ?). To take care of pointers from the third generation to the=20 third generation and make sure that object with a zero counter can be removed. - This third generation could be dealf with be a daemon and accessible=20 by processes written using different languages ... What do you think ? =20 --=20 Christophe Raffalli Universite de Savoie Batiment Le Chablais, bureau 21 73376 Le Bourget-du-Lac Cedex tel: (33) 4 79 75 81 03 fax: (33) 4 79 75 87 42 mail: Christophe.Raffalli@univ-savoie.fr www: http://www.lama.univ-savoie.fr/~RAFFALLI --------------------------------------------- IMPORTANT: this mail is signed using PGP/MIME At least Enigmail/Mozilla, mutt or evolution=20 can check this signature. The public key is stored on www.keyserver.net --------------------------------------------- --------------070100010005040502080602 Content-Type: text/x-vcard; charset=utf-8; name="Christophe_Raffalli.vcf" Content-Transfer-Encoding: quoted-printable Content-Disposition: attachment; filename="Christophe_Raffalli.vcf" begin:vcard fn:Christophe Raffalli n:Raffalli;Christophe org:LAMA (UMR 5127) email;internet:christophe.raffalli@univ-savoie.fr title;quoted-printable:Ma=3DC3=3DAEtre de conf=3DC3=3DA9rences tel;work:+33 4 79 75 81 03 note:http://www.lama.univ-savoie.fr/~raffalli x-mozilla-html:TRUE version:2.1 end:vcard --------------070100010005040502080602-- --------------enig36073963EA55C2E81E30DCA8 Content-Type: application/pgp-signature; name="signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="signature.asc" -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.7 (Darwin) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org iD8DBQFIKIpFi9jr/RgYAS4RAlYcAJ0efx85M4y/x6AK6bxMrXMmRgfIdwCfVQi7 LKF2IiDGbigPNEemPYB0Xhw= =tMoL -----END PGP SIGNATURE----- --------------enig36073963EA55C2E81E30DCA8--