Linux API. Исчерпывающее руководство

Возвращает ненулевое значение, если адрес addr был найден в разделяемой библиотеке; иначе возвращает 0

Аргумент info представляет собой указатель на структуру, выделенную вызывающим кодом и имеющую такой вид:

typedef struct {

const char *dli_fname; /* Путь к разделяемой библиотеке, содержащей 'addr' */

void *dli_fbase; /* Базовый адрес, по которому

загружена разделяемая библиотека */

const char *dli_sname; /* Имя ближайшего к 'addr' символа (во время выполнения) */

void *dli_saddr; /* Значение символа, возвращенного в поле 'dli_sname' */

} Dl_info;

Первые два поля структуры Dl_info содержат путь к найденной разделяемой библиотеке и ее базовый адрес. Сведения об этом адресе находятся в последних двух полях. Если аргумент addr указывает на точный адрес библиотечного символа, dli_saddr будет иметь то же значение, которое было указано с помощью addr.

Функция dladdr() не входит в состав стандарта SUSv3 и поддерживается не всеми реализациями UNIX.

42.1.6. Получение доступа к символам главной программы

Представьте что мы динамически загрузили разделяемую библиотеку, используя dlopen(), и применяем dlsym() для получения адреса функции x() (которая принадлежит этой библиотеке) и последующего ее вызова. Если x(), в свою очередь, вызовет функцию y(), ее поиск будет происходить в одной из разделяемых библиотек, загруженных программой.

Но иногда бывает нужно, чтобы функция x() вызвала реализацию y() из главной программы (похоже на то, как работает механизм обратного вызова). Для этого мы должны сделать (глобальные) символы в главной программе доступными для динамического компоновщика, воспользовавшись при компоновке параметром — export-dynamic:

$ gcc — Wl, — export-dynamic main.c Плюс дополнительные параметры и аргументы

То же самое можно сделать с помощью следующей команды:

$ gcc — export-dynamic main.c

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

Параметры gcc — rdynamic и gcc — Wl, — E являются дополнительными синонимами для — Wl, — export-dynamic.

42.2. Управление видимостью символов

Хорошо спроектированная библиотека должна оставлять видимыми только те символы (функции и переменные), которые составляют часть ее двоичного программного интерфейса (ABI). Этому есть несколько причин.

• Если разработчик библиотеки случайно экспортирует неустановленный интерфейс, авторы приложений, работающие с такой библиотекой, могут этим воспользоваться. Могут возникнуть проблемы с совместимостью в будущих обновлениях разделяемой библиотеки. Ее разработчик рассчитывает на наличие у него возможности изменять или удалять любые интерфейсы, не входящие в задокументированный ABI, а ее пользователи исходят из того, что они смогут продолжить использовать тот же интерфейс (с той же семантикой).

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

• Экспорт лишних интерфейсов увеличивает размер таблицы динамических символов, которая должна быть загружена при запуске программы.

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

• В языке C можно использовать ключевое слово static, которое делает символ приватным относительно модуля с исходным кодом и недоступным для обращения со стороны других объектных файлов.

Ключевое слово static имеет побочный эффект. Все ссылки на символ, помеченный им, будут привязаны к определению этого символа (при условии, что они находятся в том же исходном файле). Следовательно, такие ссылки не будут перекрываться определениями из других разделяемых библиотек (как это описано в разделе 41.12). Данное свойство ключевого слова static похоже на действие параметра компоновщика — Bsymbolic, описанного в разделе 41.12, с той лишь разницей, что ключевое слово static влияет только на один символ внутри одного исходного файла.

• Компилятор GNU языка C, gcc, предоставляет нестандартное определение атрибута, который выполняет то же действие, что и ключевое слово static:

void

__attribute__ ((visibility("hidden")))

func(void) {

/* Код */

}

Если ключевое слово static ограничивает видимость символа единственным исходным файлом, то атрибут hidden делает символ доступным во всех исходных файлах разделяемой библиотеки, но не за ее пределами.

Как и ключевое слово static, атрибут hidden имеет побочный эффект, не давая перекрывать символ во время выполнения.

• Версионные сценарии (см. раздел 42.3) предоставляют полный контроль над видимостью символов и возможность выбирать те их версии, к которым будет привязана ссылка.