From: Goswin von Brederlow <goswin-v-b@web.de>
To: Romain Beauxis <toots@rastageeks.org>
Cc: caml-list@yquem.inria.fr
Subject: Re: [Caml-list] Bigarrays and blocking_section..
Date: Wed, 26 May 2010 03:16:27 +0200 [thread overview]
Message-ID: <87hblv5uok.fsf@frosties.localdomain> (raw)
In-Reply-To: <201005251511.41565.toots@rastageeks.org> (Romain Beauxis's message of "Tue, 25 May 2010 15:11:41 -0500")
Romain Beauxis <toots@rastageeks.org> writes:
> Hi !
>
> Le mardi 25 mai 2010 14:29:28, vous avez écrit :
>> Are you sure that you correctly calculate the bigarray size in your
>> Caml code? Why not just use struct caml_ba_array fields? I suspect
>> it's not GC problem but just a buffer overrun in memset().
>
> I'm pretty sure the size is not the problem. There may be another origin for
> the segfaults, though, but I would like to know if my assumption that I can
> release the global lock under the mentioned condition is correct..
>
>
> Romain
Yes you can. So I too suspect you get the size wrong or something.
But it should be easy to test. In frame_of_value() print the values to
stderr and run it before and after a GC.compact. You may want to
allocate and forget some stuff before creating the bigarray to make sure
it moves. When you see the bigarray itself move but all the other frame
values remain constant you have shown it works.
MfG
Goswin
next prev parent reply other threads:[~2010-05-26 1:16 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-05-25 16:25 Romain Beauxis
2010-05-25 19:29 ` [Caml-list] " Dmitry Bely
2010-05-25 20:11 ` Romain Beauxis
2010-05-26 1:16 ` Goswin von Brederlow [this message]
2010-05-26 6:00 ` Alain Frisch
2010-05-26 6:47 ` 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=87hblv5uok.fsf@frosties.localdomain \
--to=goswin-v-b@web.de \
--cc=caml-list@yquem.inria.fr \
--cc=toots@rastageeks.org \
/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