Le nouveau mode --shuffle de GNU Make : découverte de bogues cachés dans les compilations parallèles
2024-12-16
Pendant onze ans, des bogues difficiles à reproduire ont affecté les compilations parallèles dans GNU Make. Inspiré par cela, un nouveau mode `--shuffle` a été développé pour réorganiser aléatoirement les cibles du Makefile, simulant un ordre de compilation non déterministe. Cela a révélé efficacement des bogues cachés dans plus de 30 paquets, notamment gcc, vim et ghc. Désormais intégré à GNU Make 4.4, ce mode est accessible via `make --shuffle` ou la variable d’environnement `GNUMAKEFLAGS=--shuffle`. Cette fonction puissante aide les développeurs à identifier et à résoudre les problèmes de compilation parallèle, soulignant l’amélioration continue des outils de développement logiciel.
Lire plus