Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : increase tesh timeouts
[simgrid.git] / examples / msg / mc / chord / deploy_chord_before_dsend_liveness.xml
1 <?xml version='1.0'?>
2 <!DOCTYPE platform SYSTEM "http://simgrid.gforge.inria.fr/simgrid.dtd">
3 <platform version="3">
4
5   <process host="Gatien" function="node">
6     <argument value="48"/>        <!-- my id -->
7     <argument value="1"/>         <!-- known id -->
8     <argument value="4"/>        <!-- time to sleep before it starts-->
9     <argument value ="60"/>             <!-- deadline -->
10   </process>
11
12   <process host="McGee" function="node">
13     <argument value="42"/>        <!-- my id -->
14     <argument value="1"/>         <!-- known id -->
15     <argument value="3"/>        <!-- time to sleep before it starts-->
16     <argument value ="60"/>             <!-- deadline -->
17   </process>
18
19   <process host="Geoff" function="node">
20     <argument value="32"/>        <!-- my id -->
21     <argument value="1"/>         <!-- known id -->
22     <argument value="10"/>         <!-- time to sleep before it starts-->
23     <argument value ="60"/>            <!-- deadline -->
24   </process>
25   
26    <process host="Jacquelin" function="node">
27     <argument value="1"/>         <!-- my id -->
28     <argument value ="60"/>             <!-- deadline -->
29    </process>
30
31 </platform>