From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr 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 C24FFBB81 for ; Mon, 6 Mar 2006 07:06:28 +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 k2666RRM029984 for ; Mon, 6 Mar 2006 07:06:28 +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 HAA08065 for ; Mon, 6 Mar 2006 07:06:27 +0100 (MET) Received: from mail.barettadeit.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 k2666QdV029979 for ; Mon, 6 Mar 2006 07:06:26 +0100 Received: from [10.0.0.10] (alex.barettalocal.com [10.0.0.10]) by mail.barettadeit.com (Postfix) with ESMTP id CF12E12533; Mon, 6 Mar 2006 07:06:44 +0100 (CET) Message-ID: <440BD164.8030201@studio.baretta.com> Date: Mon, 06 Mar 2006 07:06:28 +0100 From: Alessandro Baretta User-Agent: Debian Thunderbird 1.0.7 (X11/20051017) X-Accept-Language: en-us, en MIME-Version: 1.0 To: David MENTRE Cc: caml-list@inria.fr, metaocaml-hackers-l@cs.rice.edu Subject: Re: [Caml-list] Looking for pointers regarding integration of OCaml plugins into OCaml native code References: <87ek1icotj.fsf@linux-france.org> In-Reply-To: <87ek1icotj.fsf@linux-france.org> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Miltered: at concorde with ID 440BD163.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 440BD162.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; baretta:01 baretta:01 caml-list:01 pointers:01 ocaml:01 ocaml:01 pointer:01 metaocaml:01 metaocaml:01 ocamlopt:01 xcaml:01 xcaml:01 ingegneria:98 wrote:01 exists:01 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.1 required=5.0 tests=FORGED_RCVD_HELO autolearn=disabled version=3.0.3 David MENTRE wrote: > Hello, > > 2/ It could be possible to load native code into a native code > application[1] but Xavier thinks this is no longer possible or too > difficult[2]. I haven't be able to find the explanation Xavier is > refering to. Has anybody a pointer to it? I would like to understand > the issue(s). Actually, MetaOcaml has most of the machinery needed to do this. I have recently released to the MetaOcaml hackers list a patch which actually enables native linking of ocamlopt generated code on Linux/x86. I have no clue as to the level of support for any other operating system/architecture. I must add that, although Natdynlink exists in MetaOcaml, it is definitely not a mature implementation. I had to solve several issues myself before I could get my AS/Xcaml to run any bit of a web application in native dynamic mode. Yet, after all the bugfixing, I only have a proof-of-concept implementation, which is not stable enough for production use. A lot more testing and feedback is needed the by the MetaOcamlers to get this feature to work right. And, by the way, MetaOcaml is really much more stable than its official "alpha" status implies. As far as I seen while experimenting with building the AS/Xcaml, is that Natdynlink needs more work. The rest seems fairly robust. Alex -- ********************************************************************* Ing. Alessandro Baretta Studio Baretta http://studio.baretta.com/ Consulenza Tecnologica e Ingegneria Industriale Technological Consulting and Industrial Engineering tel. +39 02 370 111 55 fax. +39 02 370 111 54