6

Компилятор выполняет сборку объектных файлов (.obj) в каждом из которых (в начале?) содержится таблица символов, где хранится все глобальные переменные, их значения (если они есть) и адреса объявленных функции. Что же представляет собой остальное содержимое объектного файла? Скомпилированный код. Как он выглядит, если у нас несколько функций? Не сливается же это всё в единую последовательность команд...

Как устроена статическая линковка библиотек? Неразрешённые символы таблицы символов компоновщик ищет в указанных библиотеках. Так понимаю, в библиотеке тоже должно быть указано где находится искомая функция и её размер. Далее функция включается в исполняемый файл. Выходит, .lib не нужно за собой таскать раз функция уже в .exe?

Как устроена динамическая линковка библиотек? ОС должна используя таблицу импорта найти нужные функции в .dll и загрузить эти функции в оперативную память процесса?

Пожалуйста, можно объяснить поподробнее обо всех этих вещах и том, что посчитаете относящимся к этому вопросу.


CORRECTED: Уточняю свои вопросы:

  1. Объектные файлы. Компилятор выполняет создание объектного файла, который в общем виде представлен заголовком, содержащим различную информацию о программе, и скомпилированным кодом, который так же зависит от RTL и, в зависимости от компилятора, содержит те или иные ссылки на функции из библиотек RTL. Заголовок так же содержит таблицу символов (где находится информация обо всех методах и глобальных переменных (размер, тип, адреса и т.п.), а так же, в случае С++, описания методов классов, запись названий которых осуществляется при помощи декорирования имён ввиду некоторых ограничений на символы (в случае dll, это затрудняет использование классов при явной компоновке, как я понял)). Скомпилированный код просто представлен сплошными инструкциями, которые как-то разделяются по функциям, на начала которых указывают символы в таблице символов. Когда объектных файлов несколько, таблицы символов сливаются, как и код, а из повторяющихся символов выбирается самый "массивный". Верно ли? Чем вы можете дополнить это?.
  2. Статическая компоновка. Неразрешённые символы из таблицы символов объектного файла компоновщик ищет в подключаемых библиотеках. В случае статической компоновки .lib файл используется лишь как ресурс для функций, откуда копируются в целевой .exe их содержимое (т.е. .lib за собой таскать не надо?).
  3. Динамическая компоновка. При динамической линковке, компоновщик помечает неразрешённые символы как IOU ("я тебе должен") (ищет ли он их определения в указанных .dll? надо же быть уверенным, что такая .dll, которую указал пользователь вообще существует и в ней есть этот метод. Разве нет?). При запуске .exe ОС подключает нужные .dll (ищет их в нужных местах) и загружает в память. Только, вроде как, при неявной компоновке если какая-то .dll уже есть в памяти, она не будет загружена снова. Но как ОС знает по какому адресу эта .dll загружена? Методы заменяются на ссылки на функции загруженной .dll или как? При явной загрузке все функции .dll вроде просто выгружаются в память на ровне с функциями самого .exe и в таблице данных есть адреса этих функций в оперативной памяти - или как это вообще выглядит? При передаче переменной в метод её имя заменяется на адрес из блока данных? Как это выглядит?
11
  • 1
    Тут несколько вопросов, ответ на каждый будет занимать немало места. Ознакомьтесь для начала с форматом OBJ-файлов и с IDA 17 окт 2017 в 15:55
  • Ну мне достаточно общей информации. Не настолько подробно, чтобы написать целую статью как на Хабре.
    – D .Stark
    17 окт 2017 в 15:58
  • Где-то абзацев 3 по каждому вопросу.
    – D .Stark
    17 окт 2017 в 15:59
  • Возможный дубликат вопроса: Компоновка, компиляция
    – Komdosh
    17 окт 2017 в 16:06
  • 5
    @D.Stark, посмотрел на ваши требования к Бармалею, и что-то пропала охота вам писать...
    – avp
    17 окт 2017 в 19:16

1 ответ 1

3

Извините конечно, но на тему ваших вопросов можно целую книгу написать...

Если очень грубо, то формат объектного файла в целом описывается стандартом ELF - Executable & Linkable File - по сути это файл с неким заголовком и произвольным набором секций, именование секций вообще говоря зависит от платформы. Для старых Windows программ формат объектных файлов описывается COFF - Common Object File Format - структурно формат схож с ELF, но он более Windows ориентирован, в то время как ELF - кроссплатформенный.

Если охота поразбираться в кишках - то велкам сюда

6
  • Поразбираться не охота и не требуется. Мне нужны общие сведения.
    – D .Stark
    17 окт 2017 в 18:40
  • В вашем ответе не хватает пояснения ключевого вопроса по объектным файлам: как оформляется секция с кодом и разделяются функций. Ясно, что имя каждой функции и адрес на её начало, размер хранится в таблице символов (..и адрес точки входа в заголовке объектного файла). Но как именно эти функции отделяются и выглядят в скомпилированном виде. Вопросы статической и динамической компоновки, а так же "слияния" таблиц символов разных объектных файлов при получении целевого .exe, вообще не рассмотрены.
    – D .Stark
    17 окт 2017 в 18:47
  • Писать неохота - многабукаф :) Читайте мануалы, вгрызайтесь - удачи
    – Barmaley
    17 окт 2017 в 18:57
  • 2
    Прямо скажем вопрос не совсем по теме сайта - это не есть вопрос о конкретной проблеме, а вопрос из сорта общеобразовательных
    – Barmaley
    17 окт 2017 в 19:01
  • 1
    Букварь лень читать? Да тут по вашей логике всем букварь лень читать, ведь ответы на почти все вопросы можно найти в разных там документациях, учебниках, мануалах и т.д. Мои вопросы же вполне конкретны (ну по крайней мере, теперь) и я не требую ни от кого лезть в "букварь" за меня. Вопрос для тех, кто может дать ответ не залезая в гугл...
    – D .Stark
    20 окт 2017 в 8:43

Ваш ответ

Нажимая на кнопку «Отправить ответ», вы соглашаетесь с нашими пользовательским соглашением, политикой конфиденциальности и политикой о куки

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.