Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
commit my deployment for testing the model-checking of Chord
[simgrid.git] / examples / msg / chord / chord3.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="400"/>        <!-- time to sleep before it starts-->
9     <argument value ="600"/>            <!-- 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="300"/>        <!-- time to sleep before it starts-->
16     <argument value ="600"/>            <!-- deadline -->
17   </process>
18
19   <process host="Jacquelin" function="node">
20     <argument value="1"/>         <!-- my id -->
21     <argument value ="600"/>            <!-- deadline -->
22   </process>
23
24 </platform>