Co je to přetečení zásobníku?

Přetečení zásobníku je chyba programování, při níž se nezdaří pokus o zápis dat do konkrétního bloku paměti, protože v bloku nezbývá žádné místo. Tento typ chyby se děje stejným způsobem jako přetečení vyrovnávací paměti, přetečení haldy a přetečení vyrovnávací paměti zásobníku. Rozdíl mezi těmito typy chyb závisí na použité počítačové datové struktuře a společnou vlastností je, že dojde k pokusu o zápis více dat, než je k dispozici místo pro jejich uložení.

Příznaky přetečení zásobníku se mohou lišit v závislosti na používaném jazyce počítače a dostupném stroji pro hlášení chyb. V C ++ se přetečení zásobníku často projevuje jako chyba segmentace a často neexistují žádné další informace, které by určovaly, kde a jak k přetečení došlo. Přetečení v Javě má ​​často za následek selhání virtuálního stroje, které rozdává přiměřeně detailní chybový soubor. Bez ohledu na jazyk, ve kterém dochází k přetečení, lze přetečení téměř vždy opravit správným laděním a identifikací původního zdroje přetečení.

Počítačové jazyky, které nabízejí explicitní správu paměti, se často snáze ochrání před přetečením zásobníku. Široce přijímaná praxe programování obvykle diktuje, že pro každý segment paměti, který program přiděluje, by se měl program také odstranit sám. C ++ umožňuje tento mechanismus a pečlivé sledování tímto způsobem může udržovat množství paměti, kterou program používá, na minimu. Jazyky, které nenabízejí explicitní správu paměti a místo toho používají implicitní správu paměti, je obtížnější chránit před chybami přetečení zásobníku. Java zpracovává svou vlastní paměť uvnitř svého virtuálního počítače, takže data nemohou být explicitně smazána, aby se uvolnil prostor pro více.

Běžnou chybou začínajících programátorů je předpokládat, že v počítačích, které zpracovávají vlastní správu paměti, nemůže dojít k přetečení zásobníku. I když se to na první pohled zdá pravděpodobné, ve skutečnosti tomu tak není. Jazyky s implicitní správou paměti mají často sběrače odpadu, které uvolňují zbytečné bloky paměti, ale tyto sběrače odpadu nefungují vždy v době, kdy programátor očekává. Spoléhání se na sběratele odpadu je relativně nebezpečné a nemůže vždy chránit program před chybou přetečení.

Chyby přetečení mohou být kataklyzmatické a mohou zastavit celý program, nebo mohou být téměř tiché a umožňují programu pokračovat dále. Tyto druhé typy chyb jsou často nejtěžší najít, protože může nastat chyba, která přišla z přetečení mnoha řádků kódu dříve. Přetečení zásobníku často nevyžaduje vyhledávání v celém programu, ale čím déle se program může spustit po přetečení, tím obtížnější může být hledání a oprava chyby.