From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 57D49BC28 for ; Sun, 21 Nov 2004 21:38:31 +0100 (CET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id iALKcT5B012105 for ; Sun, 21 Nov 2004 21:38:29 +0100 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id VAA11586 for ; Sun, 21 Nov 2004 21:38:29 +0100 (MET) Received: from comtv.ru (mail.comtv.ru [217.10.32.17]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id iALKcSKI012098 for ; Sun, 21 Nov 2004 21:38:28 +0100 Received: from av1474.oops ([10.0.66.9] verified) by comtv.ru (CommuniGate Pro SMTP 4.1.8) with ESMTP id 45839465; Sun, 21 Nov 2004 23:38:27 +0300 Date: Sun, 21 Nov 2004 23:39:02 +0300 (MSK) From: malc X-X-Sender: malc@home.oyster.ru To: skaller Cc: Richard Jones , caml-list Subject: Re: [Caml-list] Native executable symtable In-Reply-To: <1101068990.22082.60.camel@pelican.wigram> Message-ID: References: <41935E30.3020104@yahoo.it> <20041111160949.GA13998@annexia.org> <419F664F.9020905@yahoo.it> <419F8664.8010501@baretta.com> <419F92C0.4010200@barettadeit.com> <20041121155909.GA18549@annexia.org> <1101068990.22082.60.camel@pelican.wigram> MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed X-Miltered: at concorde with ID 41A0FCC5.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 41A0FCC4.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; malc:01 malc:01 pulsesoft:01 caml-list:01 symtable:01 wrote:01 wrote:01 dynlink:01 bytecode:01 ocaml:01 ocaml:01 recompiled:01 hacked:01 bytecode:01 garbage:01 X-Spam-Checker-Version: SpamAssassin 3.0.0 (2004-09-13) on yquem.inria.fr X-Spam-Status: No, score=0.1 required=5.0 tests=FORGED_RCVD_HELO autolearn=disabled version=3.0.0 X-Spam-Level: On Sun, 22 Nov 2004, skaller wrote: > On Mon, 2004-11-22 at 02:59, Richard Jones wrote: > >> It'd be very useful for mod_caml - mod_caml uses Dynlink to load the >> "scripts" and handlers, and hence is limited to bytecode. Native code >> dynamic linking would come in useful. I'd rather it was part of core >> OCaml, or available as a separate library which didn't require OCaml >> itself to be recompiled. > > You'll never convince a third party web site supplier to install > a hacked version of Ocaml. It took ages to get Python server > side available. > > However consider also a second problem with mod_caml: unloading. > That's also essential for a long running process, and can't be done, > even in the bytecode interpreter. There were *also* patches > made for that (mods to the garbage collector to allow code > to be collected). Excuse me, but, next time, check your facts before posting. Dyanmically linked modules in shared patch can be unloaded, not being Damien Doligez i wouldn't go as far as to claim that the unloading process always works correctly w.r.t GC, but the functionality is certainly there. Plus, this is just a speculation though, if there are problems with the way it is done now, i do not feel they are insurmountable. -- mailto:malc@pulsesoft.com