From: Paul Steckler <steck@stecksoft.com>
To: caml-list@yquem.inria.fr
Subject: Segfaults with Dynlink with OCaml 3.11
Date: Mon, 23 Aug 2010 20:57:17 +1000 [thread overview]
Message-ID: <AANLkTin6GWH+Csz4QLVbfs4M7=+zD8PCNgfKwMDfT9_v@mail.gmail.com> (raw)
I'm getting segmentation faults when using dynamically linked native
code in 64-bit OCaml 3.11 running
on Linux (Fedora 12 x64).
The .cmxs file loads fine. There's a glue module that's "open"d in
the code for the dynamic module, and
linked against the main program. The dynamic module calls functions
that modifies lists in the glue module;
the main code calls functions in the glue module that return the
current values of those lists. The code that
modifies the lists seems to work OK, but the query functions reliably
give a crash.
I've written some small example programs with a similar structure, and
those work just fine. In my real,
large program, which pulls in a lot of OCaml libraries, I get segfaults.
Any ideas what might be going wrong? My code is not compiled with -nodynlink.
-- Paul
next reply other threads:[~2010-08-23 10:57 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-08-23 10:57 Paul Steckler [this message]
2010-08-23 11:06 ` [Caml-list] " Stéphane Glondu
2010-08-23 11:47 ` Paul Steckler
2010-08-23 12:05 ` Mark Shinwell
2010-08-23 12:12 ` Paul Steckler
2010-08-23 12:15 ` Daniel Bünzli
2010-08-23 12:28 ` Anil Madhavapeddy
2010-08-23 15:48 ` Stéphane Glondu
2010-08-25 4:00 ` Paul Steckler
2010-09-03 14:59 ` [Caml-list] " Damien Doligez
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='AANLkTin6GWH+Csz4QLVbfs4M7=+zD8PCNgfKwMDfT9_v@mail.gmail.com' \
--to=steck@stecksoft.com \
--cc=caml-list@yquem.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).