Современные высокопроизводительные компьютеры

6.20). Тогда команды, предшествующие команде условного перехода, будут просто фиксироваться по мере достижения каждой из них головы буфера переупорядочивания. Когда головы этого буфера достигает команда условного перехода, содержимое буфера просто гасится, и машина начинает выборку команд из другой ветви программы. Станции резервирования
Имя
Занятость
Op
Vj
Vk
Qj
Qk
Назначение
Add1
Нет






Add2
Нет






Add3
Нет






Mult1
Нет
MULT
Mem[45+Regs[R3]]
Regs[F4]


#3
Mult2
Да
DIV

Mem[34+Regs[R2]]
#3

#5








Буфер переупорядочивания
Номер
Занятость
Команда
Состояние
Место наз-
начения
Значение
1
Нет
LD F6,34(R2)
Зафиксирована
F6
Mem[34+Regs[R2]]
2
Нет
LD F2,45(R3)
Зафиксирована
F2
Mem[45+Regs[R3]]
3
Нет
MULTD F0,F2,F4
Запись
результата
F0
#2 x Regs[R4]]
4
Да
SUBD F8,F6,F2
Запись
результата
F8
#1 - #2
5
Да
DIVD F10,F0,F6
Выполнение
F10

6
Да
ADD F6,F8,F2
Запись
результата
F6
#4 + #2






Состояние регистров
Поле
F0
F2
F4
F6
F8
F10
F12
. . .
F30
Порядковый #
3


6
4
5



Знятость
Да
Нет
Нет
Да
Да
Да
Нет
. . .
Нет

Рис. 6.20. Состояние устройства ПТ для выполнения по предположению
Исключительные ситуации в подобной машине не воспринимаются до тех пор, пока соответствующая команда не готова к фиксации. Если выполняемая по предположению команда вызывает исключительную ситуацию, эта исключительная ситуация записывается в буфер упорядочивания. Если обнаруживается неправильный прогноз направления условного перехода и выясняется, что команда не должна была выполняться, исключительная ситуация гасится вместе с командой, когда обнуляется буфер переупорядочивания.