Jump to content

Application binary interface: Difference between revisions

From Wikipedia, the free encyclopedia
Content deleted Content added
No edit summary
Tag: Reverted
m v2.05b - Bot T5 CW#16 - Fix errors for CW project (Unicode control characters)
 
(19 intermediate revisions by 16 users not shown)
Line 6: Line 6:
In [[computer software]], an '''application binary interface''' ('''ABI''') is an [[interface (computing)|interface]] between two binary program modules. Often, one of these modules is a [[Library (computing)|library]] or [[operating system]] facility, and the other is a program that is being run by a user.
In [[computer software]], an '''application binary interface''' ('''ABI''') is an [[interface (computing)|interface]] between two binary program modules. Often, one of these modules is a [[Library (computing)|library]] or [[operating system]] facility, and the other is a program that is being run by a user.


An ABI defines how data structures or computational routines are accessed in [[machine code]], which is a low-level, hardware-dependent format. In contrast, an [[application programming interface]] (API) defines this access in [[source code]], which is a relatively high-level, hardware-independent, often [[human-readable]] format. A common aspect of an ABI is the [[calling convention]], which determines how data is provided as input to, or read as output from, computational routines. Examples of this are the [[x86 calling conventions]].
''ABI'' are necessary due to separate compilation of software-modules which need to interact with each other.

An ''ABI'' defines how data structures or computational routines are accessed in [[machine code]], which is a low-level, hardware-dependent format. In contrast, an [[Application programming interface|''API'']] defines this access in [[source code]], which is a relatively high-level, hardware-independent, often [[human-readable]] format. A common aspect of an ABI is the [[calling convention]], which determines how data is provided as input to, or read as output from, computational routines. Examples of this are the [[x86 calling conventions]].


Adhering to an ABI (which may or may not be officially standardized) is usually the job of a [[compiler]], operating system, or library author. However, an application programmer may have to deal with an ABI directly when writing a program in a mix of programming languages, or even compiling a program written in the same language with different compilers.
Adhering to an ABI (which may or may not be officially standardized) is usually the job of a [[compiler]], operating system, or library author. However, an application programmer may have to deal with an ABI directly when writing a program in a mix of programming languages, or even compiling a program written in the same language with different compilers.


== Description ==
== Description ==
Details covered by an ABI include the following:
ABIs cover details such as:
* a processor instruction set (with details like register file structure, stack organization, memory access types, ...)
* Processor instruction set, with details like register file structure, stack organization, memory access types, etc.
* the sizes, layouts, and [[Data structure alignment|alignments]] of basic [[data type]]s that the processor can directly access
* Sizes, layouts, and [[Data structure alignment|alignments]] of basic [[data type]]s that the processor can directly access
* the [[calling convention]], which controls how the arguments of [[function (programming)|function]]s are passed, and return values retrieved. For example, it controls:
* [[Calling convention]], which controls how the arguments of [[function (programming)|function]]s are passed, and return values retrieved; for example, it controls the following:
** whether all parameters are passed on the stack, or some are passed in registers;
** Whether all parameters are passed on the stack, or some are passed in registers
** which registers are used for which function parameters;
** Which registers are used for which function parameters
** and whether the first function parameter passed on the stack is pushed first or last.
** Whether the first function parameter passed on the stack is pushed first or last
* how an application should make [[system call]]s to the operating system, and if the ABI specifies direct system calls rather than procedure calls to system call [[Method stub|stubs]], the system call numbers.
** Whether the caller or callee is responsible for cleaning up the stack after the function call
* How an application should make [[system call]]s to the operating system, and if the ABI specifies direct system calls rather than procedure calls to system call [[Method stub|stubs]], the system call numbers
* and in the case of a complete operating system ABI, the binary format of [[object file]]s, program libraries, and so on.
* In the case of a complete operating system ABI, the binary format of [[object file]]s, program libraries, etc.


