Пятнадцать байтов на стек от конца

Вот такая програмулина:

main() {
    auto cx, cy, x, y, x2, y2;
    auto iter;
    auto xmin, xmax, ymin, ymax, maxiter, dx, dy;

    xmin = -8601;
    xmax =  2867;
    ymin = -4915;
    ymax =  4915;

    maxiter = 32;

    dx = (xmax - xmin) / 79;
    dy = (ymax - ymin) / 24;

    cy = ymin;
    while (cy <= ymax) {
        cx = xmin;
        while (cx <= xmax) {
            x = 0;
            y = 0;
            x2 = 0;
            y2 = 0;
            iter = 0;
            while (iter < maxiter) {
                if (x2 + y2 > 16384)
                    goto next;

                y = ((x * y) / 2048) + cy;
                x = x2 - y2 + cx;
                x2 = (x * x) / 4096;
                y2 = (y * y) / 4096;
                iter++;
            }
next:
            write(' ' + iter);
            cx = cx + dx;
        }
        write('*n');
        cy = cy + dy;
    }
    return(0);
}

Запускаем mandelbrot.dub, получаем mandelbrot.txt:

$ dubna mandelbrot.dub
...
!!!!!!!!!!!!!!!"""""""""""""####################################""""""""""""""""
!!!!!!!!!!!!!"""""""""#######################$$$$$$$%'+)%%%$$$$$#####"""""""""""
!!!!!!!!!!!"""""""#######################$$$$$$$$%%%&&(+,)++&%$$$$$$######""""""
!!!!!!!!!"""""#######################$$$$$$$$$$%%%%&')*5:/+('&%%$$$$$$#######"""
!!!!!!!!""""#####################$$$$$$$$$$%%%&&&''),@@@@@@@,'&%%%%%$$$$########
!!!!!!!"""####################$$$$$$$$%%%&'())((())*,@@@@@@/+))('&&&&)'%$$######
!!!!!!""###################$$$$$%%%%%%&&&'+.@@=/<@@@@@@@@@@@@@@@/++@..93%%$#####
!!!!!"################$$$%%%%%%%%%%&&&&'),+2@@@@@@@@@@@@@@@@@@@@@@@@@1(&&%$$####
!!!!"##########$$$$$%%&(-(''''''''''''(*,5@@@@@@@@@@@@@@@@@@@@@@@@@@@@+)-&%$$###
!!!!####$$$$$$$$%%%%%&'(*-@1.+.@-4+))**@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@4-(&%$$$##
!!!!#$$$$$$$$$%%%%%%'''++.6@@@@@@@@@8/0@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@3(%%$$$$#
!!!#$$$$$$$%&&&&''()/-5.5@@@@@@@@@@@@@>@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@?'&%%$$$$#
!!!(**+/+<523/80/46@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@4+)'&&%%$$$$#
!!!#$$$$$$$%&&&&''().-2.@@@@@@@@@@@@@@?@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@'&%%$$$$#
!!!!#$$$$$$$$$%%%%%&'''/,.7@@@@@@@@@;/0@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@0'%%$$$$#
!!!!####$$$$$$$$%%%%%&'(*-:2.,/?-5+))**@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@4+(&%$$$##
!!!!"##########$$$$$%%&(-(''''(''''''((*,4@@@@@@@@@@@@@@@@@@@@@@@@@@@4+).&%$$###
!!!!!"################$$$%%%%%%%%%%&&&&')<,4@@@@@@@@@@@@@@@@@@@@@@@@@/('&%%$####
!!!!!!""##################$$$$$$%%%%%%&&&'*.@@@0@@@@@@@@@@@@@@@@1,,@//9)%%$#####
!!!!!!!"""####################$$$$$$$$%%%&(())((()**-@@@@@@/+)))'&&&')'%$$######
!!!!!!!!""""#####################$$$$$$$$$$%%%&&&''(,@@@@@@@+'&&%%%%%$$$########
!!!!!!!!!"""""#######################$$$$$$$$$$%%%%&')*7@0+('&%%%$$$$$#######"""
!!!!!!!!!!!"""""""######################$$$$$$$$$%%%&&(+-).*&%$$$$$$######""""""
!!!!!!!!!!!!!"""""""""#######################$$$$$$%%'3(%%%$$$$$######""""""""""
!!!!!!!!!!!!!!!""""""""""""#####################################""""""""""""""""

