Организация компьютерных систем. Орлов С.П - 104 стр.

UptoLike

манд, для которых поле предиката указывает на РП с единичным зна-
чением. Это команды С7, С8 и С9.
Регистровый
файл РП
(64 регистра)
000000
000001
000010
111110
111111
Адрес регистра
предиката
С1
С2
С7
С8
С9
С3 – команда IF
С4
С5
С6
TRUE
Предикат Р2
Адрес предиката
=000010
Предикат Р1
Адрес предиката
=111110
Р2
Р1
Р1=0
Завершение вычисления
условия перехода
С10
Р и с. 5.9. Ветвление по предположению
P1 и P2 – предикаты условных ветвей программы
Дальнейшее развитие идея спекулятивного выполнения получи-
ла в методе спекулятивной загрузки. Компилятор просматривает ис-
ходный код программы с целью поиска команд, использующих дан-
ные из медленной ОП.
Найдя такую команду, компилятор добавляет две новые ко-
манды:
Speculative load – спекулятивная загрузка,
Speculative check –проверка спекулятивной загрузки.
Первая команда выносится далеко вверх в начало программы
перед всеми операторами условного перехода. При ее выполнении
данные сразу загружаются из ОП в кэш-память. При этом устанавли-
106