<html><head></head><body><div style="color:#000; background-color:#fff; font-family:HelveticaNeue-Light, Helvetica Neue Light, Helvetica Neue, Helvetica, Arial, Lucida Grande, sans-serif;font-size:16px"><div id="yui_3_16_0_1_1446120370186_6299"><span id="yui_3_16_0_1_1446120370186_6371">Hi list,</span></div><div id="yui_3_16_0_1_1446120370186_6415"><br><span id="yui_3_16_0_1_1446120370186_6371"></span></div><div id="yui_3_16_0_1_1446120370186_6436" dir="ltr">     In the context of my PhD, I am studying Barrelfish OS inside the XEN hypervisor. I read the "Virtual Memory in a Multikernel" doc and all the documentation related to memory management in Barrelfish by I still have one point that is unclear. It is said that "<span id="yui_3_16_0_1_1446120370186_6554" class="">Often dispatchers in a domain <em class="" id="yui_3_16_0_1_1446120370186_6556">share</em> (all or part of) their <em class="" id="yui_3_16_0_1_1446120370186_6558">vspace</em></span>" which means that we may have 2 threads on 2 different cores that share the same virtual memory space. My question is what happens if the 2 threads try to modify the same memory page in the same time, what are the synchronization mechanisms used to guarantee the consistency?</div><div id="yui_3_16_0_1_1446120370186_6757" dir="ltr"><span id="result_box" class="" lang="en"><span id="yui_3_16_0_1_1446120370186_6765" class="">    In</span> <span id="yui_3_16_0_1_1446120370186_6767" class="">another train of thoughts</span><span class="" id="yui_3_16_0_1_1446120370186_6769">, I am also studying the IDC protocols. I found that there is some work in a Ethernet Message Passing protocol but I wasn't able to find the code on any repository. </span></span><span id="result_box" class="" lang="en"><span class="" id="yui_3_16_0_1_1446120370186_6769"><span id="result_box" class="" lang="en"><span id="yui_3_16_0_1_1446120370186_6857" class="">Does anyone knows how</span> <span id="yui_3_16_0_1_1446120370186_6859" class="">I could</span> <span id="yui_3_16_0_1_1446120370186_6861" class="">get into the</span> <span id="yui_3_16_0_1_1446120370186_6863" class="">possession of this</span> <span id="yui_3_16_0_1_1446120370186_6865" class="">code</span><span id="yui_3_16_0_1_1446120370186_6867" class="">?</span></span> </span></span></div><div id="yui_3_16_0_1_1446120370186_6298"><div id="yui_3_16_0_1_1446120370186_6878"> </div><div id="yui_3_16_0_1_1446120370186_6884">Best regards,<br></div></div><div id="yui_3_16_0_1_1446120370186_6281" class="signature">Nitu Vlad Tiberiu</div></div></body></html>