[Caml-list] Natdynlink segfault

[Caml-list] Natdynlink segfault

[Christophe Raffalli]

[-- Attachment #1: Type: text/plain, Size: 683 bytes --]

Dear List members,

I am encountering a segfault using natdynlink. The picture is

- program works when a .cmxs containing few modules like lablgl ... is dynlinked but some ocamlnet modules are statically linked
- the exactly same program segfaults when handling the first http request if ocamlnet modules are inside the .cmxs too.

Remark: I have to compile the main program with -linkall (otherwise some modules like StdLabels are missing), but the .cmxs
is compiled without -linkall and I do not think some modules are downloaded twice (but I do not know a way to be sure).

Any idea ?

If I have time, I will try to reproduce the pb using a small ocamlnet example.

Christophe



[-- Attachment #2: Digital signature --]
[-- Type: application/pgp-signature, Size: 198 bytes --]

Re: [Caml-list] Natdynlink segfault

[Stéphane Glondu]

Le 20/12/2013 16:25, Christophe Raffalli a écrit :
> I am encountering a segfault using natdynlink. The picture is
> 
> - program works when a .cmxs containing few modules like lablgl ... is dynlinked but some ocamlnet modules are statically linked
> - the exactly same program segfaults when handling the first http request if ocamlnet modules are inside the .cmxs too.
> 
> Remark: I have to compile the main program with -linkall (otherwise some modules like StdLabels are missing), but the .cmxs
> is compiled without -linkall and I do not think some modules are downloaded twice (but I do not know a way to be sure).

You can run ocamlobjinfo on .cmxs files to check the set of modules
defined by the plugin. To see the list of modules defined in a native
executable (let's say =ocamlc.opt), the following works for me:

  nm -D =ocamlc.opt |
  awk -F'[_ ]+' '{print $3}' |
  sed -n 's/^caml//p'|sort -u

My first check would be to make sure no plugin imports a module defined
in the main executable.

Cheers,

-- 
Stéphane