Replace NULL with nullptr.

[loba.git] / BUGS

diff --git a/BUGS b/BUGS
index 579a00aceb58a7fd138008d4de9c6806eb7b3906..5fd633b52cc6cb8d24fc4d8443e4c5fb49eb0720 100644 (file)
--- a/BUGS
+++ b/BUGS
@@ -1,18 +1,28 @@
 ========================================================================
 ========================================================================

+-- 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, 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
 
 ========================================================================
 -- Wed, 02 May 2018 10:44:41 +0200