English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
-linkall segmentation faults
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2005-06-02 (05:47)
From: Frank Dellaert <dellaert@c...>
Subject: -linkall segmentation faults
we have a very extensive robotics/vision code-base that mixes C and 
Ocaml. The library is divided in about 30 different libraries that can 
be linked in with the main program, depending on its functionality. 
However, the executables that ocamlopt produces started to get too 
large (10MB and more) so I decided to remove the -linkall flag. 
However, we quickly found that
(1) removing the -linkall on certain libraries immediately crashes our 
(2) even after re-instituting -linkall for those, we still experience 
random crashes (2 out of 5 runs)
I suspect, based on examining core dumps, that it is C-externals or 
garbage collection problems. Two questions:
a) I do believe this is a genuine bug: the linker should find out which 
modules to link. Can it be added to a list of bugs in Ocaml ?
b) how can we work around it, and/or identify which libraries cause the 
problem ?
Frank Dellaert
Asst. professor, Georgia Tech