From: Frank Dellaert <dellaert@cc.gatech.edu>
To: caml-list@inria.fr
Subject: -linkall segmentation faults
Date: Thu, 2 Jun 2005 01:47:45 -0400 [thread overview]
Message-ID: <a330cb99dce8d8552d475b3cb18d8c0f@cc.gatech.edu> (raw)
Hi
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
executables
(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 ?
Cheers
Frank Dellaert
Asst. professor, Georgia Tech
reply other threads:[~2005-06-02 5:47 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
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=a330cb99dce8d8552d475b3cb18d8c0f@cc.gatech.edu \
--to=dellaert@cc.gatech.edu \
--cc=caml-list@inria.fr \
/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;
as well as URLs for NNTP newsgroup(s).