Version franįaise
Home     About     Download     Resources     Contact us    
Browse thread
Dynlinking plugins defining the same unit name but with different implementations.
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Alain Frisch <alain@f...>
Subject: Re: [Caml-list] Re: Dynlinking plugins defining the same unit name but with different implementations.
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