Quali sono le cose reali nel jmp_buf quando si usa setjmp e longjmp?

Question

setjmp() dovrebbe salvare i registri tra cui "indirizzo di ritorno" e "puntatore dello stack" in "jmp_buf". Quando compilo (sia gcc che clang) e eseguo il debug del seguente programma sotto x86_64 con glibc, non riesco a capire cosa c'è nel "jmp_buf" e dove "indirizzo di ritorno" e "puntatore dello stack" si trovano nel "jmp_buf".

#include <stdio.h> 
#include <setjmp.h> 

int main() 
{ 
    int i; 

    jmp_buf env; 

    i = setjmp(env); 

    printf("i = %d\n", i); 

    if (i != 0) return; 

    longjmp(env, 2); 
    printf("Does this line get printed?\n"); 
} 

Quando il programma si ferma a un punto di interruzione prima di "printf (" i =% d \ n "i);", ho provato funzionalità gdb: "p/x env"; tuttavia non riesco a trovare "return RIP" e "previous RSP" in questa struttura (env) che contiene __jmpbuf e __saved_mask. Qualcuno sa esattamente come funzionano queste due funzioni e cosa salvano esattamente sotto x86_64 con glibc (io uso Ubuntu 14.04)?

Answer 1

Credici o no, il contenuto di jmp_buf è intenzionalmente senza significato. Se dai un'occhiata a the source to the x86_64 setjmp(), noterai diversi riferimenti a PTR_MANGLE. Questa è una macro glibc interna che XORs un valore locale del thread rispetto a un registro. Questo è usato qui in gran parte per garantire che gli sviluppatori non facciano affidamento sul layout di jmpbuf - è considerato un dettaglio di implementazione e può cambiare tra le versioni di libc.

Se si desidera qualcosa di leggibile, controllare the ucontext interface.