From: Adrien <camaradetux@gmail.com>
To: Eray Ozkural <examachine@gmail.com>
Cc: Richard Jones <rich@annexia.org>,
Basile Starynkevitch <basile@starynkevitch.net>,
Paul Steckler <steck@stecksoft.com>,
caml-list@yquem.inria.fr
Subject: Re: [Caml-list] More re GC hanging
Date: Sun, 22 Aug 2010 15:02:27 +0200 [thread overview]
Message-ID: <AANLkTimdjc5vEUaF1ZYbV76TB5UqsQ=taFmf2b1P8G3g@mail.gmail.com> (raw)
In-Reply-To: <AANLkTin=oCx+qS_UtzpuR=y+TRrbo4MFtbco6tGYgRAh@mail.gmail.com>
David and Basile, you are absolutely right about the redirection
issue. It also pretty obvious actually. I guess I need to pay more
attention.
Back to the original problem, I thought I had somehow gotten rid of it
but it still happens on someone else's computer. Calling 'Gc.compact'
regularly seems to work around the problem but calling 'Array.make'
might actually have the same effect: it might not fix the problem,
only prevent it from being triggered. I'll try to reproduce it this
week.
Also, I found out that I had a pretty ugly error in my C bindings but
it looks like it had no bad impact.
Basically, I had 'external ml_f : *string* -> string array' but the C
side read 'value ml_f()': the C function took *no* argument while
ocaml was passing one (I wasn't actually using the argument). Has
anything been developped against that? Anything to warn about errors
in bindings?
Finally, I don't think it has to do with the bug on 64bit systems with
ASLR, at least not directly: I'm using ocaml 3.11.2 and tried with
ASLR disabled. But I need to make a reproducer: the very high word
count did not always show up (although the out-of-memory error always
did).
---
Adrien Nader
next prev parent reply other threads:[~2010-08-22 13:02 UTC|newest]
Thread overview: 19+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-08-15 5:57 Paul Steckler
2010-08-15 7:03 ` [Caml-list] " Basile Starynkevitch
2010-08-15 8:34 ` Paul Steckler
2010-08-15 8:40 ` Paul Steckler
2010-08-15 9:16 ` Basile Starynkevitch
[not found] ` <AANLkTi=-8ZcxSy08fsh8wkTvscGLYzBsqN07OmOi5o6d@mail.gmail.com>
2010-08-15 9:55 ` Fwd: " Paul Steckler
2010-08-15 10:41 ` Fwd: " Sylvain Le Gall
2010-08-15 11:32 ` [Caml-list] " Vincent Hanquez
2010-08-15 10:45 ` [Caml-list] " Adrien
2010-08-15 11:17 ` David Allsopp
2010-08-15 12:12 ` Basile Starynkevitch
2010-09-01 15:24 ` Damien Doligez
2010-09-01 16:44 ` Adrien
2010-08-15 10:19 ` rixed
2010-08-20 15:21 ` Richard Jones
2010-08-20 23:30 ` Eray Ozkural
2010-08-22 13:02 ` Adrien [this message]
2010-08-25 15:17 ` Goswin von Brederlow
2010-08-18 12:22 ` Goswin von Brederlow
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='AANLkTimdjc5vEUaF1ZYbV76TB5UqsQ=taFmf2b1P8G3g@mail.gmail.com' \
--to=camaradetux@gmail.com \
--cc=basile@starynkevitch.net \
--cc=caml-list@yquem.inria.fr \
--cc=examachine@gmail.com \
--cc=rich@annexia.org \
--cc=steck@stecksoft.com \
/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