[Barrelfish-users] Corruption sending buffer

[Zeus Gómez Marmolejo]

Dear Barrelfish developers,

I believe that I've found a bug in the message passing interface when a
buffer is sent between two endpoints. I would like you to have a look at
this example I'm sending to you. You can copy it to the folder
"usr/tests/idctest" of the latest version of the public repository. It
should build correctly.

This is a very simple example: it has 2 cores, with one thread per core.
Only one core is sending a message to the other core. The message is a
simple buffer of 1024 unsigned integers where the first integer and the
last one is the same, it's incremented in each message sent. The message
handler on the receiver is just checking that the first and the last
integer of the buffer are the same.

The application keeps running until it finds that the two integers differ.
This means that the buffer has been sent incorrectly. I've tested this in
qemu and in a real machine and after a while the program aborts because of
a corrupt buffer. In both systems, the error happens before 2 minutes
approx.

Can you have a look at this example and check whether I'm doing something
wrong?

Many thanks!!


-- 
Zeus Gómez Marmolejo
Barcelona Supercomputing Center
PhD student
http://www.bsc.es
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.inf.ethz.ch/pipermail/barrelfish-users/attachments/20120116/f3346303/attachment.html 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: idctest.c
Type: text/x-csrc
Size: 4613 bytes
Desc: not available
Url : https://lists.inf.ethz.ch/pipermail/barrelfish-users/attachments/20120116/f3346303/attachment.bin