Stapelüberlauf

aus Wikipedia, der freien Enzyklopädie
Zur Navigation springen Zur Suche springen

Ein Stapelüberlauf (englisch stack overflow) findet statt, wenn der Aufrufstapel eines Programms die Größe des dafür vorgesehenen Speicherbereichs überschreitet.[1]

Ein Stapelüberlauf verursacht üblicherweise den Absturz des Programms.

Da jeder Unterfunktionsaufruf durch einen Stack-Frame, der u. a. Funktionsargumente, lokale Variablen und die Rücksprungadresse enthält, repräsentiert wird, kann exzessive oder gar unendliche Rekursion den Aufrufstapel zum Überlaufen bringen.

Die folgende rekursive C-Funktion, die das i-te Element der Fibonacci-Folge zurückgibt, verursacht einen Stapelüberlauf, wenn i ausreichend groß ist.

long long fibonacci(int i) {
    if (i == 0) return 0;
    if (i == 1) return 1;
    return fibonacci(i-1) + fibonacci(i-2);
}

Große lokale Variablen

[Bearbeiten | Quelltext bearbeiten]

Da lokale Variablen üblicherweise im Aufrufstapel abgelegt werden, kann eine einzige übergroße lokale Variable einen Stapelüberlauf verursachen.

Das folgende C-Programm verwendet eine absurd große lokale Variable und kann somit einen Stapelüberlauf verursachen.

#include<stdio.h>

int main() {
    double daten[17179869184];
    printf("%f", daten[17179869183]);
    return 0;
}

Rekursive Funktionen können immer in iterative umgewandelt werden, bei linear-rekursiven Funktionen (solche mit nur einem Rekursionsaufruf) und einigen weiteren einfachen Fällen geht das sogar formal.[2] Einer iterativen Funktion, die nötigenfalls auch den Laufzeitstack imitiert (indem z. B. eine Stack-Datenstruktur „von Hand“ gefüllt wird), steht der gesamte Speicherbereich des Systems zur Verfügung, der üblicherweise mehrere Größenordnungen großzügiger ausfällt. Den Vorgang, bei dem eine rekursive Funktion in eine iterative überführt wird, nennt man Entrekursivierung. Nachteilig ist der oft komplexere Code und die dadurch eben nötige manuelle Speicherverwaltung, sofern nicht eine Laufzeitumgebung mit automatischer Speicherverwaltung eingesetzt wird.

Einzelnachweise

[Bearbeiten | Quelltext bearbeiten]
  1. Robert Sheldon: What is stack overflow? Abgerufen am 27. August 2023 (englisch).
  2. Peter Padawitz: Formale Methoden des Systemaufrufs. TU Dortmund, Dortmund 3. Februar 2021, S. 140 ff. (Volltext [PDF; abgerufen am 27. August 2023]).