Введение

Бинарный интерфейс между двумя программными модулями

В компьютерном программном обеспечении интерфейс бинарного приложения (ABI) — это интерфейс между двумя модулями бинарной программы. Зачастую один из этих модулей представляет собой библиотеку или компонент операционной системы, а другой — программу, выполняемую пользователем. ABI определяет способ доступа к структурам данных или вычислительным подпрограммам в машинном коде, который представляет собой низкоуровневый, аппаратно-зависимый формат. В отличие от него, интерфейс прикладного программирования (API) определяет этот доступ в исходном коде, который является относительно высокоуровневым, аппаратно-независимым и часто читаемым человеком форматом. Важным аспектом ABI является соглашение о вызовах, определяющее, как данные передаются на вход или возвращаются из вычислительных подпрограмм. Примерами могут служить соглашения о вызовах x86. Соблюдение ABI (которое может быть официально стандартизировано или нет) обычно является задачей компилятора, операционной системы или разработчика библиотеки. Однако программисту приложения может потребоваться напрямую взаимодействовать с ABI при написании программы, использующей несколько языков программирования, или даже при компиляции программы, написанной на одном языке, с использованием различных компиляторов.

Полные АБИ

Полный ABI, такой как Стандарт двоичной совместимости Intel (iBCS), позволяет программе, созданной для одной операционной системы, поддерживающей этот ABI, работать без изменений на любой другой системе с поддержкой того же ABI, при условии наличия необходимых общих библиотек и соблюдения других аналогичных требований. ABI также могут стандартизировать детали, такие как искажение имен в C++, распространение исключений и соглашения о вызовах между компиляторами на одной и той же платформе, но не требуют обеспечения кроссплатформенной совместимости.

Встроенные АБИ

Встроенный бинарный интерфейс приложения (EABI) определяет стандартные соглашения для форматов файлов, типов данных, использования регистров, организации стекового фрейма и передачи параметров функций встроенной программной программы, предназначенной для использования с встроенной операционной системой. Компиляторы, поддерживающие EABI, генерируют объектный код, совместимый с кодом, сгенерированным другими такими компиляторами, что позволяет разработчикам связывать библиотеки, созданные одним компилятором, с объектным кодом, сгенерированным другим компилятором. Разработчики, пишущие собственный код на языке ассемблера, также могут взаимодействовать с ассемблерным кодом, сгенерированным совместимым компилятором. EABI разрабатываются для оптимизации производительности в условиях ограниченных ресурсов встроенной системы. Поэтому EABI исключают большинство абстракций, применяемых между ядром и пользовательским кодом в сложных операционных системах. Например, динамическая компоновка может быть исключена для уменьшения размера исполняемых файлов и ускорения загрузки, фиксированное использование регистров позволяет создавать более компактные стеки и вызовы ядра, а запуск приложения в привилегированном режиме обеспечивает прямой доступ к аппаратному обеспечению без косвенного вызова драйвера устройства. Выбор EABI может влиять на производительность. Широко используемые EABI включают PowerPC и MIPS EABI. Конкретные программные реализации, такие как библиотека C, могут накладывать дополнительные ограничения для формирования более конкретных ABI; примером является GNU OABI и EABI для ARM, оба из которых являются подмножествами ARM EABI.