Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : add comments for the example bugged2_liveness
[simgrid.git] / examples / msg / icomms / deployment_peer05.xml
1 <?xml version='1.0'?>
2 <!DOCTYPE platform SYSTEM "http://simgrid.gforge.inria.fr/simgrid.dtd">
3 <platform version="3">
4   <!-- The master process (with some arguments) -->
5   <process host="Tremblay" function="sender">
6      <argument value="6"/>       <!-- Number of tasks -->
7      <argument value="50000000"/>  <!-- Computation size of tasks -->
8      <argument value="1000000"/>      <!-- Communication size of tasks -->
9      <argument value="2"/>         <!-- Number of receivers -->
10      <argument value="0"/>         <!-- Use diff comm size -->     
11   </process>
12   <!-- The receiver processes -->
13   <process host="Ruby" function="receiver">
14     <argument value="0"/>
15     <argument value="3"/>       <!-- Number of tasks -->
16   </process>
17     <process host="Perl" function="receiver">
18     <argument value="1"/>
19     <argument value="3"/>       <!-- Number of tasks -->
20   </process>
21 </platform>