Переписал некоторые функции рантайм библиотеки с ассемблера на Би. К примеру, было:

    writeb: ,name,
         12 ,base,*
c
c Append one byte to output buffer.
c
 b/output:lc,block, w_count, b_shift, buffer(22)
c
    flush:  ,subp,
            ,aax, =377
            ,aex, =12       . compare to linefeed
            ,uza, flush
            ,aex, =12
c
            ,utc, w_count
            ,xts,
            ,aex, =26       . 22 words
            ,u1a, putchar
            ,ita, 13
            ,its,
            ,call, flush
            ,sti,
            ,ati, 13
c
 putchar:   ,bss,           . append byte to buffer
            ,sti,
         11 ,vtm, b/output
         11 ,wtc, 1         . b_shift
            ,asn, 64-40     . shift left
         11 ,wtc, 0         . w_count
         11 ,aox, 2         . read word from buffer
         11 ,wtc, 0         . w_count
         11 ,atx, 2         . write word to buffer
c
         11 ,xta, 1         . b_shift
            ,aex, =50
            ,uza, next_w
            ,aex, =50
            ,arx, =10       . increase shift
         11 ,atx, 1         . b_shift
         13 ,uj,
c
 next_w:    ,bss,           . advance to next word
         11 ,atx, 1         . clear b_shift
         11 ,xta, 0         . w_count
            ,arx, =1        . increment word count
         11 ,atx, 0         . w_count
         13 ,uj,
            ,end,

Стало:

/*
 * Append one byte to output buffer.
 */
writeb(b) {
    extrn out_cnt, out_shft, out_buff;
    auto p;

    b = b & 0377;
    if (b == '*n') {
        flush();
        return;
    }

    if (out_cnt == 22) {
        flush();
    }

    p = &out_buff[out_cnt];
    *p = *p | (b << (40 - out_shft));

    if (out_shft == 40) {
        /* next word */
        out_shft = 0;
        ++out_cnt;
    } else {
        /* next byte */
        out_shft = out_shft + 8;
    }
}

out_cnt;
out_shft;
out_buff[22];

Так ведь понятнее выходит, правда?

Простая программа: копирует входные байты на выход.

main() {
    auto ch;

    while (ch = read()) {
        write(ch);
    }
}

Пропускаем через Би компилятор, получаем ассемблерный код.

$ bbesm < cat.b > cat.madlen
$ cat cat.madlen
 main:8,name,
 program:,entry,
 main:,bss,
 b/save0:,subp,
 b/ret:,subp,
    ,its,13
    ,call,b/save0
  15,utm,1
 /0:,bss,
   7,utc,0
  14,vtm,
    ,ita,14
 read:,subp,
  14,vtm,read
    ,its,14
    ,ati,14
  14,utc,
  13,vjm,
  15,wtc,
    ,atx,
    ,uza,/1
 write:,subp,
  14,vtm,write
    ,ita,14
   7,utc,0
  14,vtm,
    ,its,14
    ,ati,14
  14,xta,
  14,vtm,-1
  15,wtc,
  13,vjm,
    ,uj,/0
 /1:,bss,
    ,uj, b/ret
    ,end,

Компилируем в бинарник для БЭСМ-6. Линкуем с рантайм библиотекой Би.

$ besmc cat.madlen libb.obj

Запустим и подадим на вход собственный исходный код:

$ ./cat.exe < cat.b 
MAIN() [
    AUTO CH;

    WHILE (CH = READ()) [
        WRITE(CH);
    ]
]

Всё перекодировалось в КОИ-7 по ходу. Это специфика мониторной системы Дубна, никуда не денешься. Ведь мы используем её механизм формирования входного потока программы.

Компилятор Би для БЭСМ-6 функционально закончен. То есть все фичи, в нём имеющиеся, вроде работают. Некоторые привычные для нас вещи отсутствуют: инкремент-декремент, сдвиги, операторы типа плюс-присвоить. Нет цикла for и оператора switch. Не поместились они у Кена Томпсона в 16 килобайт памяти PDP-7.

Сгенерённый компилятором код получается неэффективный, но для нас сейчас главное, что он функционально правильный. А насколько он неэффективный - давайте померяем. Возьмём для теста известный алгоритм вычисления e-2 по формуле 1/2! + 1/3! и так далее. Вот реализация на Би: e-2.b. Компилируем, запускаем:

