commutazione su/giù stack con getcontext/setcontext

Question

Sto cercando di capire se getcontext/setcontext funzionerà correttamente in uno scenario specifico.

Posso vedere come setcontext() può essere utilizzato per riposizionare lo stack in un determinato punto della cronologia.

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

int rollback = 0; 
ucontext_t context; 

void func(void) 
{ 
    setcontext(cp); 
} 

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

Ma mi stavo chiedendo se dopo un po 'di riposo si può tornare indietro in un posto che era nel futuro? Suppongo che ciò dipenda dalla chiamata getcontext() che acquisisce una copia dello stack e non riesco a trovare i dettagli esatti nella documentazione.

#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 non copia dello stack, è dump solo registri (tra cui stack pointer) e un po 'di dati di contesto come maschera del segnale, ecc

Quando saltate giù la pila annulla contesto superiore. Anche se non farai nessuna funzione, le chiamate pensano al gestore del segnale che può eseguire lì. Se si desidera saltare tra due pile è necessario makecontext.

ho aggiunto variabile che dimostra che il codice non è valido:

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 
} 

Sulla mia macchina si traduce in:

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