Is your software research correct? [Virgile Andréani (InBio)]
mercredi 5 septembre 2018
« … et des bonnes_pratiques pour éviter ce genre de problèmes ! »
The war over supercooled water [Virgile Andréani (InBio)]
mercredi 5 septembre 2018
« L'histoire d'un conflit entre deux chercheurs renommés à propos de résultats d'une simulation numérique, qui ont mis sept ans à se rendre compte que le code de l'une des deux équipes contenait une erreur, indétectable à la seule lecture des articles. Le bug a été découvert en quelques semaines à partir du moment où le code a été communiqué. »
jeudi 16 mars 2017
« Un point de vue intéressant sur la vraie valeur ajoutée apportée par Valgrind dans le processus de développement: l’article illustre que Valgrind est souvent réduit à sa fonction de recherche des fuites de mémoire, alors qu’il peut être utilisé plus en amont pour déceler d’autres problèmes (même si on peut arguer que les compilateurs modernes en trouvent déjà un certain nombre si leurs warnings sont activés, par exemple -Weverything avec clang). »
vendredi 20 janvier 2017
« Une introduction à la fonctionnalité spacetime introduite dans OCaml 4.04.0 pour voir la consommation mémoire d'un programme, quelle fonction alloue combien, etc, au fil du temps. »
vendredi 9 septembre 2016
« Une introduction rapide à tmpfs comme solution pour accélérer l'exécution de votre suite de tests. »
vendredi 9 septembre 2016
« Une présentation de plusieurs outils de débogage sous Linux (réseau, performance, appels systèmes...) »
Rubber Duck Debugging [Alexandre]
vendredi 18 décembre 2015
« Une autre manière de débugger un programme. »
AddressSanitizer [Vincent]
vendredi 11 décembre 2015
« Clang 3.1 et GCC 4.8 proposent cet outil de détection de corruption mémoire. Il suffit de compiler avec l'option -fsanitize=address. La documentation Wikipedia explique les différents messages émis à l'exécution du code en fonction du type de corruption. »
vendredi 18 septembre 2015
« Un petit tutoriel pour prendre en main valgrind avec des exemples et leurs résultats »