Be consistent and hold mutex in any case when returning from condition_t::timedwait().

[loba.git] / Experimentations / grid4096.xml

diff --git a/Experimentations/grid4096.xml b/Experimentations/grid4096.xml
index cbaef9b7870d7bb0ed8b6ecdf58876899055c6cf..ca2e5da4f24a2e84d6230f691ddcad6a9d397797 100644 (file)
--- a/Experimentations/grid4096.xml
+++ b/Experimentations/grid4096.xml
@@ -1,7 +1,7 @@
 <?xml version='1.0'?>
 <!DOCTYPE platform SYSTEM "http://simgrid.gforge.inria.fr/simgrid.dtd">
 <!-- ...................................................................... -->
 <?xml version='1.0'?>
 <!DOCTYPE platform SYSTEM "http://simgrid.gforge.inria.fr/simgrid.dtd">
 <!-- ...................................................................... -->

-<!-- ... Platform description file for a 256 hosts grid, based on ......... -->
+<!-- ... Platform description file for a 4096 hosts grid, based on ........ -->

 <!-- ... Platform description file for GRID5000 ........................... -->
 <!-- ....................................................... 24/09/2010 ... -->
 <!-- ...................................................................... -->
 <!-- ... Platform description file for GRID5000 ........................... -->
 <!-- ....................................................... 24/09/2010 ... -->
 <!-- ...................................................................... -->