$ bbesm < e-2.b > e-2.madlen
$ besmc e-2.madlen libb.obj
$ time ./e-2.exe
71828 18284 59045 23536 02874 71352 66249 77572 47093 69995
...
88683 31483 28027 06553 83300 46932 90115 74414 75631 39997

real	0m18.310s
user	0m18.302s
sys	0m0.008s

Для сравнения я переписал этот код на Паскаль: e-2.dub. Запустим на том же симуляторе:

$ dubna e-2.dub
...
≠
 71828 18284 59045 23536 02874 71352 66249 77572 47093 69995
...
 88683 31483 28027 06553 83300 46932 90115 74414 75631 39997
------------------------------------------------------------
   Elapsed time: 12.3 seconds
      Simulated: 626677681 instructions
Simulation rate: 51010913 instructions/sec

Выходит 18.3 секунды против 12.3 секунды на Паскале. Не так ужасно, всего в полтора раза медленнее. С оптимизацией Би может оказаться даже эффективнее Паскаля.

Пока что для Би на БЭСМ-6 я пришёл к следующему соглашению о связях. Вызов фукнции:

    result = foobar(a, b, c)

транслируется как:

       ,xta, a
       ,xts, b
       ,xts, c
    14 ,vtm, 3
    13 ,vjm, foobar
       ,atx, result

Заметьте: на регистре 14 передаётся количество аргументов. Это нужно, чтобы функции с переменным количеством аргументов могли правильно отыскать в стеке свой первый параметр. Иначе printf() не сможет работать.

Получается односторонняя совместимость с Фортраном. Из Би можно будет вызывать фортрановские функции. Но не наоборот.

Вспоминаю молодость. Распечатал бэсмовские листинги, изучаю тонкости работы мониторной системы "Дубна".

Наш эмулятор БЭСМ-6 развивается уже около 30 лет. За это время мы гоняли на нём кучу разного софта. Вдохновлённые успехами, мы верили, что уж систему команд-то мы поняли хорошо и реализовали качественно. И тут внезапно нежданчик. Вчера обнаружили ошибку в арифметике. Не в самих вычислениях, а в команде выдачи младшей половины результата арифметической операции. Расскажу по порядку.

Эмулятор БЭСМ-6 когда-то начинался с простой необходимости проверять качество кода, порождаемого Си-компилятором. Через некоторое время он развился до dispak, на котором уже можно запустить любую задачу режима пользователя. Если знаете, есть в линуксе такой Wine, на котором можно запускать приложения Windows. Здесь то же самое, только вместо системных вызовов win32 эмулируются экстракоды ОС Диспак.

Пятнадцать лет назад мы раздобыли образ системного диска реальной БЭСМ-6 и соорудили для его оживления более серьёзный эмулятор на основе SIMH. Здесь уже имитируется работа всей периферийной аппаратуры машины, в дополнение к процессору. Прогнали на этих эмуляторах вагон разных компиляторов, прикладных программ и утилит. Все выловленные баги аккуратно исправили до состояния приятной стабильности. Приделали графическую панель, чтобы наблюдать лампочки на пульте и знаменитое диспаковское "жду" на регистрах, когда операционке заняться нечем.



В прошлом году мы доросли до понимания устройства другой бэсмовской операционки, а именно ОС Дубна, и сваяли третий эмулятор dubna. Он работает по той же идее, что и dispak: выполняет системные вызовы и позволяет запускать задания точно в виде, описанном в исторической книжке Мазного "Программирование на БЭСМ-6 в системе Дубна". И тоже всё у нас отлично работало - пока мы не наткнулись на проблему со строками в Алголе.

В составе мониторной системы Дубна присутствует транслятор с языка Алгол-60. Его назвали Алгол-ГДР, чтобы отличать от другой реализации Алгол-БЭСМ, которая имелась только под Диспаком. Так вот, в Алголе-ГДР имелось несколько полезных расширений языка, по сравнению со стандартом Алгола-60. Одно из расширений - тип string. Память под строки автоматически выделяется в особом буфере, и в целом с ними довольно удобно работать. Все операции с алгольными строками отлично функционируют под эмулятором dispak. Но под dubna мы столкнулись с проблемой: элементарная операция индексации (вида s[5]) или среза (s[3:7]) приводила к останову по арифметическому переполнению. Простая программа:

