Опубликован: 01.10.2013 | Уровень: для всех | Доступ: платный
Лекция 5:

МКМД-БИТ-потоковые субпроцессоры с (микро)программируемой архитектурой

< Лекция 4 || Лекция 5: 123456 || Лекция 6 >
Аннотация: В лекции раскрыты особенности микропрограммного конструирования МКМД-бит-потоковых субпроцессоров или, что одно и то же, особенности перехода с микрокомандного на ассемблерный уровень организации вычислений в (Б)ВС с микрокомандным уровнем доступа.
Ключевые слова: бит, поток, инструкция, время задержки, фиксированная запятая, мантисса, неравенство, операнд, индекс, пользователь, разрядность, прямой, константы, формализуемая задача, топология связи, знаковый бит, DCC, класс, процессор, шина, цикл работы, ОЗУ данных, реконфигурация, шина управления, обмен данными, FIFO, многопроцессорная конфигурация, гиперкуб, устойчивость к отказам, центральный процессор, пропускная способность, ядро, скалярное произведение, свертка, функциональная схема, умножение, множитель, цикла, затраты, регистровая память, регистр, размерность, алгоритм, терм, программирование, ложная тревога, ОКМД, класс решаемых, доступ, ОЗУ, ВС, память, АЛУ, ячейка, матрица, триггер, избыточность, логический уровень, логический вентиль, противоречивость требований, погрешности вычислений, ресурс, работ, операторы, потоки данных, распараллеливание вычислений, производительность, скользящее окно, значение, композиция, вычисление, операции, диапазон, дополнительный код, инверсия

4.1. Ассоциативные конструкции на уровне слов-инструкций

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

Главная специфика микропрограммного конструирования:

  1. В фазе декомпозиции, с одной стороны, снимаются какие-либо языковые ограничения на состав слов-инструкций и на их параметры, а с другой стороны, ужесточаются требования к микропрограммным алгоритмам их реализации, которые должны:
    • быть представлены в последовательной конвейерной форме, и все циклы должны завершаться "по счетчику", а не "по условию";
    • иметь явное описание управляющих процедур, с помощью которых задаются параметры преобразуемых операндов и потоков.
  2. В фазе конструирования наиболее общими являются бит-инструкции, которые определены над "бесконечными" потоками данных, и поэтому их включение в состав слов-потоковых требует как минимум явного задания ограничений на разрядность и формат операндов, а также вытекающих из них параметров циклической обработки "бесконечных" бит-потоков данных.

В частности, бит-потоковая инструкция ADD(t+1) отличается от слов-потоковой ADD(t+2+n*s) тем, что в ней циклически обнуляется старший (буферный) разряд каждого операнда-приемника (рис. 4.1 - в условных обозначениях табл. 4.1):

ADD(t+2+n*s) = AND[ADD(t+l), \overline{C^l_n(t + n*s) }], ( 4.1)

где:

  • ADD(t+1) - определенная в (3.1) потоковая бит-инструкция "непрерывного" сложения двух "бесконечных" бит-потоков операндов-источников;
  • \overline{C^l_n (t -1 + n*s)} - DD -ассоциативная "маскирующая" переменная, полученная инверсией (IC) циклической константы C^1_n(t + n *s) вида: младший бит - "1", а (n -1) старших бит - "0";
  • n*s - "алгоритмический" фазовый сдвиг s -го слов-операнда, заданного в последовательном коде, причем на уровне слов-инструкций целочисленный индекс s изменяется от 0 до \infty и доопределяется до конечной величины N (s=\overline{0,(N -1)}) только в поток-операторе.
Топологическая схема микропрограммы потоковой слов-инструкции ADD

Рис. 4.1. Топологическая схема микропрограммы потоковой слов-инструкции ADD

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

Здесь и далее принят традиционный для конвейерной арифметики формат данных фиксированной запятой: старший nбит - "буферный" разряд, (n-1)бит - знаковый разряд (z) и \overline{((и - 2),0)} -е биты - мантисса, причем операнды подаются на входы операционных устройств младшим разрядом вперед, а "буферный" разряд препятствует распространению по потоку "паразитной" "единицы переноса" и поэтому принудительно обнуляется после каждого алгебраического сложения.

