@adn Il y a des incidents qui ont pour origine des bugs et d’autres non (erreur de manip par exemple). Ici, il s’agit d’une série d’incidents causés par un bug.
Visiblement, toute la chaîne de communication, entre celui qui à constaté l’incident et l’auteur de l’article ne sait pas ce que signifie « core dump ».
« core dump » n’est pas une cause mais une conséquence. C’est un message écrit par un programme qui plante et dont le plantage génère un fichier de debug concernant l’état de la mémoire au moment où le crash s’est produit. Ce sont des fichiers de type « core ». « core dump » signifie juste que le processus a généré un fichier core avant de s’arrêter.
Le coup classique, c’est un déréférencement de mémoire invalide (adresse mémoire qui n’appartient pas au processus). C’est ce qu’on appelle une erreur de segmentation (segmentation fault). Dans ce cas, il se fait tuer par l’OS et génère un fichier core. Mais ce n’est qu’une des causes possibles.
En tout cas, c’est un problème logiciel. On parle donc bien de bug :)
