SetJmp/LongJmp: Dlaczego wyrzucasz segfault?

Question

Poniższy kod podsumowuje problem, który mam w tej chwili. Mój bieżący przepływ wykonania jest następujący i uruchomiony w GCC 4.3.

jmp_buf a_buf; 
jmp_buf b_buf; 

void b_helper() 
{ 
    printf("entering b_helper"); 
    if(setjmp(b_buf) == 0) 
    { 
     printf("longjmping to a_buf"); 
     longjmp(a_buf, 1); 
    } 
    printf("returning from b_helper"); 
    return; //segfaults right here 
} 
void b() 
{ 
    b_helper(); 
} 
void a() 
{ 
    printf("setjmping a_buf"); 
    if(setjmp(a_buf) == 0) 
    { 
     printf("calling b"); 
     b(); 
    } 
    printf("longjmping to b_buf"); 
    longjmp(b_buf, 1); 
} 
int main() 
{ 
    a(); 
} 

Powyższy przepływ wykonania tworzy segfault tuż po powrocie w b_helper. To prawie tak, jakby tylko ramka stosu b_helper była ważna, a stosy pod nią są wymazywane.

Czy ktoś może wyjaśnić, dlaczego tak się dzieje? Zgaduję, że jest to optymalizacja GCC, która usuwa nieużywane ramki stosów lub coś takiego.

Dzięki.

Answer 1

Możesz tylko longjmp() wrócić w górę stos wywołań. Wywołanie do longjmp(b_buf, 1) jest tam, gdzie rzeczy zaczynają się nie udać, ponieważ ramka stosu, do której odwołuje się b_buf, już nie istnieje po longjmp(a_buf).

Z dokumentacji dla longjmp:

longjmp() procedury nie mogą być nazywane po rutynowych który nazwał setjmp() procedury zwrotu.

Obejmuje to "zwracanie" przez longjmp() poza funkcją.

Answer 2

Norma ta mówi o longjmp() (7.13.2.1 Funkcja longjmp):

Funkcja longjmp przywraca środowisko zachowane przez najnowszym wezwaniem makro setjmp w tym samym wywołania programu z odpowiadający mu argument jmp_buf: . Jeżeli nie doszło do takich inwokacja, lub jeśli funkcja zawierająca wywołanie makra setjmp zakończył realizację w śródrocznym

z przypisem, który wyjaśnia ten kawałek:

Na przykład, przez wykonanie instrukcji return lub ponieważ inne wywołanie longjmp spowodowało przeniesienie do wywołania setjmp w funkcji wcześniejszej w zestawie wywołań zagnieżdżonych.

Więc nie można longjmp() z powrotem & powrotem po zagnieżdżonych setjmp/longjmp zestawów.