Короче, приближается очерeдная пятница 13-е, и удумалось мне назвать именем FRY-13 очередной свой форт-процессор, который я на этой неделе ковырял-ковырал... ну, и доковырял окoнчательно

Friday-13 --> F13

Внутренняя команда 6-битная, но снаружи команда 4-хбитная.
Исполнение некоторых команд (1,6,7) происходит за 2 такта.
Система команд процессора следующая:

0 - NOP - чтение команды (обойти эту команду я не могу да и смысла не вижу)
1 - NEXT - то самое NEXT, которое нужно Форту... формально исполняет RET&CALL без выборки команды CALL
2 - ADINT (CALL) - вызов подпрограммы, оно же вызов адресного интерпретатора, который работает за счет NEXT никакого другого кода для реализации адресного интерпретатора не нужно.
3 - LIT - что оно делает, надеюсь, объяснять не надо.
4 - RET (CODE) - возврат из подпрограммы, оно же - вставка кода в шитый код
5 - IF - переход, если на стеке данных 0 (пока без уничтожения флага)
6 - @
7 - !

8 - >R
9 - R>
10 - dup
11 - drop
12 - over
13 - swap
14 - (add) - префиксная операция с АLU
15 - (mul) - префиксная операция с ALU
\ пока 14 и 15 формально совпадают, в схеме процессора зарезервированы входы для управления операциями,
которые исполняются по командам 14 и 15
(16) - @RET внутриядерная команда (недоступная) - окончание исполнения @
(17) - !RET внутриядерная команда (недоступная) - окончание исполнения !

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

а это можно пояснить? Как выполняется команда?

Со стека возвратов берется адрес,
разыменовывается и результат кладется в указатель команд (PC)
(то что было в указателе до того, затирается).
А адрес на вершине стека возвратов увеличивается на единичку.

выполняются эти действия за 2 такта.
Первый такт - делается то же самое, что по команде RET
Второй такт - делается то же самое, что по команде CALL
(но без выборки самой команды, а только чтение адреса перехода и засылка его в PC).

В результате имеем такую структуру для исполнения:

CALL ADDR1 -> вызов слова по ADDR1
ADDR2 -> вызов слова по ADDR2
ADDR3 -> вызов слова по ADDR3

ADDR1 ... программа1, заканчивающаяся NEXT-ом
ADDR2 ... программа2, заканчивающаяся NEXT-ом
ADDR3 ... программа3, заканчивающаяся NEXT-ом

одного CALL вначале списка адресов достаточно для запуска механизма адресного интерпретатора.
Чтобы закончить работу адресного интерпретатора в данном списке, в последнем слове должно быть:

ADDRn: RET

Что фактически равносильно слову CODE, т.е. переходу к прямому исполнению команд процессора.

Next должно

брать число со стека возвратов
BEGIN
как то проверить (скажем - признак старший бит) является ли это число вызовом форт-слова или вызовом примитивы
IF
если это форт-слово то считать число адресом ячейки где храниться адрес
и повторить проверку
ELSE
если это примитив - то передать управление
THEN
AGAIN

Не понял, зачем подобный изворот? Форт-процессору такты девать некуда, что ли?

К тому же, на стеке возвратов лежат НЕ ИНСТРУКЦИИ процессору, а адрес интерпретации
(или адрес возврата), которые вполне себе на весь диапазон процессорного слова попадают.
Если же программист умудряется делать этот NEXT внутри цикла, когда на стеке лежит всякая
чертовщина, то проверять это должен не процессор,
а компилятор и по рукам (мордам, лапам, хвостам... кто чем пишет)
бить, да и то не факт, надо ли это?...

Тема закрывается и переключается сюда: http://fforum.winglion.ru/viewtopic.php?t=1517