*name Алгол
*no list
*no load list
*algol
'begin'
    'string' s;
    s := ''abra cadabra'';
    print(s, newline);
    print(s[3], newline);
    print(s[2:8], newline);
'end''eop'
*execute
*end file

Запускаем на одном эмуляторе:

$ dispak algol.b6 
                                                      26.07.24 М1

  М О Н И Т О Р-8 0  (3.7)   25.09.84*       (  МС " Д У Б Н А " ИАЭ  )             ШИФР    419999000000
...
*NАМЕ АЛГОЛ
           *NО LISТ
           *NО LОАD LISТ
           *АLGОL
           *ЕХЕСUТЕ
... 
 АВRА САDАВRА 
 R 
 ВRА САD

Запускаем на другом:

$ dubna algol.dub 
                                             27 ИЮЛ 24 00.00
 ЙOKCEЛ      БЭCM-6/5     ШИФP-12
 MOHИTOPHAЯ CИCTEMA  ′Д Y Б H A′  -  20/10/88
...
*NAME AЛГOЛ
*NO LIST
*NO LOAD LIST
*ALGOL
PROGRAM   ДЛИHA:   28 00034B BPEMЯ:  0.00 CEK. KAPT:   7
*EXECUTE
... 
 ABRA CADABRA 
Error: Arithmetic overflow @01467

Что такое, в чём дело? Несколько дней ходили вокруг этой ошибки. Склонялись уже к тому, что в Дубне был сломанный Алгол. Что никто ним не пользовался, а тем более странными строками. Однако взялись копнуть глубже.

Сильная сторона эмулятора - возможность включить подробную трассировку. Включаем, смотрим где упало.

$ dubna -d remi algol.dub
...
01463 L: 14 005 0424 a-x 424(14)
      Memory Read [02063] = 6400 0000 0000 0001
      ACC = 6400 0000 0000 0002
      RAU = 23
01463 R: 00 27 02046 u1a 2046
      RMR = 6400 0000 0000 0002
01464 L: 14 017 0423 a*x 423(14)
      Memory Read [02062] = 4002 5252 5252 5253
      ACC = 6400 0000 0000 0000
      RMR = 6405 2525 2525 2526
      RAU = 13
01464 R: 17 000 0000 atx (17)
      Memory Write [03504] = 6400 0000 0000 0000
      M17 = 03505
01465 L: 00 037 0007 ntr 7
      RAU = 07
01465 R: 00 031 0000 yta
      ACC = 6405 2525 2525 2526
01466 L: 14 015 0414 aox 414(14)
      Memory Read [02053] = 4000 0000 0000 0000
      RMR = 0000 0000 0000 0000
01466 R: 14 011 0431 aax 431(14)
      Memory Read [02070] = 7777 7777 7770 0000
      ACC = 6405 2525 2520 0000
01467 L: 14 017 0420 a*x 420(14)
      Memory Read [02057] = 6437 7777 7777 7772
Error: Arithmetic overflow @01467
      ACC = 1037 7777 7777 7776
      RMR = 0000 0000 0040 0000
00020 L: 00 074 0000 *74

Видим, что переполнение случилось в результате команды A*X, то есть умножения. Одно целое число 6405 2525 2520 0000 (слово в восьмеричном виде) умножалось на другое число 6437 7777 7777 7772. То, что числа целые, видно по характерному порядку 64 в старших битах. Режим арифметического устройства установлен в RAU=07, что означает отключение нормализации и округления. Без нормализации порядок 64 воспринимается как 2⁴⁰, то есть одно очень большое число умножается на другое очень большое число. Естественно, переполнение. Так не должно быть.

Откуда взялся порядок 64 у числа на сумматоре? Оно извлечено командой YTA из регистра младших разрядов. А образовалось это значение RMR в результате предыдущей команды умножения A*X. Причём позже на это значение командой побитового "или" (AOX) накладывается значение 4000 0000 0000 0000. То есть делается попытка восстановить биты порядка. И тут закралось первое подозрение. Очевидно, что команда AOX предполагает нулевые разряды порядка у значения в RMR после умножения. Откуда же там взялось 64? Может быть, этот код на ленте испорченный? Всякое бывает.

