Contrib: dynlink for native code executables to load .cmo files

From: Fabrice Le Fessant (Fabrice.Le_Fessant@inria.fr)
Date: Mon Nov 02 1998 - 15:42:09 MET


From: Fabrice Le Fessant <Fabrice.Le_Fessant@inria.fr>
Date: Mon, 2 Nov 1998 15:42:09 +0100 (MET)
To: caml-list@inria.fr
Subject: Contrib: dynlink for native code executables to load .cmo files

  I have written a small interpretor of Ocaml-2.00 bytecode in Ocaml.
The main interest of this program is that it allows native code
programs to load and execute .cmo files. This library uses the same
interface as the Dynlink library of the Ocaml distribution.
Dynamically linked modules are able to use the functions defined both
in native code modules and previously linked bytecode modules, and
even C primitives if they have been correctly declared to the dynamic
linker. If bytecode functions are stored in some native code data
structures, the native code can then also use them as if they were
native code functions.

  This is still a Beta version (some bytecodes have not been
implemented (GETMETHOD, and float arrays)). Pure bytecode computations
are about ten times slower than when they are executed by ocamlrun.

  http://pauillac.inria.fr/src

Comments and bugs:
=================
Fabrice Le Fessant (Email : Fabrice.Le_fessant@inria.fr )
PARA project
INRIA Rocquencourt
FRANCE



This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:16 MET