Соглашение о вызове

Материал из Википедии — свободной энциклопедии
(перенаправлено с «Соглашение вызова»)
Перейти к навигации Перейти к поиску

Соглашение о вызове (англ. calling convention) — описание технических особенностей вызова подпрограмм, определяющее:

  • способы передачи параметров подпрограммам;
  • способы вызова (передачи управления) подпрограмм;
  • способы передачи результатов вычислений, выполненных подпрограммами, в точку вызова;
  • способы возврата (передачи управления) из подпрограмм в точку вызова.

Является частью двоичного интерфейса приложений (англ. application binary interface, ABI).

Соглашение о вызове описывает следующее:

  • способ передачи аргументов в функцию. Варианты:
    • аргументы передаются через регистры процессора;
    • аргументы передаются через стек;
    • смешанные (соответственно, стандартизируется алгоритм, определяющий, что передаётся через регистры, а что — через стек или другую память):
      • первые несколько аргументов передаются через регистры; остальные — через стек (небольшие аргументы[1]) или другую память (большие аргументы[2]);
      • аргументы небольшого размера[1] передаются через стек, большие аргументы[2] — через другую память;
  • порядок размещения аргументов в регистрах и/или стеке. Варианты:
    • слева направо или прямой порядок: аргументы размещаются в том же порядке, в котором они перечислены при вызове функции. Достоинство: машинный код соответствует коду на языке высокого уровня;
    • справа налево или обратный порядок: аргументы передаются в порядке от конца к началу. Достоинство: упрощается реализация функций, принимающих произвольное число аргументов (например, printf()) (так как на вершине стека оказывается всегда первый аргумент);
  • код, ответственный за очистку стека:
    • код, вызывающий функцию, или вызывающая программа. Достоинство: возможность передачи в функцию произвольного числа аргументов;
    • код самой функции или вызываемая функция. Достоинство: уменьшение количества инструкций, необходимых для вызова функции (инструкция для очистки стека записывается в конце кода функции и только один раз);
  • конкретные инструкции, используемые для вызова и возврата. Для процессора x86, работающего в защищённом режиме, используются исключительно инструкции call и ret; при работе в стандартном режиме используются инструкции call near, call far и pushf/call far (для возврата соответственно retn, retf и iret);
  • способ передачи в функцию указателя на текущий объект (this или self) в объектно-ориентированных языках. Варианты (для процессора x86, работающего в защищённом режиме):
    • как первый аргумент;
    • через регистр ecx или rcx;
  • кто отвечает за сохранение/восстановление того или иного регистра процессора: вызывающая программа или вызываемая функция.

Соглашение о вызове может быть описано в документации к ABI архитектуры, в документации к ОС или в документации к компилятору.

Использование

[править | править код]

Соглашения о вызовах, используемые на x86 при 32-битной адресации

[править | править код]
Список неполный, представлены основные из применяемых по сей день соглашений.

Для перечисленных ниже соглашений (кроме cdecl) перед возвратом значений из функции подпрограмма обязана восстановить значения сегментных регистров, регистров esp и ebp. Сохранением-восстановлением остальных регистров занимается вызывающая программа.

Если размер возвращаемого значения функции не больше размера регистра eax, возвращаемое значение сохраняется в регистре eax. Иначе возвращаемое значение сохраняется на вершине стека, а указатель на вершину стека сохраняется в регистре eax. Если возвращается объект с автодеструктором (любой объект C++ с ненулевым деструктором, строки произвольной длины в Паскале, BSTR в WinAPI и т. д.), вызывающая программа должна корректно уничтожить его.

cdecl (сокращение от англ. c-declaration) — соглашение о вызовах, используемое компиляторами для языка Си (отсюда название).

Аргументы функций передаются через стек, справа налево. Аргументы, размер которых меньше 4 байт, расширяются до 4 байт. За сохранение регистров EAX, ECX, EDX и стека сопроцессора отвечает вызывающая программа, за остальные — вызываемая функция. Очистку стека производит вызывающая программа. Это основной способ вызова функций с переменным числом аргументов (например, printf()). Способы получения возвращаемого значения функции приведены в таблице.

Тип Размер возвращаемого значения, байт Способ передачи возвращаемого значения Примечание
Целое число, указатель 1, 2, 4 Через регистр eax Значения, размер которых меньше 4 байт, расширяются до 4 байт
Целое число 8 Через пару регистров edx:eax
Число с плавающей запятой 4, 8 Через регистр st0 (из псевдостека x87, FPU)
Другие Больше 8 Через регистр eax Указатель на структуру данных сохраняется в регистре eax

