From: Fabrice Le Fessant <fabrice.le_fessant@inria.fr>
To: caml-list@yquem.inria.fr
Subject: Re: [Caml-list] Compiling Ocaml sources to c sources
Date: Thu, 16 Sep 2010 11:05:36 +0200 [thread overview]
Message-ID: <4C91DDE0.2040105@inria.fr> (raw)
In-Reply-To: <AANLkTi=PiMun_kHtKLw4aWN42dm_Eynx188n4z6spUKO@mail.gmail.com>
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.
next prev parent reply other threads:[~2010-09-16 9:08 UTC|newest]
Thread overview: 19+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-09-14 12:09 Vincent Gripon
2010-09-14 12:16 ` [Caml-list] Compiling Ocaml sources to c sources [NC] Rabih CHAAR
2010-09-14 12:35 ` [Caml-list] Compiling Ocaml sources to c sources David MENTRE
2010-09-15 13:18 ` Vincent Gripon
2010-09-15 19:59 ` Basile Starynkevitch
2010-09-15 22:16 ` Vincent Gripon
2010-09-14 12:43 ` Basile Starynkevitch
2010-09-15 12:59 ` Vincent Gripon
2010-09-15 17:36 ` Jon Harrop
2010-09-15 18:17 ` Eray Ozkural
2010-09-15 20:37 ` Jon Harrop
2010-09-16 0:38 ` Eray Ozkural
2010-09-16 9:05 ` Fabrice Le Fessant [this message]
2010-09-16 10:46 ` Eray Ozkural
2010-09-16 11:11 ` Fabrice Le Fessant
2010-09-14 12:47 ` Thomas Gazagnaire
2010-09-14 12:48 ` Grant Rettke
2010-09-15 13:04 ` Vincent Gripon
2010-09-15 19:57 ` Basile Starynkevitch
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=4C91DDE0.2040105@inria.fr \
--to=fabrice.le_fessant@inria.fr \
--cc=caml-list@yquem.inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).