Предсказатель возвратов из подпрограмм¶

Предсказатель возвратов из подпрограмм — это компонент аппаратного обеспечения процессора (обычно блока предсказания переходов), который специализируется на предсказании адреса возврата из подпрограмм (функций, процедур) для ускорения работы конвейера. Основная задача устройства — устранить задержки конвейера, возникающие при выполнении инструкции RET (return), путём предположения, куда именно передаст управление эта инструкция, ещё до того, как фактический адрес станет известен.

¶Назначение и принцип работы

При выполнении инструкции CALL процессор сохраняет адрес возврата (адрес следующей после CALL инструкции) в стеке. Инструкция RET, завершающая подпрограмму, извлекает этот адрес из стека и передаёт на него управление. Проблема для суперскалярных и глубоко конвейеризованных процессоров заключается в том, что доступ к стеку в памяти имеет большую задержку (латентность), а также зависит от состояния указателя стека (RSP/ESP). Ожидание фактического адреса останавливает конвейер на десятки тактов.

Предсказатель возвратов решает эту проблему, используя отдельный аппаратный стек (Return Stack Buffer, RSB) — небольшую высокоскоростную память, работающую по принципу LIFO (последним пришёл — первым ушёл). При выполнении инструкции CALL предсказатель помещает вычисленный адрес возврата в вершину RSB. При встрече инструкции RET предсказатель выдаёт адрес с вершины RSB в качестве предполагаемого адреса перехода, не дожидаясь реального чтения из стека. Если предсказание оказалось верным, конвейер продолжает работу без пауз.

¶Структура и характеристики

Типичный блок RSB характеризуется следующими параметрами:

• Глубина стека: обычно составляет от 4 до 64 записей (в зависимости от микроархитектуры). Этого достаточно для покрытия вложенности вызовов большинства программ.
• Ассоциативность: RSB является физическим массивом регистров, а не кэшем, поэтому он не имеет тегов и всегда содержит достоверные адреса, пока не переполнится.
• Механизм коррекции: при переполнении RSB (когда глубина вложенности вызовов превышает размер буфера) предсказатель может ошибаться. Для снижения ошибок используется логика «схлопывания» (flattening) — при переполнении стек просто перестаёт обновляться, а при RET используется предсказание по обычному BTB (Branch Target Buffer) или происходит сброс конвейера.
• Синхронизация с реальным стеком: современные процессоры сравнивают предсказанный адрес с фактическим адресом из памяти при выполнении RET. При несовпадении (например, из-за изменения указателя стека вручную или использования longjmp) происходит сброс конвейера и повторное выполнение.

¶Виды и реализации

В зависимости от микроархитектуры, предсказатели возвратов делятся на:

• Простые (одиночный RSB): используются в процессорах с умеренной глубиной конвейера (например, Intel Pentium III, AMD K6). Один буфер на ядро.
• Многоуровневые и многопоточные: в процессорах с поддержкой SMT (Simultaneous Multi-Threading) (например, Intel Core, AMD Zen) для каждого аппаратного потока выделяется отдельный RSB, чтобы потоки не влияли на предсказания друг друга.
• С гибридной логикой: в современных ядрах (Apple M1, Intel Core 12-го поколения и новее) RSB комбинируется с предсказанием по косвенным переходам (indirect branch predictor), что позволяет обрабатывать вызовы через указатели на функции.

¶Влияние на производительность

Эффективность предсказателя возвратов критически важна для производительности. Ошибка предсказания RET приводит к полному сбросу конвейера (pipeline flush) и повторному выполнению инструкций, что может стоить от 15 до 40 тактов. По статистике, инструкции RET составляют около 5–10 % от всех инструкций переходов, однако из-за их зависимости от стека они являются наиболее сложными для предсказания. Корректная работа RSB позволяет достигать точности предсказания выше 95 % для типичных программ, что значительно снижает штрафы за неверные переходы.

¶Проблемы безопасности

В 2018 году исследователи выявили, что RSB может быть использован для атаки по сторонним каналам, известной как Return Stack Buffer Underflow (часть спектра атак Spectre). Злоумышленник может «отравить» RSB, вызвав переполнение или опустошение буфера, чтобы спровоцировать процессор на выполнение инструкций из недоверенной области памяти. В ответ на это производители внедрили дополнительные механизмы очистки RSB при переключении контекста и при переходе между кольцами защиты (например, команда RSB stuffing в микрокоде Intel).

¶Применение

Предсказатели возвратов являются обязательным компонентом всех современных высокопроизводительных процессоров:

• x86-совместимые процессоры (Intel Core, AMD Ryzen);
• ARM-процессоры (Cortex-A серии, Apple Silicon);
• RISC-V реализации с глубоким конвейером (например, SiFive U74);
• Графические процессоры (GPU) с унифицированными шейдерными ядрами, где вызовы подпрограмм также используются.

Встраиваемые микроконтроллеры с простым конвейером (например, ARM Cortex-M) обычно не имеют RSB из-за незначительного выигрыша, но в DSP-процессорах с большим количеством вызовов функций он может присутствовать.

¶Источники

• Patterson D., Hennessy J. Computer Organization and Design: The Hardware/Software Interface.
• Intel 64 and IA-32 Architectures Optimization Reference Manual.
• AMD Software Optimization Guide for AMD Family 19h Processors.
• ARM Cortex-A Series Programmer’s Guide.
• Kocher P. et al. Spectre Attacks: Exploiting Speculative Execution.