Реклама

Наш канал:

Таненбаум Э.- Архитектура компьютера. стр.198

Рис. 4.7. Стек для хранения локальных переменных: во время вызова процедуры А (а); после того, как процедура А вызывает процедуру В (б); после того, как процедура В вызывает процедуру С (в); после того как процедуры С и В завершаются, а процедура А вызывает

процедуру О (г)

А теперь давайте посмотрим, что произойдет, если процедура А вызывает другую процедуру, например В. Где должны храниться 4 локальные переменные процедуры В (61, 62, 63, 64)? Ответ: в стеке, расположенном над стеком для процедуры А, как показано на рис. 4.7, б. Отметим, что после вызова процедуры регистр \У указывает уже на локальные переменные процедуры В. Обращаться к локальным переменным процедуры В можно по их сдвигу от 1У. Если процедура В вызывает процедуру С, то регистры ЬУ и 8Р снова переопределяются и указывают на местонахождение локальных переменных процедуры С, как показано на рис. 4.7, в.

Когда процедура С завершается, В снова активизируется и стек возвращается в прежнее состояние (см. рис. 4.7, б), так что ЬУ теперь указывает на локальные переменные процедуры В. Когда процедура В завершается, стек переходит в исходное состояние (см. рис. 4.7, а). При любых условиях ЬУ указывает на базовый адрес стекового фрейма локальных переменных текущей процедуры, а 8Р — на верхнее слово этого фрейма.

Предположим, что процедура А вызывает процедуру Д которая содержит 5 локальных переменных. Соответствующий стек показан на рис. 4.7, г. Локальные переменные процедуры В используют область памяти процедуры В и часть стека процедуры С. В памяти с такой организацией размещаются только текущие процедуры. Когда процедура завершается, отведенный для нее участок памяти освобождается.

Но стек используется для хранения не только локальных переменных, но и операндов во время вычисления арифметических выражений. Такой стек называется стеком операндов. Предположим, что перед вызовом процедуры В процедура А должна произвести следующее вычисление:

а\ = а2 + аЗ.

Чтобы вычислить эту сумму, можно поместить а2 в стек, как показано на рис. 4.8, а. Тогда значение регистра 8Р увеличится на число, равное количеству байтов в слове (скажем, на 4), и будет указывать на адрес первого операнда. Затем в стек помещается переменная аЗ, как показано на рис. 4.8, б. Отметим, что названия процедур и переменных выбираются пользователем, а названия регистров и кодов операций жестко определены, поэтому названия процедур и переменных мы выделяем в тексте курсивом.

Рис. 4.8. Использование стека операндов для выполнения арифметических действий

Теперь можно произвести вычисления, выполнив команду, которая выталкивает два слова из стека, складывает их и помещает результат обратно в стек, как показано на рис. 4.8, в. После этого верхнее слово можно вытолкнуть из стека и поместить его в локальную переменную я1, как показано на рис. 4.8, г.

Фреймы локальных переменных и стеки операндов могут смешиваться. Например, когда вызывается функция /при вычислении выражения х2 + /(х), часть этого выражения (х2) может находиться в стеке операндов. Результат вычисления функции остается в стеке над х2, чтобы следующая команда могла сложить операнды.