// Виртуальная форт-машина = интерпретатор байт-кода = движок для POSIX систем
// (copyleft) Dmitry Ponyatov <forth@km.ru> & RU FIG [http://fforum.winglion.ru]

// ============= конфигурация движка ================
// размеры памяти и стеков
                    // размер памяти форт-задачи, байт
#define Msz 0x1000
                    // размер стека возвратов, cells
#define Rsz 0x100
                    // размер стека данных, cells
#define Dsz 0x10
                    // размер стека do/loop (max вложенность циклов)
#define Lsz 0x10
// =============================================

0x1000 CONSTANT _Msz
0x100  CONSTANT _Rsz
0x10   CONSTANT _Dsz
0x10   CONSTANT _Lsz

_Msz const Msz
_Rsz const Rsz
_Dsz const Dsz
_Lsz const Lsz

// подключение стандартных библиотек
#include <stdio.h>
#include <stdlib.h>
#include <assert.h>

// определение типов
#define uchar unsigned char
#define uint  unsigned int
#define CELL  sizeof(UINT)

uchar M[]={0x01,0x12,0x34,0x00,0x12,0x4D,0x22,...}

// загрузчик, может не использоваться
// если байт-код забит в виде текста в сам исходник типа uchar M[]={1,2,3,..}
// (удобно если нужен один exeшник включающий внутрь весь нужный байт-код,
// например для версии движка на Java в байт-кодом в одном .jarе для мобил)

int main(int argc, char *argv[])
{
// проверка формата командной строки C:\> vm[.exe] BYTECODE
assert(argc>1);
// TODO: инициализация подсистемы многозадачности
// mt_init();
// загрузка байт-кода в память форт-машины (рутовой форт-задачи)
FILE *img=fopen(argv[1],"rb"); assert(img!=NULL);
assert(fread(M,1,Msz,img)!=0); fclose(img);
// запуск планировщика задач
sheduler();
// фиктивный return чтобы компилер не ругался что из int main() нет return int
return 0;
}

// планировщик задач, для однозадачного варианта тупой бесконечный цикл

void sheduler()
{
for (;;) step();
}

void step()
{
// выборка команды с проверкой сто не улетели вне адресного пространства
assert(Ip<Msz); op=M[Ip++];
// запуск "микрокода" команды на Си по ее опкоду
// быстрее и красивее таблица указателей на "микрокод" команд ВМ с индексацией
// по опкоду команды, но менее наглядно и недоступно в некоторых языках
switch(op) {
            case 0x00: nop(); break;
            default:
                    #ifdef MODE16
                         fprintf(stderr,"\nCORE %.4X:%.2X",--Ip,op);
                    #else
                         fprintf(stderr,"\nCORE %.8X:%.2X",--Ip,op);
                    #endif
                    abort();
}
}