diff --git a/_posts/2016-04-19-quelques-bugs-etonnants.md b/_posts/2016-04-19-quelques-bugs-etonnants.md index 2f8093d..9d0c7df 100644 --- a/_posts/2016-04-19-quelques-bugs-etonnants.md +++ b/_posts/2016-04-19-quelques-bugs-etonnants.md @@ -109,7 +109,7 @@ index 2721cf8..aac1ed3 100644 } ``` -Cet épisode fut l'occasion pour moi de découvrir comme un serveur se comporte en l'absence de mémoire vive libre, comment est géré la mémoire vive dans le noyau. J'ai eu beaucoup de chance que le bug soit déjà corrigé. +Cet épisode fut l'occasion pour moi de découvrir comment un serveur se comporte en l'absence de mémoire vive libre, comment est géré la mémoire vive dans le noyau. J'ai eu beaucoup de chance que le bug soit déjà corrigé. Il semble qu'un outil nommé [kmemleak](https://www.kernel.org/doc/Documentation/kmemleak.txt) a été créé dans l'objectif de découvrir ce genre de bugs. La question que tout le monde se pose : est ce que ça aurait pu arriver sur Windows ? Je ne sais pas, mais Microsoft propose aussi des outils pour vérifier ses pilotes, nommés [Driver Verifier](https://msdn.microsoft.com/en-us/library/windows/hardware/ff545448(VS.85).aspx).