Если посмотреть по таблице адресов и имён загрузки программы, ошибка происходит в модуле A/SPLUSS. К счастью, у нас есть исходный текст этого модуля в файле besm6.github.io/sources/dubna/besmmons/system1.txt. Вот фрагмент:

  zerl6   :12 , a-x   , =i1-c. up i14.ac=6*a+b+1.a in mag,-8b in sh
              , u1a   , slicerr            grenze negativ
 l         12 , a*x   , =4002 5252 5252 5253-c. 1/6 exp 64
           15 , atx   ,                    ganzer teil
              , ntr   , 7                  wegen yta
              , yta   ,
           12 , aox   , b48-c              rest/6 als gleitkommazahl
 l         12 , aax   , =7777 7777 7770 0000-c. wegen rundung
           12 , a*x   , =i-6 -c            -b dh neg rest mod 6

Тут всё честно, никаких расхождений. Комментарии на немецком: подтверждение, что Алгол-ГДР действительно делался немцами.

Смотрим реализацию арифметики в эмуляторе. Центральная процедура здесь arith_normalize_and_round(), которая вызывается в завершении каждой арифметической операции и выполняет завершающую нормализацию и округление. В конце видим:

    core.RMR = (core.RMR & ~BITS40) | (mr & BITS40);

То есть мантисса в регистре RMR получает новое значение, а биты порядка остаются старыми. Тут возникло второе подозрение. Зачем нужно держать в регистре мусор от какой-то предыдущей операции? Странно.

А что должно оказываться в битах порядка RMR? Открываем официальную документацию от БЭСМ-6. Смотрим последнюю строчку: "содержимое 41:48 разрядов регистра младших разрядов сохраняется". Чепуха выходит.


Но у нас есть и описание СВС, то есть машины следующего поколения, совместимой по системе команд с БЭСМ-6. Смотрим туда: "содержимое 41-48-го разрядов регистра младших разрядов сохраняется гасится".


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

Правим вышеприведённую строчку в эмуляторе: обнуляем биты порядка в РМР. Снова запускаем алгольный пример со строками:

$ dubna algol.dub
...
 ABRA CADABRA
 R
 BRA CAD

Всё работает в лучшем виде. Репутация Алгола-ГДР восстановлена. Мы набрели на необычный момент истории архитектуры БЭСМ-6.

Вот ещё одна симпатичная картинка, нарисованная Графором на БЭСМ-6. Исходники сохранились на ленте ЦЕРНовских тестов, привезённой из Дубны.

Юра Лобачёв много лет не светился в сети, а тут внезапно поминает меня добрым словом. Он отвечал за Си компилятор в новосибирской команде ИТМиВТ, которая переносила Юникс на БЭСМ-6 и Эльбрус-Б. Он взял мою дипломную работу - компилятор Си для БЭСМ-6 и Эльбрус-Б - и довёл до ума.

Новосибирский филиал Института точной механики и вычислительной техники АН СССР

Лобачев Юрий Владимирович

Когда Вы пришли в НФ ИТМ и ВТ?

Заманил меня в НФ ИТМ и ВТ после Университета и после армии в 1981 – Жора Томе, за что ему отдельное спасибо.

Кто был Вашим руководителем?

Сердюк Григорий Иванович.

В каких проектах вы принимали участие?

Сначала было мимолетное участие в КОБОЛе. Потом участвовал, под присмотром Цанга, в проработке системы команд для Эльбруса Б, статистической обработке структур объектных модулей и загрузчиков для формирования этих компонентов для новой системы. Затем была запоминающаяся работа в замечательном творческом коллективе первой лаборатории по установке UNIX-ов на отечественные железяки: OS – Основич, Молчанов; Файловая система – Городилов, Райхерт, Семухина; Отладчики – Горр; мы с Вакуленко портировали первую версию С компилятора; Борис Кузнецов – утилиты и librt. Первой жертвой стала старушка БЭСМ, на которой мы установили мировой рекорд – UNIX на самой старой машине в мире. Затем был UNIX на Эльбрус Б, на него я устанавливал С, Fortran 77 и Pascal. В Фортране реализовал оптимизацию циклов. Последней работой была установка компиляторов С и Fortran 77 на МКП, в Фортран были добавлены векторизующие прагмы, подсмотренные у Крэя.

Потом проснулся – вокруг какой-то Энерджилайн, … Интел, вроде бы все тоже здание, стены, лес, но уже другая страна и совсем другое тысячелетие.