Из (4.1) и рис. 4.1 видно, что в МКМД-бит-потоковых вычислительных технологиях:

  • основное назначение ассоциативных конструкций - это сверхоперативное управление взаимодействием пространственно-временных и изначально "бесконечных" бит-потоков данных с пространственно фиксированным на бит-матрице потоком бит-инструкций;
  • включение потоковых слов-инструкций в состав поток-операторов, так же как и включение бит-потоковых инструкций в состав слов-потоковых, требует явного задания циклов обработки, зависящих как минимум от N и n ;
    Таблица 4.1. Условное графическое изображение бит-инструкций
    Ус ловное изображение Комментарий

    В канале АЛУ бит-процессора выполняется операция ADD над операндами, поступающими на первом такте слева и снизу. Результирующий операнд выдается на 3 такте вправо. В канале транзита входной операнд поступает снизу на 1 такте и подается с задержкой на один такт вверх, а с задержкой на 3 такта - вниз

    В канале АЛУ бит-процессора выполняется операция ADD над операндами, поступающими на первом такте слева и снизу. Результирующий операнд выдается на 3 такте вправо. В канале транзита входной операнд поступает снизу на 1 такте и подается с задержкой на один такт вверх, а с задержкой на 3 такта - вниз

    В канале АЛУ выполняется операция "запоминание единицей", в которой информационный операнд подается на 0 такте слева, а управляющий операнд - на 2 такте справа и, если он имеет вид циклической константы 00…01, то на выходе с дополнительной задержкой на 2 такта по отношению к управляющему входу запоминается содержимое ( n-3 )-го бита информационного операнда. Канал транзита не используется

    В каналах АЛУ и транзита выполняется слияние потоков по "ИЛИ" по правилу: x(t+1)\lor x(t+2)\lor x(t+3), где \lor - операция "ИЛИ", а результирующий операнд поступает на правый выход бит-процессора с задержкой на 1, 2 и 3 такта

    В канале АЛУ реализуется операция NOP, то есть он не используется, а в канале транзита входной операнд поступает слева и передается вправо с дополнительной задержкой на 2 такта, а вниз - с дополнительной задержкой на 1 такт
  • как и в нанометровых или супрамолекулярных вычислителях, управление в реальном времени сводится к блокаде "паразитных" взаимодействий, в данном случае - по циклически обрабатываемым операндам и потокам данных.

На уровне слов-инструкций, как правило, используется смесь PD -или DD -ассоциативных конструкций бит-процессорного уровня, что обусловлено природой МКМД-бит-потоковой организации вычислений, где неделимой единицей инициализации и обработки являются не отдельные слов-инструкции и операнды, а соответственно пространственно фиксированные потоки бит-инструкций и преобразуемые ими пространственно-временные потоки бит-данных (см. системообразующее неравенство (6.1) раздела 6.5 курса "Задачи и модели вычислительных наноструктур").

Типичным представителем комплексного использования различных ассоциативных конструкций бит-процессорного уровня является потоковая слов-инструкция DCC(X^s_{n,c} (t+t_0), X^s_{n,d}(t)), циклически преобразующая потоковый операнд-источник X^s_{n,d}(t), заданный в прямом коде ( DC ), в соответствующий ему потоковый операнд-приемник X^s_{n,c} (t+t_0), заданный в дополнительном коде ( CC ).

Потоковая слов-инструкция DCC выполняет PD -ассоциативное преобразование:

X^s_{n,c}(t+t_0)=
\begin{cases}
DC(X^s_{n,d}(t)), & \text{ если } z_{s}(t) = 0, \\
IC(X^s_{n,d}(t))+z_{s}(t), & \text{ если } z_{s}(t) = 1.
\end{cases} ( 4.2)

но над "непрерывным" потоком бит-данных, и делает это циклически по s с фиксированной задержкой t _{0} > n. Здесь z^{s} - знаковый разряд s -го опе-ранда потока, причем целочисленный индекс s\in(1,+\infty).

Реализующие эту слов-инструкцию циклические по s МКМД-бит-потоковые процедуры имеют вид:

Шаг 1.1. Выделить и запомнить на n тактов содержимое знакового разряда z^{s} операнда-источника:

Z^s_{n} [t_{1}+2 + n*(s +1)] := ST1[X^{s}_{n,d} (t_{l}+2 + n*s),C^{1}_n(t_{l}+n*(s +1))]. ( s +1))])

Шаг 1.2. Инвертировать ( IC ) циклическую константу C^1_n, с помощью которой пользователь (суб)процессора задает требуемую и, в общем случае, некратную 2 разрядность слов-операндов:

IC[C^1_n(t_0+1+n*(s+1)]:=\overline{C^1_n(t_0+n*s)}

Шаг 2.1. "Обнулить" старший разряд n -битного знакового вектора Z :

Z_{n-1}^s[t_2+2+n*(s+1)]:=Z_{n}^{s}[t_2+1+n*s)]\land\overline{C^1_n(t_2+n*s)}

Шаг 2.2. "Обнулить" знаковый разряд операнда-источника:

X_{n,d}^{\sim s}[t_3+3+n*s)]:=X_{n,d}^{s}[t_3+2+n*s)]\land\overline{C^1_n(t_3+n*s)}

