7.3.4 Преимущества мультитредовой архитектуры

Мультитредовый процессор имеет некоторые свойства, выгодно отличающие его от традиционных суперскалярных микропроцессоров.

При суперскалярном подходе точность предсказания ветвлений ограничивает степень параллелизма. Если средняя вероятность правильного предсказания перехода 0,9, то вероятность правильного предсказания на пять ветвлений вперед только 0,6.

Мультитредовый процессор имеет большую глубину предсказания и обеспечивает большую вероятность выбора правильного направления вычислений. Это свойство обусловлено избирательностью предсказания ветвей. Мультитредовый процессор разбивает последовательный поток команд на сегменты. Хотя сегменты могут содержать внутренние ветви, планировщик должен предсказывать только ветви, которые отделяют сегменты. Ветви, содержащиеся внутри сегментов, не предсказываются (если они не предсказаны отдельно внутри процессора).

Для суперскалярных процессоров наличие широкого окна выполнения приводит к увеличению числа отложенных команд и усложняет контроль результатов выполнения всех команд в этом окне.

В мультитредовой реализации окно может быть очень широким, однако в любой момент времени только несколько команд должны быть рассмотрены на предмет выдачи результатов (только одна для каждого процессора). Границы окна отложенных команд могут быть идентифицированы первой и последней командами в очереди на исполнение.

Для одновременной выдачи n результатов в процессоре должна использоваться логика со сложностью n², чтобы выполнить перекрестную проверку зависимостей среди команд. В суперскалярном процессоре это ограничивает пропускную способность логики выдачи. В мультитредовом процессоре каждый процессор выдает команды независимо, т.е. сложность логики порядка n.

Прежде чем переупорядочить доступ к памяти, необходимо идентифицировать и вычислить все адреса загрузки и записи значений.

В суперскалярной реализации команды загрузки и записи упорядочиваются (или сохраняются в первоначальной последовательности) и помещаются в буфер вместе с адресом доступа к памяти. При выполнении команды загрузки и выборке значения из памяти проверяется буфер, чтобы гарантировать, что не отложена никакая более ранняя команда записи или загрузки по тому же самому или по еще не определенному адресу. В мультитредовой реализации команды загрузки и записи могут быть выполнены независимо, без знания последовательности выполнения команд загрузки и записи в сегменте-преемнике или предшественнике.

В суперскалярном процессоре в принципе возможна генерация достаточно широкого окна выполнения с большой глубиной предсказания ветвлений. Можно генерировать очень гибкий план выполнения команд. Например, загрузка в вызываемой функции может выполняться параллельно с запоминанием в вызывающей функции. Однако суперскалярный процессор не имеет представления о ГУЗ программы. Поэтому и возникает необходимость предсказания каждого перехода, что, в конечном счете, приводит к снижению точности предсказания и производительности.

Мультитредовый процессор во многом похож на многопроцессорную систему с общей памятью и очень низким уровнем непроизводительных затрат на планирование. Главное их отличие заключается в том, то многопроцессорная система требует, чтобы компилятор делил программу на сегменты, где все соотношения зависимостей между сегментами известны (предусмотрены программистом путем использования операторов синхронизации и межпроцессорных коммуникаций), а мультитредовый процессор не требует никакого априорного знания относительно связей команд по управлению и данным.

Мультитредовая архитектура объединяет принципы низко- и высокоуровневого распараллеливания, методы анализа статической и динамической структур программы, благодаря чему позволяет добиться более высоких значений эффективности использования вычислительных ресурсов процессора, чем другие типы архитектур. Фактически в мультитредовых процессорах реализован симбиоз автоматически распараллеливающего компилятора, дающего указания аппаратуре процессора в виде отметок команд и специальных команд, и аппаратных средств, воспринимающих эти указания.

Конечно, изложенный подход не является единственно возможным при реализации этой плодотворной идеи – привлечения компилятора к распределению заданий по процессорам и балансировке загрузки процессоров в многопроцессорных системах.