Archives of the Caml mailing list > Message from Alain Frisch

Browse thread

Dynlinking plugins defining the same unit name but with different implementations.

Daniel_BÃ¼nzli
- Daniel_BÃ¼nzli
  - Alain Frisch
    - Daniel_BÃ¼nzli
      - Alain Frisch
        
        Alain Frisch
        
        Daniel_BÃ¼nzli
        
        Daniel_BÃ¼nzli
        
        Alain Frisch
        
        Daniel_BÃ¼nzli
        
        Alain Frisch

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