Какой проект, программа или разработка были самыми легкими? Самыми трудными?

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

Какой эпизод трудовых будней помнится ярче всего? А какой праздник?

Наверное, длительные командировки с ночным режимом работы. Утром возвращаемся в метро, кроме нас – только ночные бабочки, тоже с работы, примерно в том же состоянии, равнодушно друг друга созерцая. В Москву катались не как пижоны – с дипломатом или сумочкой через плечо, а с большими рюкзаками, чтобы на обратном пути побольше прихватить. Как-то возвращаемся из очередной командировки – два месяца не бритые и не спавшие по ночам, с большими рюкзаками, опаздываем на самолет, подбегаем к такси: “ну как, шеф, успеем?”, в ответ “садитесь мужики, а вы кто – геологи?”

Врезалось в память, как у меня на руках умирал последний отечественный суперкомпьютер. Бартеньев привез фортрановскую задачу для того, чтобы окончательно определиться, будут ли они закупать МКР для Арзамаса. Задача на Эльбрусе Б прошла, а на МКР не желает, потом причина выяснилась – оказалось, так как у нашего суперкомпьютора всего в наличии было 512К слов оперативной памяти, из них половину занимала ОС, и никакой периферии, т.е. массивы было просто некуда положить. И это был конец.

С кем из коллег Вы продолжаете вместе работать? С кем дружите?

Нас тут, на удивление, еще много в этом здании, или вокруг бродят.

Чем Вы занимаетесь сейчас?

А все тем же и занимаюсь – С, Fortran …

В последнее время, правда, стал глубже копать, поэтому периодически попадаются то мамонты, то носороги, то бизоны и большерогие олени. Раньше я не понимал – для чего наши филиальцы в эти бестолковые походы бегают, а теперь для себя сформулировал смысл, и все отпуска провожу на Алтае в компании с единомышленниками. Правда, мы теперь не пешком и с аквалангами.

Где живете? В каких социальных сетях Вас можно найти?

Живу в Академе, часто посещаю палеонтологический форум, там меня можно найти.

Имеем некоторый прогресс в симуляторе мониторной системы "Дубна". Заработали Паскаль, Алгол, Forex, Aspid, Dtran, Whatis. Примеры можно посмотреть по ссылкам:

• expect_pascal.txt
• expect_algol.txt
• expect_forex.txt
• expect_aspid.txt
• expect_dtran.txt
• expect_whatis_monsys.txt

Симулятор умеет теперь выдавать список всех команд мониторки:

$ dubna --help-commands
*           *DISC       *FOREX      *NAME       *PERMA      *TAPE 
*1          *DOS        *FORTR      *NEW L      *PERSO      *TAPES
*ALGOL      *DRUM       *FTN        *NO CH      *PUNCH      *TEMPO
*ASSEM      *EDIT       *FULL       *NO LI      *READ       *TERM 
*ASSIG      *EDIT:      *LIBLI      *NO LO      *READ:      *TIME 
*BEMSH      *END F      *LIBPU      *NO OP      *REFAL      *TO CO
*CALL       *EXCLU      *LIBRA      *NO PU      *SIMUL      *TO PE
*CATAL      *EXECU      *LIST       *OPTIM      *SOS  
*CHECK      *EXFOR      *MADLE      *PAGE       *STAND
*COMMO      *EXPRE      *MAIN       *PASCA      *SYSTE
*COPY       *FILE       *MOVE       *PASS       *TABLE
*COPY:      *FIX D      *MOVE:      *PASS:      *TAKE

А также список библиотек и их расположение на лентах:

$ dubna --help-libs
Library        Tape         Zone
--------------------------------
*library:1     12/librar    0000
*library:2     37/librar    0000
*library:3     37/librar    0340
*library:5     37/librar    0545
*library:6     37/librar    0650
*library:7     37/librar    1061
*library:10    37/librar    1220
*library:11    37/librar    1370
*library:12    12/librar    0375
*library:21    9/monsys     0240
*library:22    9/monsys     0172
*library:23    9/monsys     0320
*library:24    9/monsys     0172
*library:25    12/librar    0640
*library:26    483/grafpr   0000
*library:27    12/librar    0600

Также дошли руки восстановить инструкцию по пакетному редактору *EDIT: besm6.org/wiki/Edit