== Complete ABIs ==
== Complete ABIs ==
A complete ABI, such as the [[Intel Binary Compatibility Standard]] (iBCS),<ref>[http://www.everything2.com/index.pl?node=iBCS Intel Binary Compatibility Standard (iBCS)]</ref> allows a program from one operating system supporting that ABI to run without modifications on any other such system, provided that necessary shared libraries are present, and similar prerequisites are fulfilled.
A complete ABI, such as the [[Intel Binary Compatibility Standard]] (iBCS),<ref>[http://www.everything2.com/index.pl?node=iBCS Intel Binary Compatibility Standard (iBCS)]</ref> allows a program from one operating system supporting that ABI to run without modifications on any other such system, provided that necessary shared libraries are present, and similar prerequisites are fulfilled.


Other{{which|date=November 2016}} ABIs standardize details such as the [[name mangling#Name mangling in C++|C++ name mangling]],<ref>{{cite web|url=https://itanium-cxx-abi.github.io/cxx-abi/|title=Itanium C++ ABI}} (compatible with multiple architectures)</ref> [[exception handling|exception]] propagation,<ref>{{cite web|url=http://itanium-cxx-abi.github.io/cxx-abi/abi-eh.html|title=Itanium C++ ABI: Exception Handling}} (compatible with multiple architectures)</ref> and calling convention between compilers on the same platform, but do not require cross-platform compatibility.
ABIs can also standardize details such as the [[name mangling#Name mangling in C++|C++ name mangling]],<ref>{{cite web|url=https://itanium-cxx-abi.github.io/cxx-abi/|title=Itanium C++ ABI}} (compatible with multiple architectures)</ref> [[exception handling|exception]] propagation,<ref>{{cite web|url=http://itanium-cxx-abi.github.io/cxx-abi/abi-eh.html|title=Itanium C++ ABI: Exception Handling}} (compatible with multiple architectures)</ref> and calling convention between compilers on the same platform, but do not require cross-platform compatibility.


== {{Anchor|EABI}}Embedded ABIs ==
== {{Anchor|EABI}}Embedded ABIs ==
Line 33: Line 32:
[[Compiler]]s that support the EABI create [[object code]] that is compatible with code generated by other such compilers, allowing developers to link libraries generated with one compiler with object code generated with another compiler. Developers writing their own [[assembly language]] code may also interface with assembly generated by a compliant compiler.
[[Compiler]]s that support the EABI create [[object code]] that is compatible with code generated by other such compilers, allowing developers to link libraries generated with one compiler with object code generated with another compiler. Developers writing their own [[assembly language]] code may also interface with assembly generated by a compliant compiler.


EABIs are designed to optimize for performance within the limited resources of an embedded system. Therefore, EABIs omit most abstractions that are made between kernel and user code in complex operating systems. For example, [[dynamic linking]] may be avoided to allow smaller executables and faster loading, fixed register usage allows more compact stacks and kernel calls, and running the application in privileged mode allows direct access to custom hardware operation without the indirection of calling a device driver.
EABIs are designed to optimize for performance within the limited resources of an embedded system. Therefore, EABIs omit most abstractions that are made between kernel and user code in complex operating systems. For example, [[dynamic linking]] may be avoided to allow smaller executables and faster loading, fixed register usage allows more compact stacks and kernel calls, and running the application in privileged mode allows direct access to custom hardware operation without the indirection of calling a device driver.<ref name="ppc-eabi">{{cite book
<ref name="ppc-eabi">{{cite book
| title = PowerPC Embedded Application Binary Interface: 32-Bit Implementation
| title = PowerPC Embedded Application Binary Interface: 32-Bit Implementation
| date = 1 October 1995
| date = 1 October 1995
Line 41: Line 39:
| pages = 28&ndash;30
| pages = 28&ndash;30
| publisher = Freescale Semiconductor, Inc
| publisher = Freescale Semiconductor, Inc
| url = http://www.nxp.com/files/32bit/doc/app_note/PPCEABI.pdf
| url = http://www.nxp.com/docs/en/application-note/PPCEABI.pdf
}}</ref> The choice of EABI can affect performance.<ref>{{cite web
}}</ref> The choice of EABI can affect performance.<ref>{{cite web
|title=Debian ARM accelerates via EABI port
|title=Debian ARM accelerates via EABI port
Line 71: Line 69:
* [[Binary-code compatibility]]
* [[Binary-code compatibility]]
* [[Bytecode]]
* [[Bytecode]]
* [[Comparison of application virtual machines]]
* [[Comparison of application virtualization software]]
* [[Debugging symbol]]
* [[Debug symbol]]
* [[Foreign function interface]]
* [[Foreign function interface]]
* [[Language binding]]
* [[Language binding]]
* [[Native (computing)]]
* [[Opaque pointer]]
* [[Opaque pointer]]
* [[PowerOpen Environment]]
* [[PowerOpen Environment]]

Latest revision as of 01:22, 19 February 2024

A high-level comparison of in-kernel and kernel-to-userspace APIs and ABIs
The Linux kernel and GNU C Library define the Linux API. After compilation, the binaries offer an ABI. Keeping this ABI stable over a long time is important for ISVs.

In computer software, an application binary interface (ABI) is an interface between two binary program modules. Often, one of these modules is a library or operating system facility, and the other is a program that is being run by a user.

An ABI defines how data structures or computational routines are accessed in machine code, which is a low-level, hardware-dependent format. In contrast, an application programming interface (API) defines this access in source code, which is a relatively high-level, hardware-independent, often human-readable format. A common aspect of an ABI is the calling convention, which determines how data is provided as input to, or read as output from, computational routines. Examples of this are the x86 calling conventions.

Adhering to an ABI (which may or may not be officially standardized) is usually the job of a compiler, operating system, or library author. However, an application programmer may have to deal with an ABI directly when writing a program in a mix of programming languages, or even compiling a program written in the same language with different compilers.

Description

[edit]

Details covered by an ABI include the following:

  • Processor instruction set, with details like register file structure, stack organization, memory access types, etc.
  • Sizes, layouts, and alignments of basic data types that the processor can directly access
  • Calling convention, which controls how the arguments of functions are passed, and return values retrieved; for example, it controls the following:
    • Whether all parameters are passed on the stack, or some are passed in registers
    • Which registers are used for which function parameters
    • Whether the first function parameter passed on the stack is pushed first or last
    • Whether the caller or callee is responsible for cleaning up the stack after the function call
  • How an application should make system calls to the operating system, and if the ABI specifies direct system calls rather than procedure calls to system call stubs, the system call numbers
  • In the case of a complete operating system ABI, the binary format of object files, program libraries, etc.

Complete ABIs

[edit]

A complete ABI, such as the Intel Binary Compatibility Standard (iBCS),[1] allows a program from one operating system supporting that ABI to run without modifications on any other such system, provided that necessary shared libraries are present, and similar prerequisites are fulfilled.

ABIs can also standardize details such as the C++ name mangling,[2] exception propagation,[3] and calling convention between compilers on the same platform, but do not require cross-platform compatibility.

Embedded ABIs

[edit]

An embedded-application binary interface (EABI) specifies standard conventions for file formats, data types, register usage, stack frame organization, and function parameter passing of an embedded software program, for use with an embedded operating system.

Compilers that support the EABI create object code that is compatible with code generated by other such compilers, allowing developers to link libraries generated with one compiler with object code generated with another compiler. Developers writing their own assembly language code may also interface with assembly generated by a compliant compiler.

EABIs are designed to optimize for performance within the limited resources of an embedded system. Therefore, EABIs omit most abstractions that are made between kernel and user code in complex operating systems. For example, dynamic linking may be avoided to allow smaller executables and faster loading, fixed register usage allows more compact stacks and kernel calls, and running the application in privileged mode allows direct access to custom hardware operation without the indirection of calling a device driver.[4] The choice of EABI can affect performance.[5][6]

Widely used EABIs include PowerPC,[4] Arm EABI[7] and MIPS EABI.[8] Specific software implementations like the C library may impose additional limitations to form more concrete ABIs; one example is the GNU OABI and EABI for ARM, both of which are subsets of the ARM EABI .[9]

See also

[edit]

References

[edit]
  1. ^ Intel Binary Compatibility Standard (iBCS)
  2. ^ "Itanium C++ ABI". (compatible with multiple architectures)
  3. ^ "Itanium C++ ABI: Exception Handling". (compatible with multiple architectures)
  4. ^ a b "EABI Summary". PowerPC Embedded Application Binary Interface: 32-Bit Implementation (PDF) (Version 1.0 ed.). Freescale Semiconductor, Inc. 1 October 1995. pp. 28–30.
  5. ^ "Debian ARM accelerates via EABI port". Linuxdevices.com. 16 October 2016. Archived from the original on 21 January 2007. Retrieved 11 October 2007.
  6. ^ Andrés Calderón and Nelson Castillo (14 March 2007). "Why ARM's EABI matters". Linuxdevices.com. Archived from the original on 31 March 2007. Retrieved 11 October 2007.
  7. ^ "ABI for the Arm Architecture". Developer.arm.com. Retrieved 4 February 2020.
  8. ^ Eric Christopher (11 June 2003). "mips eabi documentation". binutils@sources.redhat.com (Mailing list). Retrieved 19 June 2020.
  9. ^ "ArmEabiPort". Debian Wiki. Strictly speaking, both the old and new ARM ABIs are subsets of the ARM EABI specification, but in everyday usage the term "EABI" is used to mean the new one described here and "OABI" or "old-ABI" to mean the old one.
[edit]