From ffac3366f3861a168e190be66b315008b52b5215 Mon Sep 17 00:00:00 2001 From: Quentin Dufour Date: Tue, 19 Apr 2016 15:21:59 -0400 Subject: [PATCH] Typo #1 --- _posts/2016-04-19-quelques-bugs-etonnants.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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).