From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 5565FBCAF for ; Fri, 17 Jun 2005 11:57:55 +0200 (CEST) Received: from alex.barettalocal.com (h213-255-109-130.albacom.net [213.255.109.130] (may be forged)) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j5H9vs36003112 for ; Fri, 17 Jun 2005 11:57:55 +0200 Received: from [127.0.0.1] (localhost.localdomain [127.0.0.1]) by alex.barettalocal.com (Postfix) with ESMTP id 517842BAA98; Fri, 17 Jun 2005 11:57:15 +0200 (CEST) Message-ID: <42B29E7A.9000104@barettadeit.com> Date: Fri, 17 Jun 2005 11:57:14 +0200 From: Alex Baretta User-Agent: Debian Thunderbird 1.0.2 (X11/20050331) X-Accept-Language: en-us, en MIME-Version: 1.0 To: Jonathan Roewen Cc: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Running bytecode... References: <42B29C33.1010302@barettadeit.com> In-Reply-To: Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-Miltered: at concorde with ID 42B29EA2.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; baretta:01 caml-list:01 bytecode:01 ocaml:01 byte-code:01 dynlink:01 dynlink:01 ocaml:01 statically:01 scaml:01 bytecode:01 asmdynlink:01 ocamlopt:01 baretta:01 ...:98 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.1 required=5.0 tests=FORGED_RCVD_HELO autolearn=disabled version=3.0.2 X-Spam-Level: Jonathan Roewen wrote: >>The short answer is you can't. It's a pity, but to the present day the >>vanilla Ocaml distribution does not support mixing native and byte-code. >>Also, it is not possibile to Dynlink native code, which is even more of >>a pity. > > > Well, dynlink with native code probably isn't desirable, as can't > really verify it. Actually, this is very desirable. Ask Jon Skaller, who is developing the Felix language mainly because Ocaml does not have this feature. It also very desirable to us for the AS/Xcaml project, where server side applications (Xlets) are dynlinked upon client request for their execution. In order to run a native instance of an AS/Xcaml application, the code for all the relevant xlets must be statically linked into the xcaml daemon. Scaml does this, but there is no correctness proof for it. It is a patch to 3.07. Unluckily Xavier wants to have an provably perfect solution to this problem, which is definitely a good thing, but this delays such a great feature as native dynlink. > How about embedding the bytecode interpreter in an ocaml native > program? How would one go about that? This is exactly what Asmdynlink did. It was a bytecode interpreter written in Ocaml and ideally compiled with Ocamlopt. I do not believe that is has been ported to 3.08, though. Alex -- ********************************************************************* http://www.barettadeit.com/ Baretta DE&IT A division of Baretta SRL tel. +39 02 370 111 55 fax. +39 02 370 111 54 Our technology: The Application System/Xcaml (AS/Xcaml) The FreerP Project