Practical usage of setjmp and longjmp in C

by

Error handling
Suppose there is an error deep down in a function nested in many other functions and error handling makes sense only in the top level function.

It would be very tedious and awkward if all the functions in between had to return normally and evaluate return values or a global error variable to determine that further processing doesn’t make sense or even would be bad.

That’s a situation where setjmp/longjmp makes sense.
Those situations are similar to situation where exception in other langages (C++, Java) make sense.

Coroutines
Besides error handling, I can think also of another situation where you need setjmp/longjmp in C:

It is the case when you need to implement coroutines.

Here is a little demo example.
I hope it satisfies the request from Sivaprasad Palas for some example code and answers the question of TheBlastOne how setjmp/longjmp supports the implementation of corroutines (as much as I see it doesn’t base on any non-standard or new behaviour).

EDIT:
It could be that it actually is undefined behaviour to do a longjmp down the callstack (see comment of MikeMB; though I have not yet had opportunity to verify that).

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

jmp_buf bufferA, bufferB;

void routineB(); // forward declaration 

void routineA()
{
    int r ;

    printf("(A1)\n");

    r = setjmp(bufferA);
    if (r == 0) routineB();

    printf("(A2) r=%d\n",r);

    r = setjmp(bufferA);
    if (r == 0) longjmp(bufferB, 20001);

    printf("(A3) r=%d\n",r);

    r = setjmp(bufferA);
    if (r == 0) longjmp(bufferB, 20002);

    printf("(A4) r=%d\n",r);
}

void routineB()
{
    int r;

    printf("(B1)\n");

    r = setjmp(bufferB);
    if (r == 0) longjmp(bufferA, 10001);

    printf("(B2) r=%d\n", r);

    r = setjmp(bufferB);
    if (r == 0) longjmp(bufferA, 10002);

    printf("(B3) r=%d\n", r);

    r = setjmp(bufferB);
    if (r == 0) longjmp(bufferA, 10003);
}


int main(int argc, char **argv) 
{
    routineA();
    return 0;
}

Following figure shows the flow of execution:
flow of execution

Warning note
When using setjmp/longjmp be aware that they have an effect on the validity of local variables often not considered.
Cf. my question about this topic.

More Related Contents:

  1. longjmp() from signal handler
  2. How to get all possible combination of 2xn matrix [closed]
  3. How to resolve a variable for char length? [closed]
  4. MIPS program that implements the same algorithm in C
  5. Are parallel calls to send/recv on the same socket valid?
  6. Where is the header file on Linux? Why can’t I find ? [duplicate]
  7. What is the behavior of printing NULL with printf’s %s specifier?
  8. Post-increment on a dereferenced pointer?
  9. What’s the difference between “static” and “static inline” function?
  10. What is the use of _start() in C?
  11. How should I print types like off_t and size_t?
  12. How Recursion works in C
  13. Does either ANSI C or ISO C specify what -5 % 10 should be?
  14. Enumerate factors of a number directly in ascending order without sorting?
  15. How to use the addr2line command in Linux?
  16. Getting absolute path of a file
  17. CPU TSC fetch operation especially in multicore-multi-processor environment
  18. How to use “zd” specifier with `printf()`?
  19. Access a global static variable from another file in C
  20. In C, given a variable list of arguments, how to build a function call using them?
  21. Why can’t the size of a static array be made variable?
  22. x86_64 : is stack frame pointer almost useless?
  23. Check if a number is non zero using bitwise operators in C
  24. Why is the behavior of the modulo operator (%) different between C and Ruby for negative integers?
  25. Why does the Win32-API have so many custom types?
  26. memory allocation in Stack and Heap
  27. Signed bit field represetation
  28. What is the effect of second argument in _builtin_prefetch()?
  29. How do I lock files using fopen()?
  30. How can floating point calculations be made deterministic?

Leave a Comment