Слайд 2Управление трактом данных
Мы знаем что каждый цикл тракта данных можно охарактеризовать микрокомандой.
![Управление трактом данных Мы знаем что каждый цикл тракта данных можно охарактеризовать](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/417266/slide-1.jpg)
Возникает вопрос: кто решает какую микрокоманду выполнить следующей?
Для этой цели наша схема тракта данных может быть дополнена так называемой управляющей памятью, которая будет содержать набор микрокоманд из которых образуются микропрограммы, соответствующие каждой команде уровня архитектуры команд. Сама по себе управляющая память – это ПЗУ.
В общем случае теперь можно сказать, что каждая команда уровня архитектуры команд на самом деле есть функция написанная на языке микрокоманд.
Слайд 3Выбор следующей микрокоманды
Каждая микрокоманда будет дополнена 9 адресными битами (NA) и 3
![Выбор следующей микрокоманды Каждая микрокоманда будет дополнена 9 адресными битами (NA) и](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/417266/slide-2.jpg)
управляющими битами (JAM).
Управляющие биты будут показывать:
- надо ли использовать выходы АЛУ N и Z для образования адреса следующей микрокоманды
- надо ли использовать MBR для образования адреса следующей микрокоманды
Таким образом адрес следующей микрокоманды в управляющей памяти образуется следующим образом:
F = (NA | JAMZ) | (NA | ZAMN) | NA)
Следующий адрес = JAMPC ? F | MBR : F
Слайд 4Стек
Во всех языках программирования есть понятие процедур с локальными переменными. Вопрос: где
![Стек Во всех языках программирования есть понятие процедур с локальными переменными. Вопрос:](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/417266/slide-3.jpg)
они должны храниться?
Переменной нельзя предоставит абсолютный адрес в памяти. Чтобы понять почему – представьте себе рекурсивную функцию.
Поэтому для переменных резервируется особая область памяти, называемая стеком.
Слайд 5Организация стека
Переменные в стеке не получают абсолютных адресов! Вместо этого есть пара
![Организация стека Переменные в стеке не получают абсолютных адресов! Вместо этого есть](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/417266/slide-4.jpg)
регистров LV и SP. LV указывает на базовый адрес (начало) локальных переменных данной процедуры. А SP указывает на их старшее слово (конец).
Структура данных между LV и SP (включая слова на которые они указывают) называется фреймом локальных переменных.
Слайд 6Пример:
int a(){ int a1, a2, a3; … ; b(); …d(); … }
int
![Пример: int a(){ int a1, a2, a3; … ; b(); …d(); …](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/417266/slide-5.jpg)
b(){ int b1, b2, b3, b4; …; c(); … }
int c(){ int c1, c2; … }
int d(){ int d1; … }
Что будет на стеке, если вызвать a()?
Слайд 7Содержимое стека
a3
a2
a1
b4
b3
b2
b1
a3
a2
a1
b4
b3
b2
b1
a3
a2
a1
c2
c1
a3
a2
a1
d1
SP
LV
SP
SP
SP
LV
LV
LV
Внутри a(), но
до вызова b()
Внутри b(), но
до вызова c()
Внутри
![Содержимое стека a3 a2 a1 b4 b3 b2 b1 a3 a2 a1](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/417266/slide-6.jpg)