A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Add sources for rngstreams
[simgrid.git]
/
src
/
surf
/
simgrid.dtd
diff --git
a/src/surf/simgrid.dtd
b/src/surf/simgrid.dtd
index
3100ee3
..
ccefd44
100644
(file)
--- a/
src/surf/simgrid.dtd
+++ b/
src/surf/simgrid.dtd
@@
-1,5
+1,5
@@
<!-- Small DTD for SURF based tools. -->
<!-- Small DTD for SURF based tools. -->
-<!ELEMENT platform ((config
)?
,(include|cluster|peer|AS|trace|trace_connect)*,(include|process)*)>
+<!ELEMENT platform ((config
|random)*
,(include|cluster|peer|AS|trace|trace_connect)*,(include|process)*)>
<!ATTLIST platform version CDATA "0.0">
<!ELEMENT trace (#PCDATA)>
<!ATTLIST platform version CDATA "0.0">
<!ELEMENT trace (#PCDATA)>
@@
-13,7
+13,9
@@
<!ATTLIST random max CDATA #REQUIRED>
<!ATTLIST random mean CDATA #REQUIRED>
<!ATTLIST random std_deviation CDATA #REQUIRED>
<!ATTLIST random max CDATA #REQUIRED>
<!ATTLIST random mean CDATA #REQUIRED>
<!ATTLIST random std_deviation CDATA #REQUIRED>
-<!ATTLIST random generator (DRAND48|RAND) "DRAND48">
+<!ATTLIST random seed CDATA "2147483647">
+<!ATTLIST random radical CDATA "">
+<!ATTLIST random generator (DRAND48|RAND|RNGSTREAM|NONE) "DRAND48">
<!ELEMENT trace_connect EMPTY>
<!ATTLIST trace_connect kind (HOST_AVAIL|POWER|LINK_AVAIL|BANDWIDTH|LATENCY) "HOST_AVAIL">
<!ELEMENT trace_connect EMPTY>
<!ATTLIST trace_connect kind (HOST_AVAIL|POWER|LINK_AVAIL|BANDWIDTH|LATENCY) "HOST_AVAIL">
@@
-24,6
+26,7
@@
<!ATTLIST AS id CDATA #REQUIRED>
<!ATTLIST AS routing CDATA #REQUIRED>
<!ATTLIST AS id CDATA #REQUIRED>
<!ATTLIST AS routing CDATA #REQUIRED>
+<!ATTLIST AS coordinates CDATA "">
<!ELEMENT host (prop*)>
<!ATTLIST host id CDATA #REQUIRED>
<!ELEMENT host (prop*)>
<!ATTLIST host id CDATA #REQUIRED>
@@
-48,6
+51,8
@@
<!ATTLIST cluster bb_bw CDATA #REQUIRED>
<!ATTLIST cluster bb_lat CDATA #REQUIRED>
<!ATTLIST cluster bb_sharing_policy (SHARED|FATPIPE) "SHARED">
<!ATTLIST cluster bb_bw CDATA #REQUIRED>
<!ATTLIST cluster bb_lat CDATA #REQUIRED>
<!ATTLIST cluster bb_sharing_policy (SHARED|FATPIPE) "SHARED">
+<!ATTLIST cluster availability_file CDATA "">
+<!ATTLIST cluster state_file CDATA "">
<!ELEMENT peer EMPTY>
<!ATTLIST peer id CDATA #REQUIRED>
<!ELEMENT peer EMPTY>
<!ATTLIST peer id CDATA #REQUIRED>
@@
-57,6
+62,8
@@
<!ATTLIST peer lat CDATA #REQUIRED>
<!ATTLIST peer coordinates CDATA "">
<!ATTLIST peer sharing_policy (SHARED|FULLDUPLEX) "FULLDUPLEX">
<!ATTLIST peer lat CDATA #REQUIRED>
<!ATTLIST peer coordinates CDATA "">
<!ATTLIST peer sharing_policy (SHARED|FULLDUPLEX) "FULLDUPLEX">
+<!ATTLIST peer availability_file CDATA "">
+<!ATTLIST peer state_file CDATA "">
<!ELEMENT router EMPTY>
<!ATTLIST router id CDATA #REQUIRED>
<!ELEMENT router EMPTY>
<!ATTLIST router id CDATA #REQUIRED>
@@
-103,7
+110,7
@@
<!ELEMENT argument EMPTY>
<!ATTLIST argument value CDATA #REQUIRED>
<!ELEMENT argument EMPTY>
<!ATTLIST argument value CDATA #REQUIRED>
-<!ELEMENT config (prop*
|random
)>
+<!ELEMENT config (prop*)>
<!ATTLIST config id CDATA "">
<!ELEMENT prop EMPTY>
<!ATTLIST config id CDATA "">
<!ELEMENT prop EMPTY>