setjmp/longjmp y variables locales

Question

Mis preguntas apuntan al comportamiento de setjmp / longjmp con respecto a las variables locales.

Código de ejemplo:

jmp_buf env;
void abc()
{
int error;
...
if(error)
longjmp(env);
}
void xyz() {
int v1; // non-volatile; changed between setjmp and longjmp
int v2; // non-volatile; not changed between setjmp and longjmp
volatile int v3; // volatile; changed between setjmp and longjmp
volatile int v4; // volatile; not changed between setjmp and longjmp
...
if(setjmp(env)) {
// error handling
...
return;
}
v1++; // change v1
v3++; // change v3
abc();
}
int main(...) {
xyz();
}

La documentación de setjmp / longjmp dice:

"Todos los objetos accesibles tienen valores desde el momento en que se llamó a longjmp (), excepto que los valores de los objetos de duración de almacenamiento automático que son locales a la función que contiene la invocación del conjunto setjmp () que no tienen un tipo calificado como volátil y que se cambian entre la invocación setjmp () y la llamada longjmp () son indeterminadas ".

Veo siguientes dos posibles interpretaciones:

interpretación1:

Las variables locales son restauradas, excepto aquellas que son ambas

• no volátil y
• cambiado

interpretación2:

Las variables locales se restauran, excepto

• aquellos que son no volátiles y
• los que se cambian

Según la interpretación 1 después de longjmp, solo v1 está indefinido. v2, v3, v4 están definidos. De acuerdo con la interpretación 2 después de longjmp solo se define v4. v1, v2, v3 están indefinidos.

¿Cuál es la correcta?

Por cierto: necesito una respuesta general ("portátil") que sea válida para todos los compiladores, es decir, probar con un compilador en particular no ayuda.

Answer 1

La interpretación 1 es correcta. Si se pretendía la Interpretación 2, el texto original habría usado " o que se han cambiado" en lugar de "y".

Answer 2

setjmp / longjmp se implementa guardando los registros (incluidos los punteros de apilamiento y código, etc.) cuando se pasan por primera vez, y restaurándolos al saltar.

Las variables automáticas (también conocidas como "locales", asignadas a la pila) que no son "volátiles" pueden almacenarse en registros en lugar de en la pila.

En estas circunstancias, longjmp restaurará estas variables de registros a su valor en el punto en que se llamó por primera vez a setjmp ().

Además, un compilador especialmente inteligente podría evitar las variables que pueden inferirse del estado de otra variable y calcularlas según la demanda.

Sin embargo, si la variable es automática pero no se le ha asignado un registro, puede cambiarse mediante un código entre setjmp y longjmp.

Volatile le dice explícitamente al compilador que no almacene la variable en un registro.

Entonces, a menos que diga explícitamente que una variable es volátil, si cambió la variable entre setjmp / longjmp, su valor dependerá de las elecciones que haga el compilador, y por lo tanto no es nada en lo que deba confiar (''indeterminado'').