Опубликован: 01.10.2013 | Доступ: свободный | Студентов: 235 / 13 | Длительность: 24:58:00
ISBN: 978-5-9963-0223-9
Специальности: Разработчик аппаратуры
Лекция 6:

Термальный синтез микропрограмм алгоритмически ориентированных МКМД-бит-потоковых субпроцессоров

< Лекция 5 || Лекция 6: 123456 || Лекция 7 >
Аннотация: В лекции показано, что проблемы интерактивного синтеза сверх- и гиперпараллельных микропрограммных конструкций можно преодолеть за счет формализованного синтеза библиотечных слов- и поток-инструкций на основе рекуррентных процедур, оперирующих не бит-процессорами, а термами, характерными для этих слов- и поток-инструкций.

5.1. Технология (микро)программного конструирования МКМД-бит-потоковых субпроцессоров

Технология (микро)программного конструирования МКМД-бит-потоковых субпроцессоров во многом сходна с кремниевой компиляцией, которая является основным инструментом быстрого бездефектного проектирования современных программируемых и (полу)заказных СБИС и УБИС (рис. 5.1). Основная отличительная особенность этих технологий проектирования средств вычислительной техники состоит в следующем.

Неделимой единицей кремниевой компиляции является библиотека элементов и узлов, реализуемых технологическим процессом производства СБИС, в то время как в микропрограммном конструировании МКМД-бит-потоковых субпроцессоров неделимой единицей служит (микро)программируемый бит-процессор. В результате в последнем случае отсутствует достаточно сложный и ответственный этап схемотехнического моделирования всей схемы СБИС или УБИС из 1 млн. транзисторов и более. Такое упрощение задач конструирования МКМД-бит-потоковых субпроцессоров оплачивается увеличением аппаратных затрат более чем на два порядка и усложняет процесс компоновки библиотечных слов-инструкций на плате и согласование FIFO -регистровых процедур пространственно-временного согласования потоков данных как внутри, так и между слов-инструкциями.

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

  • поэтапной декомпозиции (см. рис. 5.1) операторов пользователя до бит-потоковых процедур типа "1.1"-"5.1", рассмотренных в разделе 4.1;
  • поэтапного восходящего синтеза оптимальной топологии размещения на бит-матрице микропрограммы поток-оператора, причем качество решения последних напрямую зависит от качества решения первых, и наоборот.
Схема преобразования задач пользователя МКМД-бит-потокового (суб)процессора в исполняемый формат

Рис. 5.1. Схема преобразования задач пользователя МКМД-бит-потокового (суб)процессора в исполняемый формат

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

В кремниевых компиляторах используется только декомпозиция операторов пользователя, которая осуществляется в пакетном режиме,

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

В МКМД-бит-потоковой технологии поиск оптимальной одноуровневой топологии осуществляется на плоской, коммутируемой, ортогональной, FIFO -регистровой решетке, где смещение по любой координате приводит к глобальным фазовым сдвигам потоков данных как минимум на 1 такт. При этом согласно требованиям соотношений типа "1.1"-"5.1" (см. раздел 4.1) размещаемыми объектами являются не бит-операции, а строго фазированные однобитные процедуры над "бесконечными" бит-потоками данных, причем в поток-операторах количество таких процедур доходит до величин порядка 102 -105.

В настоящее время отсутствуют инструментальные средства, способные поддержать в пакетном режиме, а тем более в реальном времени процесс погружения даже формализованных задач пользователя до уровня их аппаратной реализации. Такой процесс по-прежнему носит интерактивный характер, в котором автоматически генерируются только библиотечные слов-инструкции и тестовые микропрограммы. Компоновка библиотечных слов-инструкций на бит-матрице осуществляется в автоматизированном режиме, где решения о способах размещения и преобразования библиотечных слов-инструкций принимает человек. Исполняет заданные процедуры перемещения и "деформации" топологии микропрограммных модулей на бит-матрице инструментальная ЭВМ, на дисплее которой формируется результирующее графическое представление синтезируемых операционных, управляющих, интерфейсных, адресных и диагностических модулей алгоритмически ориентированного МКМД-бит-потокового субпроцессора. Поэтому в МКМД-бит-потоковой технологии получить достоверные системотехнические оценки качества декомпозиции удается только после построения каждого варианта топологической схемы. Исходные данные для оценки качества декомпозиции порождает процедура проверки условия |t_{i}-t_{j}| = 1 для всех информационно связанных процедур типа "1.1"-"5.1", рассмотренных в разделе 4.1. Это условие характеризует степень использования основными процедурами пользователя допустимого времени задержки в МКМД-бит-потоковом субпро-

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

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

Весь проект микропрограммного конструирования развивается в структурно-функциональной, топологической, диагностической и интерфейсной плоскости (рис. 5.2), последняя из которых поддерживается инструментальными средствами загрузки синтезированной микропрограммы на уровень используемых физико-технических процессов. Такая "глубина" погружения задания пользователя (Б)ВС характерна для перспективных супрамолекулярных вычислителей, а в современных условиях типична только для оптоэлектронных МКМД-бит-потоковых субпроцессоров с голографическими ЗУ.

Структура инструментальных средств оптоэлектронного МКМД-бит-потокового (суб)процессора

увеличить изображение
Рис. 5.2. Структура инструментальных средств оптоэлектронного МКМД-бит-потокового (суб)процессора

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

В топологической плоскости проекта библиотечные слов-команды компонуются в микропрограммы поток-операторов с помощью редактора связей, определяющего временные рассогласования по всем входам-выходам библиотечных слов-команд. Само размещение микропрограмм, реализующих функции библиотечных слов-команд, осуществляется с помощью программных средств, которые осуществляют аффинные преобразования топологии слов-команд типа вращения вдоль осей Х и/или Y, сдвиги, повороты и т. п.

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

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

В МКМД-бит-потоковых технологиях существует принципиальное отличие между промышленными и эксплуатационными микропрограммными тестами, первые из которых ориентированы на отбраковку изделий микроэлектроники и поэтому прекращают свою работу при обнаружении первого отказа. В ОКМД-бит-потоковых технологиях [144] такое различие между промышленной и эксплуатационной диагностикой не наблюдается, так как в этом случае восстановить работоспособность бит-матриц можно только прямым замещением отказавшего бит-процессора резервным. А для этого достаточно только локализовать отказавший бит-процессор и нет необходимости идентифицировать тип отказа. Эксплуатационные тесты бит-матриц, используемых в МКМД-режимах распараллеливания вычислений, гораздо глубже и направлены на локализацию и идентификацию полной карты отказов, что в промышленных условиях делается крайне редко, когда анализируются главные источники снижения процента выхода годных изделий. Поэтому в МКМД-бит-потоковых технологиях эксплуатационные тесты первыми должны парировать обнаруженные множественные отказы, чтобы построить полную карту отказов на бит-матрице.

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

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

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

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

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

Добрый день!

 

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

Спасибо,

Евгений

 

Наталья Куликова
Наталья Куликова
Россия, Краснодар, КубГУ, 2002
Артур Кадаргалеев
Артур Кадаргалеев
Россия