Линукс с системой команд БЭСМ-6

[vak]

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

Мы имеем мэсм6, то есть реализацию системы команд БЭСМ-6 на Верилоге. А Микрочип имеет PolarFire: микропроцессор RISC-V с Линуксом и FPGA в одном чипе. Платка стоит $132 на microchipdirect.com.

• PolarFire SoC MSS Technical Reference Manual (PDF)
• PolarFire SoC Discovery Kit ($132)

Что если скрестить ежа с ужом? Добавить к имеющимся ядрам RISC-V еще и ядро БЭСМ-6. Благо FPGA вроде немаленького размера (95K логических элементов). Научить Линукс запускать и обслуживать процесс БЭСМ-6. Задействовать имеющийся у нас компилятор Паскаля, и можно будет кодить для БЭСМ-6 под Линуксом!

А если ещё маленько поднапрячься, можно и мониторную систему "Дубна" подтащить. Получим весь спектр языков программирования и ассемблеров. Опыт мы наработали на симуляторе dubna.

Мне кажется, вполне реальная идея.

Comments

[ircicq]

Это похоже на запуск x86 кода под x64-ядром
Системы команд хоть и родственные, но разные

[archaicos]

Или прикрутить этот эмулятор или впихнуть его в QEMU, а Linux умеет запускать чужие бинарники под QEMU.
Ну, есть варианты. Главное чтоб никто не собрался повторить подвиг и спаять на максимально простых микросхемах. :)

[spamsink]

Вообще да, впихнуть эмулятор режима пользователя БЭСМ-6 под QEMU и запускать пакетные задачи как бинарники было бы весело. Вполне себе курсовой проект мог бы быть.

[vak]

Это мысль. Только эмулятор не QEMU, а наш dubna. И запускать не только пакетные задачи, а и готовые к выполнению бинарники. Предположительно в формате дубненского OVERLAY.

[spamsink]

Кодить на Паскале под Линуксом - то ещё удовольствие, как мы недавно имели возможность убедиться.

[lxe]

А в чем фундаментальная проблема?
ABI разве не должен быть language agnostic? (Если язык не предписывает экзотическое представление данных.)

[spamsink]

Фундаментальных проблем нет, но удовольствия никакого. Всё I/O по сравнению с Си делается через пень-колоду.

[vak]

А как тебе такая идея. Делаем утилиту besmc, то есть БЭСМ компилятор. Фактически фронтэнд к dubna.

besmc hello.ftn — компилирует фотрановскую программу и создаёт бинарник hello.exe, который можно непосредственно выполнять. Тот самый бэсмовский оверлей.

Можно компилить и линковать несколько файлов:
besmc a.ftn b.assem c.algol

С флагом -c можно генерить объектные файлы, то есть perso библиотеки:
besmc -c foo.assem -o foo.obj

И потом линковать объектные файлы в кучу:
besmc a.obj b.obj c.obj -o result.exe

Выбор компилятора определяется расширением файла:
.ftn
.fortran
.forex
.algol
.pascal
.assem
.madlen
.bemsh

Получается законченная система программирования для БЭСМ-6 под Линуксом.

[spamsink]

Если этот скрипт будет достаточно умён, чтобы по -c создавать стандартные массивы (хоть через *punch, хоть через *to perso во временный файл и выдирание оттуда, чтобы не тратить 2 зоны на каждый объектный модуль), а если они указаны в командной строке - правильно вводить их во временную библиотеку (хоть через перфокарточный формат стандартного массива, хоть через формирование perso во временном файле и *perso), то должно работать. Перфокарточный формат представляется более прямолинейным.

[vak]

Я бы сделал *.obj просто как *to perso в чистом виде. И подключать их обратно как *perso без всякой обработки. Зону экономить не обязательно.

Если же запрошен вывод с расширением .punch, то выводить стандартный массив через *punch.

besmc -c foo.ftn -o foo.punch