Мои вопросы носят скорее исторический характер, чем практический:
Сегодня Common Lisp система условий является относительным новичком. Дизайн был основан на предыдущих системах, но не был включен как часть общего языка Lisp до конца 80 вокруг времени CLTL2
Я считаю, что в главе условий в этой книге есть большой комментарий к истории и предыстории дизайна, а также ссылки на соответствующие исследования и предыдущие реализации подобных систем.
У процессоров VAX была система обработки исключений на основе стека. В каждом кадре вызова одна 32-битная ячейка была выделена и заполнена нулем. Если вызываемая подпрограмма требует обработки исключений, все, что ей нужно было сделать, это заполнить эту ячейку адресом процедуры обработки исключений.
Когда произошло исключение, произойдет поиск стека. Это было легко, так как фреймы стека были соединены вместе. Первый стек стека с ненулевой записью приведет к тому, что стек перейдет в эту точку, и обработчик исключений будет вызван.
Я помню это как одну из особенностей процессора, которые были нацелены на языки более высокого уровня, но я не знаю, что был язык более высокого уровня, который использовал эту функцию. Я считаю, что он использовался библиотечным кодом, который, вероятно, был написан на ассемблере.
Не вернется ли функция setjmp, longjmp в C? Ричи, Керниган и др.