Как работает стек вызовов в компьютерных программах?

Стек вызовов в компьютерных программах работает следующим образом: 1

1. При вызове подпрограммы в стек заносится адрес возврата — адрес в памяти следующей инструкции приостанавливаемой программы, а управление передаётся подпрограмме. 1
2. При последующем вложенном или рекурсивном вызове в стек заносится очередной адрес возврата и так далее. 1
3. При возврате из подпрограммы адрес возврата снимается со стека, и управление передаётся на следующую инструкцию приостановленной программы (или подпрограммы). 1

Также стек вызовов служит для хранения порядка выполнения кода, то есть адресов возврата в порядке вызова методов, которые впоследствии используются для возврата из метода, а также локальные переменные. 5

Таким образом, программа завершается после того, как цепочка вызова всех методов становится пустой, то есть программа будет работать до тех пор, пока стек вызовов не станет пустым. 5