Qu'est-ce qu'un débordement de pile?

Le dépassement de capacité est une erreur de programmation dans laquelle une tentative d'écriture de données dans un bloc de mémoire particulier échoue car il n'y a plus d'espace disponible dans le bloc. Ce type d'erreur se produit de la même manière que les dépassements de mémoire tampon, les dépassements de segment de mémoire et les dépassements de mémoire tampon de pile. La différence entre ces types d’erreurs dépend de la structure de données de l’ordinateur utilisée. La caractéristique commune est qu’il est tenté d’écrire plus de données que l’espace disponible pour les conserver.

Les symptômes d'un dépassement de capacité de la pile peuvent varier en fonction du langage informatique utilisé et du mécanisme de rapport d'erreur disponible. En C ++, un débordement de pile se manifeste souvent par une erreur de segmentation et souvent, aucune information supplémentaire n'est fournie pour déterminer où et comment le débordement s'est produit. Un débordement dans Java entraîne souvent un blocage de la machine virtuelle qui génère un fichier d'erreur raisonnablement détaillé. Indépendamment de la langue dans laquelle se produit un débordement, le débordement peut presque toujours être corrigé par un débogage et une identification corrects de la source de débordement d'origine.

Les langages informatiques offrant une gestion explicite de la mémoire sont souvent plus faciles à protéger contre le débordement de la pile. Une pratique de programmation largement acceptée dicte généralement que, pour chaque segment de mémoire alloué par un programme, le programme doit également se supprimer. C ++ permet ce mécanisme, et une surveillance attentive de cette manière peut limiter au maximum la quantité de mémoire utilisée par un programme. Les langues qui n'offrent pas de gestion de mémoire explicite, mais utilisent plutôt une gestion de mémoire implicite, sont plus difficiles à protéger des erreurs de débordement de pile. Java gère sa propre mémoire au sein de sa machine virtuelle. Par conséquent, les données ne peuvent pas être supprimées de manière explicite pour en faire de la place.

Une erreur courante des programmeurs débutants est de supposer qu'un débordement de pile ne peut pas se produire dans les langages informatiques qui gèrent leur propre gestion de mémoire. Bien que cela semble plausible au début, ce n'est pas le cas. Les langages avec gestion implicite de la mémoire ont souvent des garbage collecteurs qui libèrent des blocs inutiles de mémoire, mais ces garbage collecteurs ne fonctionnent pas toujours au moment prévu par le programmeur. S'en remettre aux éboueurs est relativement dangereux et ne permet pas toujours de protéger un programme contre une erreur de débordement.

Les erreurs de débordement peuvent être cataclysmiques et arrêter un programme entier, ou elles peuvent être presque silencieuses et permettre à un programme de continuer. Ces deuxièmes types d’erreurs sont souvent les plus difficiles à trouver car une erreur provenant d’un dépassement de capacité de plusieurs lignes de code peut se produire. Un débordement de pile ne nécessite pas souvent une recherche dans un programme entier, mais plus un programme peut être long après un débordement, plus l'erreur peut être difficile à trouver et à corriger.