przepełnienie stosu

Przepełnienie stosu (ang. stack overflow) – rodzaj błędu w oprogramowaniu komputerowym, który występuje, gdy rozmiar stosu przekroczy ilość pamięci zarezerwowanej dla niego. Maksymalny rozmiar stosu jest zwykle ograniczony i ustalany na początku działania programu i zależy od języka programowania, architektury systemu, ustawionego trybu pracy i ilości dostępnej pamięci, najczęściej jest rzędu 1 MB (w systemach 16-bitowych maksymalna wielkość stosu była ograniczona do 64 kB). W wielu językach programowania można określić początkową wielkość stosu, na jakim będzie pracował program. Skutkiem przepełnienia stosu, gdy nie przygotowano programu na tę okoliczność jest nagłe przerwanie jego działania. Do przepełnienia stosu dochodzi zazwyczaj, gdy: * wywoływanych jest kaskadowo zbyt wiele funkcji (każda funkcja wywołuje kolejną); * obszerne parametry do funkcji są przekazywane bezpośrednio (np. tablice jako wartości), a nie przez wskaźniki; * w funkcji deklarowane są zmienne lokalne o dużej objętości (np. tablice wielowymiarowe). Najczęstszą przyczyną przepełniania stosu jest nieskończona rekurencja. Gdy przeprowadzona jest optymalizacja rekurencji ogonowej nieskończona rekurencja może zaistnieć bez przepełnienia stosu, bo kolejne wywołania tej funkcji nie zajmują dodatkowego miejsca na stosie – co w rezultacie prowadzi do pętli nieskończonej. Gdy język nie wspiera rekurencji ogonowej można stosować trampolinę, aby nie zużywać stosu i nie doprowadzić do przepełnienia stosu.