From: Benedikt Meurer <benedikt.meurer@googlemail.com>
To: caml-list@inria.fr
Subject: [Caml-list] Towards a really native toplevel… ocamlnat w/o as/ld
Date: Sat, 3 Sep 2011 18:19:44 +0200 [thread overview]
Message-ID: <FB10DF2A-B3A1-45E2-9362-A8266F429672@googlemail.com> (raw)
Hello,
I thought I'd just give a quick status update on the ocamlnat issue we've been working on for some time now (in a new thread since this is not strictly related to the linear scan patch). Right now we have working versions of ocamlnat for amd64 and i386 running on Linux and OS X (other systems should be supported as well, windows might need a short patch) which do no longer depend on external assemblers and linkers, the opcode emission and linking is done in-process.
The code for the amd64 version is available in the "ocamlnat-jit-amd64" branch of my "ocaml-experimental" repository at:
https://github.com/bmeurer/ocaml-experimental/tree/ocamlnat-jit-amd64
I'll push the i386 version once cleaned up and integrated with the approach implemented for the amd64 version now. It should be noted that there's still some room left for optimizations (i.e. use short jumps whenever possible, etc.), but the results so far are already quite promising: The new ocamlnat beats both the old ocamlnat as well as the byte code toplevel in every benchmark I've tried. I'll prepare a detailed comparison when time permits.
Benedikt
next reply other threads:[~2011-09-03 16:19 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2011-09-03 16:19 Benedikt Meurer [this message]
2011-09-03 16:24 ` [Caml-list] " Benedikt Meurer
2011-09-14 11:03 ` Benedikt Meurer
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=FB10DF2A-B3A1-45E2-9362-A8266F429672@googlemail.com \
--to=benedikt.meurer@googlemail.com \
--cc=caml-list@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).