Кадр стека: что движок хранит для вызова

В предыдущем уроке мы рассмотрели Call Stack — стек вызовов. Каждая запись в нём должна помогать движку продолжить конкретный вызов: помнить его данные и куда вернуть управление.

Рассмотрим два вызова одной функции:

function double(value) {
  const result = value * 2;
  return result;
}
const first = double(3);
const second = double(8);

1. При double(3) движку нужны значения value = 3 и result = 6. После return число 6 попадёт в first.
2. Первый вызов завершается, его кадр снимается со стека.
3. Вызов double(8) получает свой кадр: теперь value = 8, result = 16, а результат нужно вернуть в second.

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

Спецификация описывает состояние выполнения через контексты исполнения. Кадры стека — способ организовать это состояние внутри движка.