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_peer.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="3"/>       <!-- Number of tasks -->
7      <argument value="50000000"/>  <!-- Computation size of tasks -->
8      <argument value="1000000"/>   <!-- Communication size of tasks -->
9      <argument value="1"/>         <!-- Number of receivers -->
10   </process>
11   <!-- The receiver processes -->
12   <process host="Ruby" function="receiver">
13     <argument value="0"/>
14     <argument value="3"/>       <!-- Number of tasks -->
15   </process>
16 </platform>