Перед вызовом функции вставляется код, называемый прологом (англ. prolog) и выполняющий следующие действия:

После вызова функции вставляется код, называемый эпилогом (англ. epilog) и выполняющий следующие действия:

pascal — соглашение о вызовах, используемое компиляторами для языка Паскаль. Также применялось в ОС Windows 3.x.

Аргументы процедур и функций передаются через стек, слева направо. Указатель на вершину стека (значение регистра esp) на исходную позицию возвращает вызываемая подпрограмма. Изменяемые параметры передаются только по ссылке. Возвращаемое значение передаётся через изменяемый параметр Result. Параметр Result создаётся неявно и является первым аргументом функции.

stdcall или winapi

[править | править код]

stdcall или winapi — соглашение о вызовах, применяемое в ОС Windows для вызова функций WinAPI.

Аргументы функций передаются через стек, справа налево. Очистку стека производит вызываемая подпрограмма.

fastcall — общее название соглашений, передающих параметры через регистры (обычно это самый быстрый для выполнения компьютером способ, отсюда и название (здесь приставка «fast» с англ. переводится как «быстрый», а «call» с англ. переводится как «вызов». То есть, дословно переводится как «быстрый вызов»)). Если для сохранения всех параметров и промежуточных результатов — регистров недостаточно, то дополнительно используется стек.

Соглашение о вызовах fastcall не стандартизировано, поэтому используется только для вызова процедур и функций, не экспортируемых из исполняемого модуля и не импортируемых извне.

В компиляторах фирмы Borland для соглашения __fastcall, называемого также register[5], параметры передаются слева направо в регистрах eax, edx и ecx и, если параметров больше трёх, в стеке, также слева направо. Исходное значение указателя на вершину стека (значение регистра esp) возвращает вызываемая подпрограмма.

В 32-разрядной версии компилятора фирмы Microsoft[6], а также в компиляторе GCC[7], соглашение __fastcall, также называемое __msfastcall, определяет передачу первых двух параметров слева направо в регистрах ecx и edx, а остальные параметры передаются справа налево в стеке. Очистку стека производит вызываемая подпрограмма.

safecall — соглашение о вызовах, используемое для вызова методов интерфейсов COM.

Методы интерфейсов COM представляют собой функции, возвращающие тип HRESULT. Код, добавляемый после вызова функции, анализирует возвращаемое значение. При наличии ошибки код записывает код ошибки, сообщение об ошибке и поднимает исключение. Иначе настоящее возвращаемое значение скрывается, вместо него используется параметр, передаваемый в функцию последним по ссылке. Например, можно считать два следующих объявления функции эквивалентными.

// safecall
function DoSomething ( a : DWORD ) : DWORD ; safecall ;

// симуляция safecall
function DoSomething ( a : DWORD ; out Result : DWORD ) : HResult ; stdcall ;

thiscall — соглашение о вызовах, используемое компиляторами для языка C++ при вызове методов классов в объектно-ориентированном программировании.

Аргументы функции передаются через стек, справа налево. Очистку стека производит вызываемая функция. Соглашение thiscall отличается от stdcall соглашения только тем, что указатель на объект, для которого вызывается метод (указатель this), записывается в регистр ecx[8].

  • libffi[англ.] — библиотека для FFI с набором различных соглашений.

Примечания

[править | править код]
  1. 1 2 Под небольшими аргументами понимаются значения, размер которых меньше или равен размеру регистра процессора. Например, 1, 2 и 4 байта для процессора x86, работающего в 32-битном режиме.
  2. 1 2 Под большими аргументами понимаются значения, размер которых больше размера регистра процессора. Например, 8 и более байт для процессора x86, работающего в 32-битном режиме.
  3. Пролог (англ. prologue) — код, выполняющий сохранение регистров, передачу аргументов в функцию, размещение локальных переменных в стеке функции.
  4. Эпилог (англ. epilogue) — код, выполняющий возврат управления вызывающей функции, очистку стека, восстановление значений регистров, передачу возвращаемого значения функции.
  5. Program Control: Register Convention. docwiki.embarcadero.com (1 июня 2010). Дата обращения: 27 сентября 2010. Архивировано 20 ноября 2012 года.
  6. _fastcall. msdn.microsoft.com. Дата обращения: 27 сентября 2010. Архивировано 20 ноября 2012 года.
  7. Ohse, Uwe gcc attribute overview: function fastcall. ohse.de. Дата обращения: 27 сентября 2010. Архивировано 20 ноября 2012 года.
  8. thiscall (C++) (англ.). msdn.microsoft.com.