Русская Википедия:Спекулятивное исполнение
Спекулятивное выполнение — это метод оптимизации, при котором компьютерная система выполняет некоторую задачу, которая может оказаться ненужной. Работа выполняется до того, как станет известно, действительно ли она необходима, чтобы предотвратить задержку, которая может возникнуть при выполнении работы после того, как станет известно, что она необходима. Если выясняется, что работа в конце концов не нужна, большинство изменений, внесённых в работу, отменяются, а результаты игнорируются.
Цель состоит в том, чтобы предоставить больше параллелизма, если доступны дополнительные Шаблон:Нп5. Этот подход используется во множестве областей, включая предсказание ветвления в конвейерных процессорах, предсказание значения для использования локальности значения, предварительная выборка памяти и файлов и Шаблон:Нп5 в системах баз данных[1][2][3].
Спекулятивная многопоточность — это особый случай спекулятивного исполнения.
Обзор
Современные конвейерные микропроцессоры используют спекулятивное выполнение для снижения стоимости инструкций условного перехода с использованием схем, которые прогнозируют путь выполнения программы на основе истории выполнения переходов[2]. Чтобы улучшить производительность и использование компьютерных ресурсов, инструкции могут быть запланированы в то время, когда ещё не определено, что инструкции должны быть выполнены перед ветвлением[4][5].
Варианты
Спекулятивные вычисления были связаны с более ранней концепцией[6].
Нетерпеливое исполнение
Нетерпеливое исполнение — это форма спекулятивного исполнения, при которой выполняются обе стороны условной ветви; однако результаты фиксируются только в том случае, если предикат истинен. При неограниченных ресурсах активное выполнение (также известное как выполнение оракула) теоретически обеспечит такую же производительность, как и идеальное предсказание ветвлений. При ограниченных ресурсах активное выполнение следует использовать осторожно, поскольку количество необходимых ресурсов растёт экспоненциально с каждым уровнем ветви, выполняемой с нетерпением[7].
Прогнозируемое исполнение
Шаблон:См. также Шаблон:Основная статья Прогнозируемое исполнение — это форма спекулятивного исполнения, при которой предсказывается некоторый результат, и выполнение продолжается по предсказанному пути до тех пор, пока не станет известен фактический результат. Если прогноз верен, прогнозируемое выполнение разрешается зафиксировать; однако, если есть неверное предсказание, выполнение должно быть развёрнуто и выполнено повторно. Общие формы этого включают предсказатель ветвления и предсказание зависимости от памяти. Обобщённую форму иногда называют прогнозом стоимости[8].
Связанные понятия
Ленивое выполнение
Шаблон:Основная статья Ленивое исполнение противоположно нетерпеливому исполнению и не предполагает спекуляций. Включение спекулятивного исполнения в реализации язык программирования Haskell, ленивого языка, является актуальной темой исследований. Нетерпеливый Haskell, вариант языка, основан на идее спекулятивного исполнения. В докторской диссертации 2003 года GHC сделана поддержка своего рода спекулятивного исполнения с механизмом отмены отказа в случае неудачного выбора, называемого оптимистическим исполнением[9]. Это сочли слишком сложным[10].
Уязвимости безопасности
Начиная с 2017 года, ряд уязвимостей безопасности был обнаружен в реализациях спекулятивного выполнения на общих архитектурах процессоров, что позволило повысить привилегии.
К ним относятся:
См. также
Примечания
- ↑ Ленивое и спекулятивное исполнение Шаблон:Wayback Батлер Лэмпсон Microsoft Research OPODIS, Бордо, Франция 12 декабря 2006 года
- ↑ 2,0 2,1 Шаблон:Cite book Шаблон:Wayback
- ↑ Шаблон:Cite conference
- ↑ Шаблон:Cite book Шаблон:Wayback
- ↑ (ESOP — сокращение от английского сочетания European Symposium On Programming, по-русски Европейский симпозиум по программированию)
- ↑ Шаблон:Cite book
- ↑ Шаблон:Cite book
- ↑ Шаблон:Cite book Шаблон:Wayback
- ↑ Шаблон:Cite journal
- ↑ Шаблон:Wayback [Haskell] Optimistic Evaluation?
