Stakoverløb

Ved databehandling opstår et stak-overløb , når der kræves for meget hukommelse på stakken .

I mange programmeringssprog indeholder opkaldsstakken en begrænset mængde hukommelse, normalt fast ved programstart. Størrelsen af ​​stakken afhænger af mange faktorer, herunder programmeringssproget, maskinens arkitektur , brugen af ​​multithreading og tilgængeligheden af ​​hukommelse i systemet. Når der bruges for meget hukommelse i stakken , siges det, at der opstår et overløb , og at der opstår et programnedbrud . Denne klasse af fejl er normalt forårsaget af en af ​​to typer programmeringsfejl : uendelig rekursion og brug af meget store stakvariabler.

Uendelig rekursion

Den mest almindelige årsag til et stackoverløb er rekursion med for stor eller uendelig dybde.

Sprog, der implementerer halerekursionsteknikken , såsom Scheme -sproget , tillader en bestemt uendelig rekursion, der kan udføres uden stak-overløb. Dette skyldes, at opkald, der bruger hale-rekursion, ikke kræver yderligere stakplads .

Meget store stakvariabler

Den anden hovedårsag til stak-overløb er et forsøg på at allokere mere hukommelse, end der er tilgængeligt på stakken. Dette sker, når du opretter et meget stort udvalg af lokale variabler . Af denne grund bør arrays større end nogle få kilobytes tildeles dynamisk i stedet for at allokere dem som lokale variabler .

Årsager, der kan reducere den tilgængelige stakstørrelse og dermed gøre et stackoverløb mere sandsynligt

Stakoverløb forstærkes af alt, der reducerer et programs effektive stakstørrelse .

For eksempel kan et program, der kører som en enkelt tråd , fungere korrekt, men hvis det samme program kører med flere tråde, opstår der et programnedbrud , fordi mange programmer, der bruger tråde, har en mindre stak tilgængelig for hver enkelt tråd end et program. bruger ikke tråde.

Tilsvarende rådes dem , der studerer kerneudvikling , til ikke at bruge rekursive algoritmer og meget store buffere i stakken .

Eksempler i C / C ++ sproget

Uendelig rekursion med én funktion

 void f () {  
   f ();
 }
 int main ( void ) {  
   f ();
   returnere 0 ; 
 }

Dette kodestykke kalder funktionen f() , og funktionen f()kalder igen sig selv og genererer derved en uendelig rekursion.

Uendelig rekursion med to funktioner

 void f ( void ); void g ( void );  
  
 
 int main ( void ) {  
   f ();
  
   returnere 0 ; 
 }
 
 void f ( void ) {  
   g ();
 }
 
 void g ( void ) {  
   f (); }  
 

Funktionen f()og funktionen g()kalder hinanden kontinuerligt, indtil stakoverløbet opstår.

Variabel i stakken for stor

 int main ( void ) {  
   dobbelt n [ 10000000 ]; returnere 0 ;  
    
 }

Det array, der er erklæret i dette kodestykke, kræver mere hukommelse, end der er tilgængeligt på stakken, hvilket forårsager et stackoverløb.

Relaterede emner

• Hobe overløb
• Bufferoverløb