From: Andres Varon <avaron@gmail.com>
To: OCaml List <caml-list@yquem.inria.fr>
Subject: segfault in 3.10.0
Date: Wed, 1 Aug 2007 17:10:38 -0400 [thread overview]
Message-ID: <7209A0C0-93DC-46A9-940D-47C54EB31E1B@gmail.com> (raw)
Hello Everyone,
Has anyone observed sudden segfaults in OCaml 3.10.0 amd-64 under
linux? I have this program that has been run for quite a while
without any segfault (almost a year). It may run for weeks at a time
in parallel in our cluster, using as many as 256 processors at a
time. We delayed updating to 3.10.0 due to the changes in camlp4, but
the day before yesterday I worked on it, upgraded, and suddenly a lot
of the nightly unit tests in 64 bits fail with a segfault (a LOT of
them), when every test passed clean with 3.09.3. None of the tests
for other architectures fail though (windows, mac os X intel and 32-
bit ppc). One down side is that we have C structures wrapped, so one
may blame our program.
However, efence and valgrind show no sign of problem, and the fact
that we have been using those structures for a while, and many test
iterations have passed for many inputs, and not only us, but many
people in other computers have compiled and run our program without
having segfaults ... I'm doubtful.
Unfortunately I have been unable to compile 3.10.0 for 64 bits in our
g5 under Mac OS X, so that architecture remains untested. The
segfault is occurring within the OCaml code. Any pointer would be
greatly appreciated, or suggestions of tools that could help us
hunting this down ... I'm awfully clueless about what to do today ...
and it's been just a couple of days :-(
best,
Andres
next reply other threads:[~2007-08-01 21:10 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2007-08-01 21:10 Andres Varon [this message]
2007-08-01 22:27 ` [Caml-list] " Andres Varon
2007-08-02 0:39 ` Yaron Minsky
2007-08-02 5:05 ` Markus Mottl
2007-08-02 15:41 ` Andres Varon
2007-08-02 16:46 ` Alain Frisch
2007-08-02 17:31 ` Andres Varon
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=7209A0C0-93DC-46A9-940D-47C54EB31E1B@gmail.com \
--to=avaron@gmail.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