Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : add comments for the example bugged2_liveness
[simgrid.git] / examples / msg / gtnets / fullduplex-p.xml
1 <?xml version='1.0'?>
2 <!DOCTYPE platform SYSTEM "http://simgrid.gforge.inria.fr/simgrid.dtd">
3 <platform version="3"><!--- 
4    S1  --------- C1
5         link 1
6         100MB, 5ms
7 -->
8
9 <AS id="1" routing="Full">
10   <host id="S1" power="1000000000"/>
11   <host id="C1" power="1000000000"/>
12
13   <link id="1" bandwidth="10000" latency="0.01" sharing_policy="FULLDUPLEX"/>
14
15   <route src="S1" dst="C1" symmetrical="NO">
16      <link_ctn id="1" direction="DOWN"/>
17   </route>
18
19   <route src="C1" dst="S1" symmetrical="NO">
20      <link_ctn id="1" direction="UP"/>
21   </route>
22
23 </AS>
24 </platform>