From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id C11C67EEBF for ; Thu, 9 Jul 2015 23:58:55 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of basile@starynkevitch.net) identity=pra; client-ip=46.105.17.220; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="basile@starynkevitch.net"; x-sender="basile@starynkevitch.net"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of basile@starynkevitch.net) identity=mailfrom; client-ip=46.105.17.220; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="basile@starynkevitch.net"; x-sender="basile@starynkevitch.net"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@ovh.starynkevitch.net) identity=helo; client-ip=46.105.17.220; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="basile@starynkevitch.net"; x-sender="postmaster@ovh.starynkevitch.net"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DGBQCH7Z5V/9wRaS5bgxJUEgODa7l+hXsCCIFaTAEBAQEBAYELhCQBAQQjFUARCxgCAgUWCwICCQMCAQIBRRMIAhCIHgEIuHKWNQEBAQcBAQEBHoEhiiqEIxEBWBYagjiBQwEEkUWCaIRniRuPTIcZJoN9gXqBPgEBAQ X-IPAS-Result: A0DGBQCH7Z5V/9wRaS5bgxJUEgODa7l+hXsCCIFaTAEBAQEBAYELhCQBAQQjFUARCxgCAgUWCwICCQMCAQIBRRMIAhCIHgEIuHKWNQEBAQcBAQEBHoEhiiqEIxEBWBYagjiBQwEEkUWCaIRniRuPTIcZJoN9gXqBPgEBAQ X-IronPort-AV: E=Sophos;i="5.15,442,1432591200"; d="scan'208";a="139574705" Received: from ovh.starynkevitch.net ([46.105.17.220]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-SHA; 09 Jul 2015 23:58:55 +0200 Received: from lstlambert-656-1-266-187.w193-248.abo.wanadoo.fr ([193.248.54.187] helo=[192.168.1.5]) by ovh.starynkevitch.net with esmtp (Exim 4.82) (envelope-from ) id 1ZDJqH-0003SK-Ox for caml-list@inria.fr; Thu, 09 Jul 2015 23:58:53 +0200 Message-ID: <559EEE98.8080303@starynkevitch.net> Date: Thu, 09 Jul 2015 23:58:48 +0200 From: Basile Starynkevitch User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Icedove/31.7.0 MIME-Version: 1.0 To: caml-list@inria.fr References: In-Reply-To: Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit Subject: Re: [Caml-list] Native compiler for oCaml on System Z On 07/09/2015 10:35 PM, Bull Durham wrote: > Hello. I'm with the IBM Linux on Z Open Source Ecosystem Center of > Competency in Toronto. I would like to provide (and maintain) a port > of the OCaml native compiler for Linux on System Z (a.k.a IBM 390 or > s390x). Can someone advise me on whom to contact to begin discussions > on how to make the port available to the wider OCaml community? > Ideally it would be great if it could ultimately become part of the > standard OCaml distribution. Thanks for any advice you can give. A possible way might be to not directly target SystemZ but to leverage on some of the efforts which either have translated the Ocaml bytecode to C, or to consider writing some JIT backend for Ocaml; I'm thinking of patching the Ocaml native compiler to use LLVM or more probably the very new GCCJIT https://gcc.gnu.org/onlinedocs/jit to leverage on the optimization abilities of GCC middle-end & back-end etc. There are indeed some issues, in particular compatibility between the garbage collector and what such JIT libraries are able to generate (tail recursion is less of an issue at least in GCCJIT). Regards. -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basilestarynkevitchnet mobile: +33 6 8501 2359 8, rue de la Faiencerie, 92340 Bourg La Reine, France *** opinions {are only mine, sont seulement les miennes} ***