Was ist "automatische Stapelerweiterung"?

getrlimit (2) hat in den Manpages folgende Definition:

RLIMIT_AS Die maximale Größe des virtuellen Speichers (Adressraum) des Prozesses in Byte. Dieses Limit wirkt sich auf Aufrufe von brk (2), mmap (2) und mremap (2) aus, die beim Überschreiten dieses Limits mit dem Fehler ENOMEM fehlschlagen. Auch die automatische Stapelerweiterung schlägt fehl (und generiert ein SIGSEGV, das den Prozess abbricht, wenn kein alternativer Stapel über Sigaltstack (2) verfügbar gemacht wurde). Da der Wert a long ist, beträgt dieser Grenzwert auf Computern mit einer Länge von 32 Bit höchstens 2 GiB, oder diese Ressource ist unbegrenzt.

Was ist hier mit "automatischer Stapelerweiterung" gemeint? Wächst der Stack in einer Linux / UNIX-Umgebung nach Bedarf? Wenn ja, welchen genauen Mechanismus gibt es?

Ja, Stapel wachsen dynamisch. Der Stapel befindet sich oben im Speicher und wächst nach unten zum Haufen.

--------------
| Stack      |
--------------
| Free memory|
--------------
| Heap       |
--------------
     .
     .

Der Heap wächst nach oben (wann immer Sie malloc machen) und der Stack wächst nach unten, wenn neue Funktionen aufgerufen werden. Der Heap befindet sich direkt über dem BSS-Abschnitt des Programms. Dies bedeutet, dass die Größe Ihres Programms und die Art und Weise, wie der Speicher im Heapspeicher aufgeteilt wird, auch die maximale Stapelgröße für diesen Prozess beeinflusst. Normalerweise ist die Stapelgröße unbegrenzt (bis sich Heap- und Stapelbereiche treffen und / oder überschreiben, was zu einem Stapelüberlauf und SIGSEGV führt :-)

Dies ist nur für die Benutzerprozesse, Der Kernel-Stack ist immer fest (in der Regel 8KB)

Der genaue Mechanismus ist hier unter Linux angegeben: Wenn Sie einen Seitenfehler bei anonymen Zuordnungen behandeln , überprüfen Sie , ob es sich um eine "gewachsene Do-Zuweisung" handelt , die Sie wie einen Stapel erweitern sollten. Wenn der VM-Bereichsdatensatz angibt, dass Sie sollten, passen Sie die Startadresse an, um den Stapel zu erweitern.

Wenn ein Seitenfehler auftritt, kann er abhängig von der Adresse über die Stapelerweiterung behoben (und der Fehler gelöscht) werden. Dieses Verhalten für den virtuellen Speicher, das bei einem Fehler nach unten wächst, kann von beliebigen Benutzerprogrammen angefordert werden, wobei das MAP_GROWSDOWNFlag an den mmapSystemaufruf übergeben wird.

Mit diesem Mechanismus können Sie auch in einem Anwenderprogramm herumspielen:

#include <assert.h>
#include <stdio.h>
#include <stdlib.h>
#include <unistd.h>
#include <sys/mman.h>

int main() {
        long page_size = sysconf(_SC_PAGE_SIZE);
        void *mem = mmap(NULL, page_size, PROT_READ|PROT_WRITE, MAP_GROWSDOWN|MAP_ANONYMOUS|MAP_PRIVATE, -1, 0);
        if (MAP_FAILED == mem) {
                perror("failed to create growsdown mapping");
                return EXIT_FAILURE;
        }

        volatile char *tos = (char *) mem + page_size;

        int i;
        for (i = 1; i < 10 * page_size; ++i)
                tos[-i] = 42;

        fprintf(stderr, "inspect mappping for originally page-sized %p in /proc... press any key to continue...\n", mem);
        (void) getchar();

        if (munmap(mem, page_size))
                perror("failed munmap");

        return EXIT_SUCCESS;
}

Wenn Sie dazu aufgefordert werden, finden Sie die PID des Programms (über ps) und sehen /proc/$THAT_PID/maps, wie der ursprüngliche Bereich gewachsen ist.