Wie erzwingt der Linux-Kernel Stapelgrößenbeschränkungen?

Question

Ich weiß, dass die Stapelgröße durch die Begrenzungsfunktion steuerbar ist, aber wie setzt der Kernel einige dieser Grenzen durch, wie RLIMIT_STACK? Da Linux nicht in Stack-Operationen involviert ist (es ist nur eine mov- oder push-Anweisung), wie setzt der Kernel SIGSEGV ab, wenn Sie das Limit überschreiten? Ich verstehe, dass die CPU für die virtuelle Adressierung eine Funktion bietet, die der Linux-Kernel verwenden kann. Ist das ähnlich wie die Begrenzung der Stapelgröße erzwungen? Oder führt Linux eine routinemäßige Überprüfung der Stack-Größen durch und gibt Segment-Defaults "nach dem Verbrechen" aus? Oder gibt es eine dritte Option?

Answer 1

Der Kernel kann dies aufgrund des virtuellen Speichers steuern. Der virtuelle Speicher (auch bekannt als Speicherabbildung) ist im Grunde eine Liste von virtuellen Speicherbereichen (Basis + Größe) und einem physikalischen Zielspeicherbereich, den der Kernel bearbeiten kann, der für jedes Programm einzigartig ist. Wenn ein Programm versucht, auf eine Adresse zuzugreifen, die nicht in dieser Liste enthalten ist, tritt eine Ausnahme auf. Diese Ausnahme bewirkt einen Kontextwechsel in den Kernel-Modus. Der Kernel kann den Fehler nachschlagen. Wenn der Speicher gültig werden soll, wird er an Ort und Stelle gesetzt, bevor das Programm fortgesetzt werden kann (zum Beispiel tauschen und mmap noch nicht von der Platte lesen), oder es kann ein SEGFAULT erzeugt werden.

Um die Begrenzung der Stackgröße zu bestimmen, manipuliert der Kernel einfach die virtuelle Speicherzuordnung.