Не ударить ли нам по Алголу

[vak]

Забавляясь с дубненским Алголом-ГДР, набрели мы со spamsink на ископаемый артефакт: исторически первую реализацию Алгола-60, файл x1algol.pas. Закралась крамольная мысль: не оживить ли его? Чтобы можно было ним компилировать и выполнять алгольные программы. Перенестись на 64 года назад, так сказать.

Этот Алгол был написан Эдсгером Дейкстрой и Яапом Зоннефельдом летом 1960 года для голландского компьютера Electrologica X1. За несколько месяцев крутые чуваки сбацали транслятор с Алгола-60 в машинные коды, а также рантайм библиотеку, так называемый комплекс. Работало это добро с перфолент на памяти размером 4 килослова. Уже в наше время Круземан Арец аутентичным образом переписал тот машинный код на Паскаль.

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

Ссылки:

• The Dijkstra–Zonneveld ALGOL 60 compiler for the Electrologica X1 (PDF)
• ALGOL-60 Translation by Dr. E. W. Dijkstra (PDF)
• Dijkstra's PhD Thesis (PDF)
• EL-X1 ALGOL 60 Compiler Notebook (PDF)
• EL-X1 ALGOL COMPLEX Notebooks 1, 2, 3 (PDF)
• The X-1 Computer (PDF)
• Tales of Electrologica: Computers, Software and People (книга)

Comments

[juan_gandhi]

Это у них там нормальный полный алгол? (но не с p0042, I presume).

А то был ещё меньше размером, жиер-алгол, 1 килобайт на всё.

[vak]

Самый что ни на есть полный, даже с вещественной арифметикой.

[spamsink]

Ну конечно, неполный. Open subroutines не было - памяти на них не напасешься.

И цифровых меток не было.

[spamsink]

Мне на форуме объяснили. Элементы объектного кода - это пары (OPC, w), где для OPC >= 8 значение w несущественно, а когда w - это команда или константа, то OPC - от 0 до 3. Похоже, паскалевский вариант халявит и печатает только w для малых OPC.

[vak]

Это они тебе процитировали кусок из Ареца, раздел 5.1 Structure of the object program.

The object program is transferred by the main scan to its destination (paper tape originally, store later) by means of the procedure fill result list (FRL). FRL has two parameters:
- the OPC–value, which is either the number of an operator from the complex (8 ≤ OPC ≤ 109), or has one of the values 0, 1, 2, or 3.
- a word w. For an operator from the complex the value of w is irrelevant, otherwise it is an X1 instruction (or in a few cases a constant or a code word), to be incorporated into the object program. The OPC–value then indicates whether in the loading phase following the main scan the instruction should be taken as it is (OPC = 0), the begin address of the object program should be added to it (OPC = 1), the address part of the instruction should be replaced by the corresponding entry in the future list (a list of future references produced by the main scan) (OPC = 2), or the begin address of the constant list should be added to the instruction (OPC = 3).

Всё это по сути перемещаемый код. Значения OPC = 1, 2, 3 задают тип перемещаемости. Но потом добавляет нужное смещение и "малое значение" OPC становится ненужным. На выход попадает только одно число:
- либо OPC в диапазоне 8...109
- либо слово w, то есть машинная инструкция

Что мы и видим.