Учебное пособие по языку ФОРТ

19. Адресный интерпретатор

Сведения данного параграфа предназначены для более углубленного понимания работы Форт-системы. Они относятся к исполнению слов, определенных через ":", в словарной статье которых поле параметров содержит адреса полей кодов слов, составлявших соответствующее определение.

В Форт-системе имеется специальная программа — АДРЕСНЫЙ ИНТЕРПРЕТАТОР, которая занимается исполнением слов, не записанных в машинных командах. Интерпретатор представляет собой программу с тремя режимами. Так как в определениях через ":" налицо вложенность слов, можно говорить об уровнях вложенности и, соответственно, об уровнях интерпретации.

Исполнение некоторого слова начинается вызовом режима "CALL", который устанавливает указатель интерпретации "IP" на начало программной части этого слова. Прежнее значение "IP", которое указывало на следующее слово предыдущего уровня интерпретации, запоминается в стеке возвратов. Режим "CALL" завершается первым вызовом режима "NEXT".

Режим "NEXT" передает управление по адресу, записанному в поле параметров, на которое указывает "IP", одновременно передвигая "IP" на следующий элемент поля (т. е. прибавляя к нему 2).

Такие вложенные вызовы продолжаются до тех пор, пока управление не передано на машинную подпрограмму, которая и будет исполнена. B конце каждой машинной программы записан вызов режима "NEXT" адресного интерпретатора.

B конце поля параметров каждой словарной статьи записан вызов третьего режима интерпретатора — режима "RETURN" (его компилирует туда слово ";"). Режим "RETURN" обеспечивает выход на предыдущий уровень: загружает "IP" значением, снимаемым co стека возвратов, и вызывает режим "NEXT".

После возврата на самый верхний уровень интерпретации специальное системное слово восстанавливает диалог.

В системе имеется слово "EXIT", которое сразу вызывает режим "RETURN". То есть "EXIT" можно использовать внутри определения некоторого слова, чтобы задать немедленное прекращение его исполнения (это удобно в условных операторах). Однако внутри перечислительного цикла использовать "EXIT" нельзя!