Шаг 2 3. Восстановить прямой код циклической константы C^1_n:

DC[C^1_n(t_4+1+n*s)]:=IC[\overline{C^1_n(t_4+n*s)}]

Шаг 3.1. Выполнить "условную инверсию" ( ICA ) над модифицированным операндом-источником:

ICA[X_{n,d}^{s}(t_5+1+n*s))]:=X_{n,d}^{\sim s}[t_5+n*(s+1)]\oplus Z_{n-1}^{s}[t_5+n*(s+1)]

Шаг 3.2. Восстановить содержимое знакового разряда операнда-источника:

z^s[t_6+1+n*(s+1)]:=Z_{n-1}^s[t_6+n(s+1)]\land C^1_n[t_6+n*(s+1)]

Шаг 4.1. Сложить содержимое знакового разряда с "условной инверсией" операнда-источника:

CC^{\sim}[X^{s}_{n,c}(t_{7}+l + n(s + l))] := z^{s}[t_{7}+n*(s + l)] + ICA[X^{s}_{n,d}(t_{7}+n*(s + l))]

Шаг 4.2. Инвертировать содержимое знакового разряда операнда-источника:

IC[z^{s} (t_{8} +1 + n * (s +1))] := \overline{z^{s}[t_{8} + n * (s +1)]}.

Шаг 5.1. "Обнулить" содержимое буферного разряда операнда-приемника:

