Dear Christophe,
I had a look at the file tcpTransObj.cc. I found out that the assertion
is incorrect. Change the assertion as follows, and give it a try.
Assert(writeBuffer->availableSpace()>=0);
The assertion looks wrong, but in fact it is correct this way, due to a
(stupid) feature of the buffer.
Can you tell us the result? I am not sure it will solve the problem,
but it's worth a try...
Cheers,
raph
Christophe Taton wrote:
Amendment to my last message:
When I run my project on two nodes, I observe two kinds of failure:
- either: "tcpTransObj.cc:192 assertion
'writeBuffer->availableSpace()>=1' failed" on the first node,
- or: "gentraverser.hh:1484 assertion 'array[pos].n == (OZ_Term) -1'
failed" on the second node.
Any idea? Does it make sense for me to look more deeply into this?
Thanks,
Christophe
On Tue, Apr 8, 2008 at 11:05 PM, Christophe Taton
<[EMAIL PROTECTED] <mailto:[EMAIL PROTECTED]>>
wrote:
Trying to find out what was going on, I rebuilt the vm with some
debugging flags. Rerunning my project under this vm always results
in the following assertion failure:
tcpTransObj.cc:192 assertion 'writeBuffer->availableSpace()>=1' failed
On Mon, Apr 7, 2008 at 10:33 AM, Christophe Taton
<[EMAIL PROTECTED] <mailto:[EMAIL PROTECTED]>> wrote:
Hi all,
I am experiencing a bug when running one of my projects in a
distributed environment, leading to a systematic crash of one of
the virtual machines (either a segfault or a "glibc: double free
or corruption..."). Unfortunately I have not yet been able to
isolate the origin of the bug.
I wondered whether there is a documentation on how to debug the
oz VM itself?
Thanks in advance for you help,
Christophe Taton
------------------------------------------------------------------------
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
