Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : add comments for the example bugged2_liveness
[simgrid.git] / examples / msg / masterslave / deployment_masterslave_mailbox.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="master">
6      <argument value="20"/>       <!-- Number of tasks -->
7      <argument value="50000000"/>  <!-- Computation size of tasks -->
8      <argument value="1000000"/>   <!-- Communication size of tasks -->
9      <argument value="5"/>         <!-- Number of slaves -->
10   </process>
11   <!-- The slave processes (with mailbox to listen on as argument) -->
12   <process host="Tremblay" function="slave">
13     <argument value="0"/>
14   </process>
15   <process host="Jupiter" function="slave">
16     <argument value="1"/>
17   </process>
18   <process host="Fafard" function="slave">
19     <argument value="2"/>
20   </process>
21   <process host="Ginette" function="slave">
22     <argument value="3"/>
23   </process>
24   <process host="Bourassa" function="slave">
25     <argument value="4"/>
26   </process>
27
28 </platform>