Переместимые коды и абсолютные коды
Назначение и функции компоновщика.
Лекция 4.
Редактор связей (компоновщик) выполняет две функции. Во-первых, как можно заключить по его названию, он комбинирует (компонует, редактирует) различные объектные файлы. Вторая его функция — разрешать адреса вызовов и инструкций загрузки, найденных в редактируемых объектных файлах. Чтобы понять принцип работы редактора связей, рассмотрим подробнее процесс раздельной компиляции.
Раздельная компиляция
Раздельная компиляция — это возможность, позволяющая разбить программу на несколько файлов, скомпилировать каждый из этих файлов отдельно, а потом скомпоновать их, чтобы в конечном итоге создать загрузочный модуль. Результатом работы компилятора является объектный файл, а результатом работы редактора связей — загрузочный модуль. Редактор связей физически связывает файлы, внесенные в список компоновки, в один программный файл и разрешает внешние ссылки. Внешняя ссылка создается каждый раз, когда программа из одного файла ссылается на код из другого файла. Это происходит при вызове функции и при ссылке на глобальную переменную. Например, при компоновке двух приведенных ниже файлов, должна быть разрешена ссылка в файле 2 на идентификатор count, объявленный в файле 1. Редактор связей сообщает программе из файла 2, где найти count.
Файл 1 Файл 2
int count; #include <stdio.h>
void display(void); extern int count;
int main(void) void display(void)
{ {
count = 10; printf("%d", count);
display(); }
return 0;
}
Аналогично, редактор связей укажет файлу 1, где находится функция display(), чтобы можно было ее вызвать.
При генерации объектного кода функции display(), компилятор подставляет в негo вместо адреса идентификатора count "заполнитель", т.е. ссылку на внешнее имя, потому что он не располагает информацией о том, где находится count. Нечто подобное происходит при компиляции main(). Адрес функции display() не известен, поэтому вместо него используется "заполнитель", т.е. ссылка на внешнюю программу. При компоновке этих двух файлов содержащиеся в них внешние ссылки заменяются адресами соответствующих элементов. Являются ли эти адреса абсолютными или переместимыми, — зависит от среды.
В результате работы редактора связей для большинства видов вычислительной среды получается переместимый код. Так называют объектный код, который может работать в любой свободной области памяти, способной его уместить. В переместимом объектном файле адрес каждой инструкции вызова или загрузки является не фиксированным, а относительным. Таким образом, адреса в переместимом коде отсчитываются от адреса начала программы. При загрузке программы в память для выполнения, загрузчик преобразует относительные адреса в физические адреса, соответствующие адресам ячеек памяти, в которую загружается программа.
В некоторых вычислительных средах, таких как специализированные устройства управления, в которых для всех программ используется одно и то же адресное пространство, редактор связей подставляет в конечный результат своей работы физические адреса. В этом случае он генерирует абсолютный код.