teshsuite/mc/mutex_handling.xml

   1 <?xml version='1.0'?>
   2 <!DOCTYPE platform SYSTEM "http://simgrid.gforge.inria.fr/simgrid/simgrid.dtd">
   3 <platform version="4">
   4   <process host="Disney" function="receiver"/>
   5   <process host="Jill" function="sender">   <argument value="X"/>  </process>
   6   <process host="UNIX" function="sender">   <argument value="Y"/>  </process>
   7 </platform>