Вопросы к Поиску с Алисой
Как устроен стек вызовов в современных языках программирования?
Стек вызовов (от англ. call stack) — это структура данных, которая управляет вызовами функций во время выполнения программы. trends.rbc.ru
Основное назначение стека — отслеживать место, куда каждая из вызванных процедур должна вернуть управление после своего завершения. ru.ruwiki.ru Для этого при вызове процедуры в стек заносится адрес команды, следующей за командой вызова («адрес возврата»). ru.ruwiki.ru ru.wikipedia.org
Процесс работы стека: ru.ruwiki.ru
- При вызове подпрограммы или возникновении прерывания в стек заносится адрес возврата — адрес в памяти следующей инструкции приостановленной программы, и управление передаётся подпрограмме или подпрограмме-обработчику. ru.ruwiki.ru ru.wikipedia.org
- При последующем вложенном или рекурсивном вызове, прерывании подпрограммы или обработчика прерывания, в стек заносится очередной адрес возврата и так далее. ru.ruwiki.ru ru.wikipedia.org
- При возврате из подпрограммы или обработчика прерывания адрес возврата снимается со стека, и управление передаётся на следующую инструкцию приостановленной программы. ru.ruwiki.ru ru.wikipedia.org
Кроме адресов возврата в стеке могут сохраняться другие данные, например: значения регистров с их последующим восстановлением, аргументы, переданные в функцию, локальные переменные — временные данные функции и другие произвольные данные. ru.ruwiki.ru ru.wikipedia.org
В языках программирования высокого уровня специфика стека вызовов обычно скрыта от программиста. en.wikipedia.org Но есть исключения, например, в Forth есть прямой доступ к системному стеку вызовов (под названием «стек возвратов»). ru.ruwiki.ru ru.wikipedia.org
