Нелокальные переходы

Может получиться так, что возникает необходимость предоставления в процессе возможностей перезапуска каких-то из веточек процесса при возникновении некоторых ситуаций. Предположим, имеется некоторый процесс, который занимается обработкой достаточно больших наборов данных, и будет работать следующим образом:
В начальный момент времени процесс получает набор данных и начинает выполнять вычисления. Известно, что при некоторых наборах данных возможно возникновение внештатных ситуаций, например, переполнения или деления на ноль. Мы бы хотели написать программу, которая бы при возникновении внештатных ситуаций обрабатывала бы их, загружала новые данные, переходила в начальную точку процесса и выполняла бы вычисления с другим набором данных. То есть возникает необходимость в повторном использовании некоторых цепей программы. Для решения такой задачи мы должны уметь делать:

• обрабатывать ситуации, возникающие в процессе. Но для этого у нас есть функция signal;
• возвращаться в некоторые помеченные в программе точки не через последовательность входов и выходов функций, а через безусловную передачу управления (аналог GOTO). Почему? Потому что просто механизм обработки сигналов не позволит нам корректно работать с поставленной задачей — можно было бы написать функцию обработки сигналов, которая по возникновению нужного сигнала делала бы повторный вызов всей программы. Но это некорректно, так как при вызове функции обработчика сигнала фиксируется состояние стека, и в общем случае система ожидает корректного выхода из функции обработчика (через return или последнюю скобку). Таким образом мы будем накапливать невозвращенные части стека, что приведет к деградации системы.

Для решения второй проблемы в Unix имеется две функции, которые обеспечивают нелокальные переходы: