DataFlow_Компилятор с ЯВУ в ориентированный ациклический граф(2_пример)

Предварительные пояснения.

Любая команда или мультиплексор выполняются (генерируют результат на выход) только если на ВСЕ входы поданы (существуют) требуемые объекты. Если нет объекта с требуемым уникальным идентификатором, то нет срабатывания и генерации результирующего объекта с уникальным идентификатором. Различные команды могут генерировать объекты с одинаковым идентификатором только при гарантии невозможности создать два объекта с одинаковым идентификатором (примерно как оператор IF, где или в одну сторону или в другую и никогда в обе стороны).

По вопросу доступа к обрабатываемым данным.

Данные передаются по ССИ сети и уже находятся в отдельных FIFO (каждый символ текста в своем буфере) и доступ ко всем данным возможен параллельно. В реальности невозможно получить бесконечное число буферов, соответственно строка при передаче будет разбита (автоматически при генерации ассемблера) на куски размером (N) равным числу буферов. Соответственно следующим элементом для буфера с S[0] будет S[N] (S[1]-S[N+1]). Преобразованием из последовательной формы в двумерную (да и вообще в любой Data Set занимаются механизмы сети ССИ). Число N можно считать числом одновременно исполняемых команд (числом нитей). Для DataFlow число N может достигать миллиона на один кристалл (для современных тех. процессов), что соответствует миллиону команд за такт. Производительность в 10Е15 операций в секунду на кристалл очень даже неплохо. Если учесть плотность упаковки до 10.000 процессоров в одном кубическом метре (определяется возможностью отвода тепла), то и вообще до 10E19 операций в секунду на стойку.

Коды исполняемых команд, это тоже данные передаваемые сетью ССИ и исполнение какого либо объекта происходит методом передачи его данных из памяти в «процессор». Взаимодействие двух объектов выглядит как передача данных объектов в один «процессор», где они «взаимодействуют» с генерацией новых объектов (если это нужно).

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

Нет даже теоретической возможности одному и тому же объекту взаимодействовать с другими объектами одновременно, для этого нужно сначала создать копию (но это будет самостоятельный объект).

Звучит все сложно, но в реальности достаточно просто (будет описываться в статьях посвященных архитектуре DataFlow вычислителя)

Применение:

Меня такая машина интересует для моделирования биологической клетки как целого объекта (виртуальная биологическая клетка). При размере клетки в 5мкм, примерно получается (для вычислителя 10Е20) 10Е8 операций в секунду на каждый атом. Сколько операций требуется для моделирования одного шага моделирования не знаю, потому не могу сказать отношение модельного времени к реальному.

Исходная программа :

int strlen(const char* s)

{

int i = 0;

while (s[i]) i++;

return i;

}

После разворачивания цикла и приведения к однократным присваиваниям переменных

{Инициализация цикла}

0.i.0=0, (превратится в команду для АЛУ или инициализацию переменной)

{Проверка на конец строки}

BranchTrue.0=Boolean(s[0]==0), (превратится в команду для АЛУ)

BranchTrue.1=Boolean(s[1]==0), (превратится в команду для АЛУ)

BranchTrue.2=Boolean(s[2]==0), (превратится в команду для АЛУ)

{повторяем до бесконечности}

{Проверка на наличие символа}

BranchFalse.0=Boolean(s[0]!=0), (превратится в команду для АЛУ)

BranchFalse.1=Boolean(s[1]!=0), (превратится в команду для АЛУ)

BranchFalse.2=Boolean(s[2]!=0), (превратится в команду для АЛУ)

{повторяем до бесконечности}

{Если не конец строки то генерируем следующую итерацию цикла, но не генерируем результат исполнения}

if (BranchFalse.0) 0.i.1=0.i.0, (суммарно превратится в мультиплексор)

if (BranchFalse.1) 1.i.1=1.i.0, (суммарно превратится в мультиплексор)

if (BranchFalse.2) 2.i.1=2.i.0, (суммарно превратится в мультиплексор)

1.i.0= 0.i.1+1, (превратится в команду для АЛУ)

2.i.0= 1.i.1+1, (превратится в команду для АЛУ)

3.i.0= 2.i.1+1, (превратится в команду для АЛУ)

{повторяем до бесконечности}

{Если конец строки то генерируем результат, но не генерируем новый цикл}

if (BranchTrue.0) 0.i.2=0.i.0,(суммарно превратится в мультиплексор)

if (BranchTrue.1) 0.i.2=1.i.0,(суммарно превратится в мультиплексор)

if (BranchTrue.2) 0.i.2=2.i.0, (суммарно превратится в мультиплексор)

{повторяем до бесконечности}

{Передача результата исполнения функции}

strlen=0.i.2, (превратится в мультиплексор)

 

Выполнение графа автоматически остановится или по концу строки (нет символа или символ равен нулю) или по отсутствию следующей итерации.

Полученный текст практически без изменений (нужно избавиться от бесконечных повторений) может быть преобразован в любой HDL язык и откомпилирован для получения прошивки FPGA.

Описывать стадию ассемблера без описания архитектуры DataFlow смысла нет. Следующая статья будет с описанием архитектуры и только потом ассемблер.