Mailing list for all users of the OCaml language and system.
 help / color / mirror / Atom feed
From: Alain Frisch <alain@frisch.fr>
To: "Daniel Bünzli" <daniel.buenzli@erratique.ch>
Cc: caml-list List <caml-list@yquem.inria.fr>
Subject: Re: [Caml-list] Re: Dynlinking plugins defining the same unit name but with different implementations.
Date: Fri, 02 Jul 2010 10:40:29 +0200	[thread overview]
Message-ID: <4C2DA5FD.4040004@frisch.fr> (raw)
In-Reply-To: <AANLkTilwwVwg60YhyGZOia8JOwkFljZW_bgM9a327oBx@mail.gmail.com>

On 07/02/2010 10:27 AM, Daniel Bünzli wrote:
>> (Note: for dynlink, I believe that loading modules in private mode should be safe.)
>
> No, at least not in 3.12.0+beta1.

Ah yes, sorry, I did not ready your original post carefully enough.

I think the problem is that dlopen is called (in loadfile_private mode), 
without RTLD_GLOBAL (but also without RTLD_LOCAL, which is never used).

According to:

http://developer.apple.com/mac/library/documentation/Darwin/Reference/ManPages/man3/dlopen.3.html

the default is RTLD_GLOBAL under Mac OS, contrary to Linux (default is 
RTLD_LOCAL).


I'll try to apply a fix.


Alain



  reply	other threads:[~2010-07-02  8:40 UTC|newest]

Thread overview: 11+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2010-07-01 19:01 Daniel Bünzli
2010-07-01 19:16 ` Daniel Bünzli
2010-07-02  8:07   ` [Caml-list] " Alain Frisch
2010-07-02  8:27     ` Daniel Bünzli
2010-07-02  8:40       ` Alain Frisch [this message]
2010-07-02  8:47         ` Alain Frisch
2010-07-02  9:19           ` Daniel Bünzli
2010-07-02 17:48             ` Daniel Bünzli
2010-07-05  7:27               ` Alain Frisch
2010-07-05 11:15                 ` Daniel Bünzli
2010-07-05 11:41               ` Alain Frisch

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=4C2DA5FD.4040004@frisch.fr \
    --to=alain@frisch.fr \
    --cc=caml-list@yquem.inria.fr \
    --cc=daniel.buenzli@erratique.ch \
    /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