Antwoord.

Een stack overflow is een situatie waarin een programma meer geheugen gebruikt op de stack dan dat door het systeem is toegewezen. Historisch gezien werd de stack gebruikt voor het opslaan van lokale variabelen, retouradressen en tijdelijke gegevens bij functieaanroepen. In vroege implementaties van C was de stack vrij klein en niet beschermd tegen overschrijding.

Probleem doet zich voor wanneer een functie of reeks functieaanroepen te veel lokale variabelen gebruikt of recursieve functies zonder exitvoorwaarden aanroept, waardoor het programma gegevens buiten het toegewezen geheugen op de stack schrijft, wat leidt tot fouten, crashes en kwetsbaarheden.

Oplossing is om geheugenbesparende functies te ontwerpen, diepe of oneindige recursies te vermijden en grote objecten niet op de stack te plaatsen. Het besturingssysteem kan overschrijding voorkomen met behulp van geheugensegmentbescherming (guard pages), maar de ontwikkelaar is verantwoordelijk voor het schrijven van code die geen overflow veroorzaakt.

Voorbeeldcode die een stack overflow veroorzaakt door oneindige recursie:

void foo() {
    int arr[1000]; // Grote lokale array verergert het probleem
    foo(); // Recursieve aanroep zonder exit
}

int main() {
    foo();
    return 0;
}

Belangrijke kenmerken:

De stack is beperkt in grootte; overschrijding resulteert in een fout of crash.
Diepe of ongecontroleerde recursie is de belangrijkste oorzaak van overflow.
Het controleren van de plaatsing van grote gegevens op de stack is de verantwoordelijkheid van de ontwikkelaar.

Misleidende vragen.

Wat gebeurt er als je een zeer grote lokale array binnen een functie declareert (bijvoorbeeld int arr[1000000])?

Antwoord: Een grote lokale array kan onmiddellijk de hele stack gebruiken. Afhankelijk van het OS en de compiler kan dit leiden tot een crash bij het aanroepen van de functie of zelfs een crash van het programma.

Voorbeeldcode:

void func() {
    int arr[1000000]; // Heel veel geheugen
    arr[0] = 1;
}

Leidt recursie altijd tot stack overflow?

Antwoord: Nee, recursie is nuttig als deze beperkt is in diepte. Overflow gebeurt alleen als de diepte van de recursie groot is of niet is beperkt.

Kun je grote statische arrays binnen functies plaatsen om geheugen te besparen?

Antwoord: Nee, grote statische arrays binnen een functie nemen nog steeds geheugen in, maar in het segment van statische gegevens in plaats van de stack. Dit is niet altijd efficiënt, vooral als tijdelijke lokale geheugen nodig is.

Voorbeeldcode:

void func() {
    static int arr[1000000]; // Niet op de stack, maar statisch bereik is permanent bezet
}

Typische fouten en anti-patronen

Het plaatsen van grote arrays/structuren op de stack.
Gebruik van ongecontroleerde recursie.
Het negeren van dieptecontroles in functies.

Voorbeeld uit het leven

Negatieve case

Een programmeur implementeerde een snelle sortering via recursie om een grote array te sorteren zonder de aanroepdiepte te beperken of exitvoorwaarden te gebruiken. De code leidde tot stack overflow bij de verwerking van echte gegevens.

Voordelen:

Mooie en beknopte recursieve implementatie.

Nadelen:

Werkelijke ontoegankelijkheid van het algoritme bij grote gegevens, frequente crashes.
Programmafout in het veld.

Positieve case

Een andere programmeur gebruikte een iteratieve implementatie met een eigen kleine stack op de heap, controleerde de diepte van de recursie en allocatere grote tijdelijke arrays via malloc.