From: Dmitry Lomov <dsl@intellij.com>
To: Walid Taha <taha@cs.rice.edu>
Cc: caml-list@inria.fr
Subject: Re: [Caml-list] Runtime (native) compilation
Date: 17 Oct 2002 19:07:48 +0400 [thread overview]
Message-ID: <1034867271.3655.7.camel@eddie> (raw)
In-Reply-To: <Pine.GSO.4.33.0210130934050.18587-100000@frosty.cs.rice.edu>
Walid,
although Dynamic Caml does not (yet) work on native code, we have
implemented (a while ago actually) a very preliminary prototype
implementation of it for i386. We do not use ocamlopt for code
generation however - we implemented a custom code generator. Do you
think it is difficult to make ocamlopt generate machine code instead of
assembler, and why do you think one needs linking at all? (Probably it
all different in MetaOCaml - I have not studied the internals)
As to dealing with runtime, I do not see much differences between
bytecode and native code case - at least in Dynamic Caml. What problems
do you perceive?
Friendly,
Dmitry
>
> Hello,
>
> We've been working on a while on building MetaOCaml, which provides three
> basic constructs for contructing programs at runtime and compiling them.
> This seems to be working well in the context of the bytecode compiler.
> For the native code compiler, though, things seems to be more tricky. In
> particular, the native code compiler produces assembly code. This has to
> be assembled, linked, and loaded to memory. Does any one know of a fast
> way to do the last three steps (other than calling the assembler, linker,
> and loader). Also, has anyone dealt with the issue of coordinating the
> runtime for the original running image and the newly produced runnable
> image (in particular, has anyone dealt with the garbage collection
> issues?)
>
> Walid.
>
--
Dmitry Lomov
IntelliJ Labs / JetBrains Inc.
http://www.intellij.com
"Develop with pleasure!"
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
next prev parent reply other threads:[~2002-10-17 15:06 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2002-10-13 14:34 Walid Taha
2002-10-17 15:07 ` Dmitry Lomov [this message]
2002-10-17 22:05 ` Walid Taha
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=1034867271.3655.7.camel@eddie \
--to=dsl@intellij.com \
--cc=caml-list@inria.fr \
--cc=taha@cs.rice.edu \
/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).