========================================================================
+-- Wed, Feb 29 16:16:45 2012 +0100
+
+Les exécutions parallèles donnent des résultats différents.
+Pourquoi ?
+
+========================================================================
+##### MOSTLY RESOLVED BUGS COME AFTER THIS #############################
+========================================================================
-- Wed, 02 May 2018 10:48:05 +0200
Fort ralentissement d'un facteur 2, voire plus, avec les versions récentes de
SimGrid (3.18, 3.19.1). Il semblerait que l'utilisation d'exceptions en cas de
timeout dans les simcalls soit coûteuse. À vérifier.
-========================================================================
--- Wed, Feb 29 16:16:45 2012 +0100
+-- Mon, 07 May 2018 16:05:49 +0200
-Les exécutions parallèles donnent des résultats différents.
-Pourquoi ?
+Les exceptions ne sont plus utilisées depuis le commit
+8efeb3a6aa2c201800a3ba19416ea9728af3bff6 (Stop using costly exceptions on
+timeout for simix synchros).
+
+Le ralentissement restant dans lmm_solve() semble venir essentiellement du
+commit f3677661714bf6122d678071c0bd44141417be14 (Fix bug #17132 (surf.c:366: The
+Impossible Did Happen (yet again))).
-========================================================================
-##### MOSTLY RESOLVED BUGS COME AFTER THIS #############################
========================================================================
-- Wed, 02 May 2018 10:44:41 +0200