Разница между объектным файлом и стандартным массивом

[vak]

Формат, в котором объектные файлы хранятся в библиотеке (*perso или *libra), слегка отличаются от формата, который выдаётся на перфокарты (стандартный массив).

Вкратце, объектный файл состоит из двух частей:
(1) Заголовок, 3 слова
(2) Машинные команды, данные, таблица символов

Стандартный массив состоит трёх частей:
(1) Таблица входов
(2) Заголовок, 10 слов
(3) Машинные команды, данные, таблица символов

Собственно код программы, то есть машинные команды, данные и таблица символов полностью совпадают.

В заголовке содержатся те же значения, но в случае объектного файла они упакованы в три слова, из экономии.

В объектном файле отсутствует таблица входов. Очевидно, эта информация хранится в таблице библиотеки, перемешанная с другими объектными модулями.

В комментариях можно посмотреть дамп объектного файла и стандартного массива одной и той же программы objfmt.madlen.

Comments

[vak]

Возможно, тип сегмента: команды или данные.

[spamsink]

Это маловероятно - данные не попадают в память. А вот как определяется размер таблицы входов? Похоже, что первое слово, начинающееся с "пробела" - уже не вход.
Кстати, были возможны модули с самым младшим адресом входа, отличным от нуля.

[vak]

Похоже на то.
Для наших целей (новйы линкер и ассемблер) мы можем игнорировать таблицу входов. Нет требования линковать модули, генерируемые мониторкой.

Кстати, вопрос: умеет ли кто из существующих компиляторов порождать отладочную информацию? То есть секцию debug.

[spamsink]

Если кто-то и умеет, то Фортран-ГДР должен в первую очередь. У него столько разных отладочных флагов!

Миша П., наверное, знает лучше.

[vak]

Попробовал вставить карту *DEBUG - действительно, трансляторы Фортран-ГДР, Фортран-Дубна и Мадлен начинают генерить непустую секцию debug.

[mrupor]

Да, это правда. Дубна поддерживает символическую отладку. Есть два (как я знаю) отладчика: один - пакетный (написанный Гусевым и Силиным), а другой - интерактивный (Силин и Ломидзе). Точнее, это был дополнительный extra-код *67, и все отладчики построены на нем. Я не помню форматы отладки, но это восстанавливается по публикациям и комментариям.

[vak]

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

Вот в этих файлах, в конце:

https://github.com/besm6/mesm6/blob/master/toolchain/as/test/ftn.dis

https://github.com/besm6/mesm6/blob/master/toolchain/as/test/fortran.dis

https://github.com/besm6/mesm6/blob/master/toolchain/as/test/madlen.dis

[mrupor]

Формат отладки базировался на формате таблицы описания (был очень похож). Идея состояла в том, чтобы сохранить информацию, потерянную при компиляции, например, в ситуации базирования. Так что это было не изобретение нового формата (колеса). Таким образом, разные компиляторы выдают разную отладочную информацию, но схожию по логике, поскольку генерируют разные таблицы описаний.

[mrupor]

Вот, вогнал меня в краску. Про debug информации немного, в мадлене выталкивается информация о всех метках, т.к. таблица описаний хранит символы только глобальные. Фортраны пишут еще информацию о номере строки для оператора, но формат мне не известен, извстно только что это после //////// в debug секции.