Dear Barrelfish developers,<div><br></div><div>I believe that I&#39;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&#39;m sending to you. You can copy it to the folder &quot;usr/tests/idctest&quot; of the latest version of the public repository. It should build correctly.</div>
<div><br></div><div>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&#39;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.</div>
<div><br></div><div>The application keeps running until it finds that the two integers differ. This means that the buffer has been sent incorrectly. I&#39;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.</div>
<div><br></div><div>Can you have a look at this example and check whether I&#39;m doing something wrong? <br clear="all"><div><br></div><div>Many thanks!!</div><div><br></div><div><br></div>-- <br>Zeus Gómez Marmolejo<br>
Barcelona Supercomputing Center<br>PhD student<br><a href="http://www.bsc.es" target="_blank">http://www.bsc.es</a><br><br><br>
</div>