Přetečení zásobníku

V oblasti výpočetní techniky dochází k přetečení zásobníku , když je na zásobníku vyžadováno příliš mnoho paměti .

V mnoha programovacích jazycích obsahuje zásobník volání omezené množství paměti, které je obvykle opraveno při spuštění programu. Velikost zásobníku závisí na mnoha faktorech, včetně programovacího jazyka, architektury stroje, použití multithreadingu a dostupnosti paměti v systému. Když je v zásobníku použito příliš mnoho paměti , říká se, že dojde k přetečení a dojde k pádu programu . Tato třída chyb je obvykle způsobena jedním ze dvou typů programovacích chyb : nekonečná rekurze a použití velmi velkých proměnných zásobníku.

Nekonečná rekurze

Nejčastější příčinou přetečení zásobníku je rekurze s nadměrnou nebo nekonečnou hloubkou.

Jazyky, které implementují techniku ​​tail rekurze , jako je jazyk Scheme , umožňují konkrétní nekonečnou rekurzi, kterou lze provádět bez přetečení zásobníku. Je to proto, že volání využívající tail-recursion nevyžadují další zásobník .

Velmi velké proměnné zásobníku

Další hlavní příčinou přetečení zásobníku je pokus o přidělení více paměti, než je v zásobníku k dispozici. To se stane, když vytvoříte velmi velké pole lokálních proměnných . Z tohoto důvodu by pole větší než několik kilobajtů měla být alokována dynamicky , spíše než je alokovat jako lokální proměnné .

Příčiny, které mohou snížit dostupnou velikost zásobníku a tím zvýšit pravděpodobnost přetečení zásobníku

Přetečení zásobníku je spojeno se vším, co snižuje efektivní velikost zásobníku programu .

Například program spuštěný jako jedno vlákno může fungovat správně, ale pokud stejný program běží s více vlákny, dojde k selhání programu , protože mnoho programů, které používají vlákna, má pro každé vlákno k dispozici menší zásobník než program. nepoužívá vlákna.

Podobně těm, kteří studují vývoj jádra , se doporučuje nepoužívat rekurzivní algoritmy a velmi velké vyrovnávací paměti v zásobníku .

Příklady v jazyce C / C ++

Nekonečná rekurze s jednou funkcí

 void f () {  
   f ();
 }
 int main ( void ) {  
   f ();
   návrat 0 ; 
 }

Tento úryvek kódu volá funkci f() a ta f()zase volá sama sebe, čímž generuje nekonečnou rekurzi.

Nekonečná rekurze se dvěma funkcemi

 void f ( void ); void g ( void );  
  
 
 int main ( void ) {  
   f ();
  
   návrat 0 ; 
 }
 
 void f ( void ) {  
   g ();
 }
 
 void g ( void ) {  
   f (); }  
 

Funkce f()a funkce se g()navzájem volají nepřetržitě, dokud nedojde k přetečení zásobníku.

Proměnná v zásobníku je příliš velká

 int main ( void ) {  
   dvojité n [ 10000000 ]; návrat 0 ;  
    
 }

Pole deklarované v tomto fragmentu kódu vyžaduje více paměti, než je dostupné v zásobníku, což způsobuje přetečení zásobníku.

Související položky

• Přetečení haldy
• Přetečení zásobníku