Version française
Home     About     Download     Resources     Contact us    
Browse thread
Compiling to OCaml bytecode
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Paul Snively <psnively@m...>
Subject: Re: [Caml-list] Compiling to OCaml bytecode
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Hi Jon!

First: I love the book. :-)

On Sep 8, 2005, at 10:22 PM, Jon Harrop wrote:

>
> I am interested in improving the performance of a simple term-level
> interpreter. As OCaml's bytecode is so fast, I'd like to replace the
> interpreter with a JIT compiler that compiles to OCaml bytecode and  
> then uses
> OCaml's bytecode interpreter to execute the generated code  
> efficiently and
> handle the results.
>
Sounds like <http://oops.tercom.ru/dml> to me, or maybe even <http:// 
www.metaocaml.org>.

> Does the OCaml distribution expose everything needed to do this?

No.

> I assume the
> Dynlink module is where I should be looking. I've never used it  
> before but it
> looks as though it only loads from file (the "loadfile" function),  
> so I'd
> have to compile to a .cmo file and load that. What is the easiest  
> way to
> recover the result? If the necessary functionality is not already  
> exposed,
> could it and/or what are the odds that it will be added?
>
I really do think either Dynamic Caml or MetaOCaml will be what you  
want.

> Also, is a bytecode-compiled JIT bytecode compiler likely to  
> outperform a
> native-code-compiled term-level interpreter? I assume the JIT  
> compiler would
> itself need to be compiled to bytecode in order to provide the  
> bytecode
> interpreter for the generated code.
>
"What happens when you try it?" ;-)

> -- 
> Dr Jon D Harrop, Flying Frog Consultancy Ltd.
> Objective CAML for Scientists
> http://www.ffconsultancy.com/products/ocaml_for_scientists
>
> _______________________________________________
> 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

Best regards,
Paul

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.1 (Darwin)

iEYEARECAAYFAkMho78ACgkQO3fYpochAqIdUACgxu7XGJfX8IkS32rSc1FlUPQQ
NacAn1D9+RGTJbfwxT/J2Fh8h51/YOw3
=3VZS
-----END PGP SIGNATURE-----