From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id TAA25075; Fri, 12 Mar 2004 19:22:35 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 TAA25187 for ; Fri, 12 Mar 2004 19:22:34 +0100 (MET) Received: from alex.baretta.com ([213.255.109.130]) by nez-perce.inria.fr (8.12.10/8.12.10) with ESMTP id i2CIMsKW004154 for ; Fri, 12 Mar 2004 19:22:54 +0100 Received: from baretta.com (localhost.localdomain [127.0.0.1]) by alex.baretta.com (8.12.8/8.12.8) with ESMTP id i2CIN3RV004716; Fri, 12 Mar 2004 19:23:04 +0100 Message-ID: <40520007.2000704@baretta.com> Date: Fri, 12 Mar 2004 19:23:03 +0100 From: Alex Baretta User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.5) Gecko/20031007 X-Accept-Language: en-us, en MIME-Version: 1.0 To: Nuutti Kotivuori CC: Ocaml Subject: Re: [Caml-list] Lamda expressions and a caml interpreter References: <4051E31F.8000806@baretta.com> <8765dayouy.fsf@aka.i.naked.iki.fi> In-Reply-To: <8765dayouy.fsf@aka.i.naked.iki.fi> Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit X-Miltered: at nez-perce by Joe's j-chkmail ("http://j-chkmail.ensmp.fr")! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; baretta:01 baretta:01 caml-list:01 incompatible:01 ocamlopt:01 asmdynlink:01 3.02:01 resurrect:01 dynlink:01 ocaml:01 ocaml:01 caml:01 caml:01 alex:01 alex:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk X-Status: X-Keywords: X-UID: 123 Nuutti Kotivuori wrote: > Alex Baretta wrote: > >>Unfortunately, this approach to dynamic programming has two >>problems: it is incompatible with a native code compilation of the >>main program, which otherwise could take advantage of the speed >>benefits of ocamlopt, and a memory leak due to the impossibility of >>unlinking bytecode modules. The latter problem is the major one. > > > The former problem is solved by Asmdynlink module. It last worked at > 3.02 I believe, but there is hope that someone could resurrect it. The former problem is no big deal, since the Caml team made the VM so efficient that for most practical purposes bytecode is good enough. I can live with it until Xavier will release Dynlink for native code. > The latter problem I have an unfinished patch to fix. You may browse > the list archives to know more or ask me directly. I am aware of your patch. However, before using it in production code I would have to see it adopted by Inria in the CVS or official releases. Otherwise, I would risk breaking compatibility of my code with future releases of Ocaml. I look forward to seeing dynamic unlinking of code (bytecode or native) in OCaml. Hopefully, your patch will help in this direction. Alex ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners