Реализации

Преимущества и недостатки

Архитектура VLIW.

VLIW (англ. very long instruction word — «очень длинная машинная команда») — архитектура процессоров с несколькимивычислительными устройствами. Характеризуется тем, что одна инструкция процессора содержит несколько операций, которые должны выполняться параллельно. Фактически это «видимое программисту» микропрограммное управление, когда машинный код представляет собой лишь немного свёрнутый микрокод для непосредственного управления аппаратурой.

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

VLIW можно считать логическим продолжением идеологии RISC, расширяющей её на архитектуры с несколькими вычислительными модулями. Так же, как в RISC, в инструкции явно указывается, что именно должен делать каждый модуль процессора. Из-за этого длина инструкции может достигать 128 или даже 256 бит.

Рассмотрим работу модельного VLIW-процессора с двумя арифметическо-логическими устройствами (АЛУ). Пусть нам надо сложить четыре числа, находящиеся в регистрах R1, R2, R3 и R4. Тогда псевдокод может выглядеть так:

R5=R1+R2, R6=R3+R4; каждое АЛУ складывает свою пару чисел R0=R5+R6, NOP; первое АЛУ находит сумму, второе простаивает

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

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

Архитектура VLIW выглядит довольно экзотической и непривычной для программиста. Из-за сложных внутренних зависимостей кода, программирование на уровне машинных кодов для VLIW-архитектур человеком вручную является достаточно сложным. Приходится полагаться на оптимизацию компилятора.

Одни из первых VLIW-процессоры появились в конце 1980-х и были разработаны компанией Cydrome.^[1]

В чистом виде архитектуру VLIW имеют процессоры TriMedia фирмы Philips и семейство DSP C6000 фирмы Texas Instruments.^[2]

Микропроцессор Transmeta Crusoe содержит слой двоичной совместимости с архитектурой x86, который компилирует инструкции во внутренний формат процессора (code morphing). Ядро Crusoe является VLIW-процессором.^[3]

Микропроцессор Intel Itanium имеет 64-битную систему команд EPIC-процессора с явным параллелизмом, которая является одним из вариантов VLIW.

Многопроцессорный вычислительный комплекс «Эльбрус-3» и микропроцессоры серии «Эльбрус» («Эльбрус 2000», «Эльбрус S») являются VLIW-процессорами.^[4]

Процессоры, выпускаемые фирмой Tilera, также имеют VLIW-архитектуру.^[5]

VLIW также получила хорошее распространение на рынке GPU, так, видеопроцессоры AMD/ATI Radeon начиная с R600 и до современных имеют VLIW архитектуру.^{[6] [7]}В последнем поколении (Southern Islands) компания AMD/ATI отошла от подхода VLIW^[8]

Компилятор как приложение, распараллеливающее программу.

Автоматический Распараллеливатель это инструмент для поиска участков допускающих параллельное исполнение в коде, написанном на последовательном языке программирования. В некоторых случаях Автоматический Распараллеливатель модифицирует код для увеличения числа таких участков или же их размеров.

Автоматический Распараллеливатель использует библиотеки, поддерживающие стандартOpenMP для исполнения параллельного кода, в текущей реализации используется библиотека libgomp. Однако, Автоматический Распараллеливатель может быть перенесен на любую библиотеку, поддерживающую все необходимые интерфейсы. Текущая реализация распараллеливает только цикловые участки, в ближайшем будущем также предполагается распараллеливать и секции (ациклические части последовательной программы), в частности, содержащие вызовы.

В настоящее время Автоматический Распараллеливатель работает только с GCC, код которого был нами модифицирован. Чтобы использовать Автоматический Распараллеливатель Вам нужно иметь:

• Модифицированный gcc компилятор, который читает и записывает файлы с описанием семантики программы
• Автоматический распараллеливающий модуль, который читает файлы с семантикой программы, анализирует его, модифицирует и записывает их обратно

Модифицированный gcc компилятор доступен как приложение для x86 Linux, так и в исходных кодах. Автоматический распараллеливающий блок является продуктом, изолированным от gcc. Он создан на основе Универсальной Библиотеки Трансляции и является нашей интеллектуальной собственностью. Автоматический распараллеливающий модуль доступен как приложение для x86 Linux.

Пучок команд. Структура пучка. Предикативный регистр.

Дата добавления: 2014-01-05