Wie kann ich mehr Stapel in den Todesfällen meines Programms zuweisen?

Question

In einem Posix-System kodiere ich einen Signal-Handler mit sigaction.

Ich möchte einige Debuginformationen aufzeichnen, bevor Sie exit() aufrufen. Dies beinhaltet einige Prozeduraufrufe.

Wenn wir einen Stack-Überlauf hatten, gibt es irgendeine Möglichkeit, dass ich diese Funktionsaufrufe machen kann, ohne die Dinge weiter zu vermasseln?

Ich weiß, dass, nachdem ich meine Debug-Sachen mache, ich exit() anrufen werde, also werden wir den Stapel nie abwickeln. Könnte ich einen kleinen Assembler einfügen, um den Stapelzeiger auf die Basis des Stapels zu setzen?

Egal, dass ich es wegschmeiße; es wird später nicht gebraucht werden, und indem ich den Anfang des Stapels wegschmeiße, werde ich nicht über das Ende hinausstürzen.

Hat jemand dies getan, oder eine Alternative, und zeigte es zu arbeiten?

Answer 1

In POSIX können Sie mit sigaltstack() einen separaten Stapel für bestimmte Signalhandler einrichten. Die manpage auf Linux für diese Funktion ist sehr schön:

Die häufigste Verwendung eines alternativen Signalstapel ist das SIGSEGV Signal zu behandeln, wenn der verfügbare Platz für den normalen Prozess Stapel erzeugt wird, aufgebraucht ist: In diesem Fall kann ein Signalhandler für SIGSEGV nicht auf dem Prozessstapel aufgerufen werden; Wenn wir damit umgehen wollen, müssen wir einen alternierenden Signalstack verwenden.

Eine Sache im Auge zu behalten ist, dass Sie sigaction() verwenden müssen, anstatt signal() die entsprechenden Signal-Handler zu etablieren, aber das ist eine gute Idee trotzdem. Auch die sa_flags für sigaction() s struct sigaction müssen SA_ONSTACK enthalten.

Answer 2

Es ist nicht erforderlich, dass Ihr Programm den Stapel (für Callframes, im Gegensatz zur Datenstruktur) verwendet. Seine eine Turing-complete-Programmiersprache können Sie jede funktionell rekursive Schleife neu schreiben (zB Schleife Funktionsaufruf unter Verwendung) als prozedural rekursive Schleife (zB Verfahrensschleifen wie for, while und do .. while) Bereitstellen man die entsprechende Sprache einzuführen und Datenstrukturen.

Sie könnten dann eine Stapel (Datenstruktur, nicht das gleiche wie die callframe) bis zu mehreren Gigabyte finden wachsen, ist für die meisten Laptops trivial realloc ... Als zusätzliche Bonus verwenden, werden Sie nicht mehr beschäftigen müssen in nicht-portable Hacks, wie zum Beispiel implementierte Assembler-Notationen oder Signale.