CC[X^{s}_{n,c}(t_{9} + 2 + n * (s +1)] := CC^{\sim}[X^{s}_{n,c}(t_{9} +1 + n * (s + l))]\land\overline{z^{s}[t_{9} + n * (s +1)]}.

Здесь t_i - целочисленное время начала исполнения соответствующей МКМД-бит-потоковой процедуры.

С позиций перспективной нано- и супрамолекулярной вычислительной техники из приведенных данных следует:

  1. В отличие от фон-неймановских ЭВМ, где под одним управляющим оператором, задающим параметры потоков данных (в данном случае это разрядность слов-операндов), по максимуму объединяются все слов-инструкции (под)программы, потоковые слов-инструкции являются вырожденными поток-операторами, в каждом из которых "глубина" информационного взаимодействия потоков данных принудительно ограничена задаваемой извне разрядностью операндов, а требования "непрерывной" обработки бит-потоков учтены фазовыми сдвигами типа n*s или n*(s+1). Сами фазовые сдвиги поддерживаются и строго контролируются локальными управляющими DD - и PD -ассоциативными конструкциями как внутри, так и между слов-инструкциями, входящими в поток-оператор, реализуемый проблемно-ориентированным МКМД-бит-потоковым (суб)процессором. Поэтому ассоциативные управляющие конструкции в таких вычислительных технологиях распределены по всем потоковым слов-инструкциям , представлены в явном виде в структуре их микропрограмм и существенно избыточны по сравнению с классическими фон-неймановскими технологиями, что видно из сравнения (4.2) и процедур "1.1"-"5.1".
  2. Главная особенность потоковой обработки данных связана с необходимостью многократного использования однажды введенных в бит-матрицу или сформированных в ней данных, что с системотехнических позиций призвано снизить интенсивность обмена данными МКМД-бит-потокового (суб)процессора с внешней памятью. В результате приходится многократно восстанавливать управляющие циклические константы, что приводит к росту аппаратно-временных затрат на управление операционными модулями, в каждом из которых в явном виде задается разрядность преобразуемых операндов и/или цикл суммирования. Поэтому МКМД-бит-потоковые (суб)процессо-ры работают не в режиме трансляции поток-операторов пользователя, а в режиме интерпретации их микропрограммных модулей, каждый из которых содержит один или несколько блоков управления.
  3. PD -ассоциативная конструкция шага "1.1" формирует циклически по ( s ) n -битный вектор знака Z_{n}^{s} , который управляет такой же конструкцией в " условной инверсии " (бит-инструкция XOR ) шага "3.1", заменяющей оператор условного перехода в (4.2). В результате образуются линейные цепочки PD -ассоциативных преобразований, которые в нанометровых и супрамолекулярных вычислителях можно реализовать в совмещенном (во времени и пространстве) с вычислениями синтезе "рабочего тела" за счет высокодинамичных операций замещения (подстановки), управляемых в данном случае:
    • в процедуре "1.1" - циклической константой C^1_{n} , которая выделяет (стробирует, селектирует), а затем фиксирует на n тактов выход бит-процессора (квантового субстрата), который отвечает за потоковое "хранение" содержимому знакового разряда z^{s} операнда-источника;
    • в процедуре "3.1" - знаковым вектором Z_{n-1}^{s}, который в соответствии со своим содержимым выделяет и фиксирует на n тактов квантовый субстрат, обеспечивающий прохождение (отражение) операнда-источника либо прямым транзитом, либо транзитом с инверсией.
  4. DD -ассоциативные конструкции процедур "2.1", "2.2", "3.2" и "5.1" являются "маскирующими" и поддерживают предельный темп потоковой обработки в процедурах "3.1" и "4.1", который отвечает условию: \Delta T_k = n*х , где \Delta T_k - период дискретизации потоков входных данных по Котельникову (см. раздел 1.5 курса "Задачи и модели вычислительных наноструктур").

    Если эти DD -ассоциативные конструкции привести к PD -ассоциа-тивному виду (см. соотношение (8.12) раздела 8.4 курса "Задачи и модели вычислительных наноструктур"), то и отвечающие им вычислительные процедуры можно совместить во времени и пространстве с синтезом или регенерацией квантового "рабочего тела" нанометровых или супрамолекулярных вычислителей.

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

    В идеале это предполагает поиск такой топологии связей между бит-инструкциями, в которой:

    • время "технологической" задержки между любыми попарно связанными процедурами из "1.1"-"5.1" равно 1 такту, то есть |t_i - t_{j} | выполняется для всех информационно связанных пар (i, j) бит-инструкций;
    • допустимое время задержки ( T _{0} ) в (суб)процессоре максимально расходуется на "усложнение" реализуемого поток-оператора, что, хотя бы и косвенно, можно оценить: T _{0} = L*\tau_c , где L - критический путь в микропрограмме поток-оператора, исчисляемый количеством тактов, затраченных на прохождение данных от самого "раннего" входа до самого "позднего" выхода.

    Для иллюстрации сказанного на рис. 4.2 (в условных обозначениях табл. 4.1) приведены две топологические схемы потоковой слов-инструкции DCC для n = 16 бит. Из этого рисунка видно, что в схеме а расходуется 3x5 бит-процессоров c временем задержки 26 тактов, а в схеме б соответственно 4x4 бит-процессора и 25 тактов, из которых только 14 являются алгоритмическими, так как компенсируют объективную для последовательной арифметики задержку между "нулевым" и знаковым битами операнда.

    В потоковой слов-инструкции DCC коэффициент использования структурно-функциональных возможностей заранее изготовленной бит-матрицы не превышает 50 % (см. рис. 4.2-а и табл. 4.2), причем ее коммутационные возможности использованы на 58 %, а операционные - на 38,3 %. Подобное соотношение между используемыми и предоставляе мыми в СБИС Н1841 ВФ1 структурно-функциональными возможностями достаточно типично для известных потоковых слов-инструкций.

    Т опологические схемы микропрограммы потоковой слов-инструкции DCC

    Рис. 4.2. Т опологические схемы микропрограммы потоковой слов-инструкции DCC
    Таблица 4.2. Процент использования структурно-функциональных возможностей бит-матрицы при выполнении слов-инструкции DCC
    ij операций пересылок ij операций пересылок ij операций пересылок ij операций пересылок ij операций пересылок
    1,1 1 2 1,2 2 2 1,3 1 1 1,4 1 2 1,5 1 1
    2,1 1 2 2,2 2 3 2,3 1 2 2,4 1 3 2,5 1 1
    3,1 3 2 3,2 2 1 3,3 3 2 3,4 3 2 3,5 0 0
    всего 5 6 6 6 5 5 5 7 2 2
    Итого
    Возможных Использованных Процент использования
    операций пересылок операций пересылок операций пересылок
    4*15=60 3*15=45 23 26 38,3 58
    Структурно-функциональных возможностей: (23+26)7(7* 15)=49/105 \approx 46,7<50%

    Из сравнения (4.2) и процедур "1.1"-"5.1" видно, что только 3 бит-процессора принимают непосредственное участие в преобразовании

    "прямой код - дополнительный", и реализуют они процедуры "1.1", "3.1" и "4.1", из которых только первые две являются PD -ассоциативными. Отсюда можно заключить, что в МКМД-бит-потоковых вычислительных технологиях аппаратно-временные затраты на DD - и PD -ассоциативное управление потоками данных в темпе реального времени, а вместе с ними и всем вычислительным процессом превосходят не менее чем в 2-5 раз затраты на функционально значимые для пользователя преобразования, часть из которых также представима в ассоциативном виде.

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

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

< Лекция 4 || Лекция 5: 123456 || Лекция 6 >
Евгений Акимов
Евгений Акимов

Добрый день!

 

Скажите, пожалуйста,планируется ли продолжение курсов по нанотехнологиям?

Спасибо,

Евгений

 

Nozimjon Fayziev
Nozimjon Fayziev
Таджикистан, Душанбе
Анна Волкова
Анна Волкова
Россия, г. Новосибирск