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 <!-- For using with ping_pong, platform_sendrecv.xml -->
   5
   6   <!-- receiver my_name -->
   7   <process host="Disney" function="receiver"></process>
   8
   9   <!-- sender my_name receiver_name other_sender_name -->
  10   <process host="Jill" function="sender">
  11     <argument value="X"/>
  12   </process>
  13   <process host="UNIX" function="sender">
  14     <argument value="Y"/>
  15   </process>
  16
  17 </platform>