den Stack mit getcontext/setcontext hoch/runter schalten

Question

Ich versuche zu verstehen, ob getcontext/setcontext in einem bestimmten Szenario korrekt funktioniert.

Ich kann sehen, wie Setcontext() verwendet werden kann, um den Stapel zu einem bestimmten Ort in der Geschichte zurück zu wickeln.

Aber ich fragte mich, ob Sie nach einer Pause wieder zu einem Ort zurückkehren können, der in der Zukunft war? Ich nehme an, das hängt davon ab, getcontext() Aufruf erfasst eine Kopie des Stapels und ich kann nicht die genauen Details in der Dokumentation finden.

#include <stdio.h> 
#include <ucontext.h> 

int rollback  = 0; 
int backToFuture = 0; 
ucontext_t context; 
ucontext_t futureContext; 

void func(void) 
{ 
    // Some complex calc 
    if (some-condition) 
    { 
     getcontext(&futureContext); // After returning I want to come back 
            // here to carry on with my work. 
     if (backToFuture == 0) 
     { 
      setcontext(&context); // rewind to get stuff-done 
     } 
    } 
    // Finishe work 
} 

int main(void) 
{ 
    getcontext(&context); 
    if (rollback == 0) 
    { 
     printf("getcontext has been called\n"); 
     rollback++; 
     func(); 

     // eventually always return here. 
    } 
    else 
    { 
     printf("setcontext has been called\n"); 
     // Do specialized work that needed to be done 
     // May involve function calls. 
     // 
     // I worry that anything the adds new stack frames 
     // will disrupt the saved state of futureContext 
     // 
     // But without detailed information I can not be sure 
     // if this is an allowed senario. 
     backToFuture = 1; 
     setcontext(&futureContext); 
    } 
} 

Answer 1

getcontext kopiert nicht Stapel, es Dumps nur Register (einschließlich Stapelzeiger) und ein wenig Kontextdaten wie Signalmaske usw.

Wenn Sie den Stapel den oberen Kontext ungültig abspringen. Selbst wenn Sie keine Funktion ausführen, denken Sie an den Signal-Handler, der dort ausgeführt werden kann. Wenn Sie zwischen zwei Stapeln springen wollen, müssen Sie makecontext.

Ich habe Variable, die zeigt, dass der Code ungültig ist:

void func(void) 
{ 
    // Some complex calc 
    if (1) 
    { 
     volatile int neverChange = 1; 
     getcontext(&futureContext); // After returning I want to come back 
            // here to carry on with my work. 
     printf("neverchange = %d\n", neverChange); 
     if (backToFuture == 0) 
     { 
      setcontext(&context); // rewind to get stuff-done 
     } 
    } 
    // Finishe work 
} 

Auf meinem Rechner es in Ergebnisse:

getcontext has been called 
neverchange = 1 
setcontext has been called 
neverchange = 32767