From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <lego395@gmail.com>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: **
X-Spam-Status: No, score=2.8 required=5.0 tests=DNS_FROM_RFC_POST,SPF_NEUTRAL 
	autolearn=disabled version=3.1.3
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by yquem.inria.fr (Postfix) with ESMTP id 88F9CBBAF
	for <caml-list@yquem.inria.fr>; Thu,  7 Aug 2008 02:34:40 +0200 (CEST)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AsgBABTgmUjRVcbpjmdsb2JhbACQfj4BAQEBCQMKBw8FlV6FZQ
X-IronPort-AV: E=Sophos;i="4.31,317,1215381600"; 
   d="scan'208";a="28003624"
Received: from rv-out-0506.google.com ([209.85.198.233])
  by mail4-smtp-sop.national.inria.fr with ESMTP; 07 Aug 2008 02:34:39 +0200
Received: by rv-out-0506.google.com with SMTP id f6so162879rvb.3
        for <caml-list@yquem.inria.fr>; Wed, 06 Aug 2008 17:34:38 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:received:received:message-id:date:from:sender
         :to:subject:in-reply-to:mime-version:content-type
         :content-transfer-encoding:content-disposition:references
         :x-google-sender-auth;
        bh=4r7112MhxfHGgDDyDoRHL3b6OBws4dls/0YTTYt1XzE=;
        b=Xx2eDRzl+xv+A2sbG51P2PIEzl2kJ1dW1RAE9ltPBdRQZrMUh0D9h8EfLRvANjkAae
         iEQ2DpfqZ6FRVF8BztGLVabJmK3JTiGd/5cRfPCsymoFTC06fH/K10xzRqE731SxqmIv
         Up6nRy3CgB4tQ3qEW12L9aT0w8U6EPvehpFZU=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=message-id:date:from:sender:to:subject:in-reply-to:mime-version
         :content-type:content-transfer-encoding:content-disposition
         :references:x-google-sender-auth;
        b=Rpvd6t8jTFZ25zRWi7OqF82jZL9DVW0CwtKbK7AKE+mHtc4lMOd+++/Cj0r53ucnfN
         WZUQDYKlqYNNvEzs9zmp1YKCARqvEtYO3OYLjLWB576S25GtmEi+YFRGRCu8Az3Dmfw5
         lz7qQkDZpQ1/+h5FS96rViwRy9kDaeB9uneZs=
Received: by 10.140.188.10 with SMTP id l10mr389613rvf.6.1218069278252;
        Wed, 06 Aug 2008 17:34:38 -0700 (PDT)
Received: by 10.141.107.16 with HTTP; Wed, 6 Aug 2008 17:34:33 -0700 (PDT)
Message-ID: <e3e02b3f0808061734y630ecc0dt3f6e2b33114719d3@mail.gmail.com>
Date: Wed, 6 Aug 2008 17:34:33 -0700
From: "Haoyang Wang" <hywang@pobox.com>
Sender: lego395@gmail.com
To: caml-list@yquem.inria.fr
Subject: Re: [Caml-list] native vs bytecode
In-Reply-To: <74a4f4670808061258q30513bbdl446240feab3fdc36@mail.gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
References: <74a4f4670808061258q30513bbdl446240feab3fdc36@mail.gmail.com>
X-Google-Sender-Auth: 25c13d31d334fab5
X-Spam: no; 0.00; bytecode:01 bytecode:01 asmdynlink:01 ocaml:01 asmdynlink:01 cdk:01 cdk:01 cheers:01 wrote:01 dynamically:01 caml-list:01 native:03 native:03 library:03 distributed:05 

On Wed, Aug 6, 2008 at 12:58 PM, Ben Aurel <ben.aurel@gmail.com> wrote:
> - is it possible to dynamically load bytecode libraries into a native program?

This could be done with the asmdynlink library by Fabrice Le Fessant.
He reimplemented the bytecode interpreter in ocaml! (Does asmdynlink
still work?)

asmdynlink is distributed as part of CDK (http://pauillac.inria.fr/cdk/).

Cheers,

Haoyang Wang
Skydeck