Re: [Caml-list] Compiling Ocaml sources to c sources

From: Eray Ozkural <examachine@gmail.com>
To: Fabrice Le Fessant <fabrice.le_fessant@inria.fr>
Cc: caml-list@yquem.inria.fr
Subject: Re: [Caml-list] Compiling Ocaml sources to c sources
Date: Thu, 16 Sep 2010 13:46:15 +0300	[thread overview]
Message-ID: <AANLkTikxUs8wLC6aEV77kdH8_5vqHkXz8d-Vhf9hz39L@mail.gmail.com> (raw)
In-Reply-To: <4C91DDE0.2040105@inria.fr>

[-- Attachment #1: Type: text/plain, Size: 2070 bytes --]

Yes, I've seen how wired the GC is in the ocaml sources. I had used the
Boehm GC in a compiler project (not for the generated code but the
compiler),
do you mean that one would have to disable most optimizations in the ocaml
bytecode
compiler to make such a hypothetical bytecode-to-C compiler work with a C
GC, or am I missing something crucial? It's great to be able to learn from
actual
ocaml compiler writers, BTW, your comments are much appreciated.

Regards,

On Thu, Sep 16, 2010 at 12:05 PM, Fabrice Le Fessant <
fabrice.le_fessant@inria.fr> wrote:

> The problem is still the same: even if the code is compiled by a C
> compiler, there is still the need for the garbage collector. If you
> don't provide your own conservative GC (for which you would have to
> reimplement all the native functions of OCaml), then you need to use
> OCaml GC, and you would have to disable most optimizations to be sure
> that the GC knows where to find live references. At the end, you would
> get almost no performance improvement, compared to just appending the
> assembly code for each bytecode instruction (see Piumarta's work in
> PLDI'98).
>
> --Fabrice
>
> Eray Ozkural wrote, On 09/16/2010 02:38 AM:
> > Well, what I would do is to apply a fully optimizing compiler from a
> > proper hardware abstraction layer, whether it is JIT is irrelevant, but
> > I do not see why the system would not start doing this as soon as the
> > code is loaded in some place (and not when it starts to run). What is
> > certain is that some simple transformation will not speed things up much.
>
> _______________________________________________
> Caml-list mailing list. Subscription management:
> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
> Archives: http://caml.inria.fr
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
>

-- 
Eray Ozkural, PhD candidate.  Comp. Sci. Dept., Bilkent University, Ankara
http://groups.yahoo.com/group/ai-philosophy
http://myspace.com/arizanesil http://myspace.com/malfunct

[-- Attachment #2: Type: text/html, Size: 3048 bytes --]