- •Классификация параллельных кс по структурно-функциональным признакам.
- •Классификация параллельных кс по функциональным возможностям кс с точки зрения пользователя
- •Проведите сравнительный анализ классификаций компьютерных систем.
- •Мультикомпьютеры, кластеры и симметричные мультипроцессоры общая характеристика, схемы построения, особенности каждой из систем, области применения.
- •Системы с распределенной и разделяемой памятью, массово-параллельные системы общая характеристика, схема построения, особенности каждой из систем, области применения.
- •Преимущества архитектуры
- •Недостатки архитектуры
- •Основные понятия теории моделирования параллельных кс. Методы моделирования параллельных кс.
- •Задачи моделирования параллельных кс.
- •Приведите основные принципы моделирования.
- •Моделирование параллельных процессов. Применение аппарата сетей Петри.
- •Подклассы сетей Петри:
- •Применение сетей Петри для синтеза дискретных управляющих устройств.
- •Оценочные или е-сети как расширение сетей Петри
- •Моделирование конвейерной обработки информации
- •Свойства сохранения и активности сети Петри
- •Свойство достижимости и покрываемости сети Петри.
- •Свойство безопасности и ограниченности сети Петри.
- •Анализ сетей Петри матричным методом
- •Матричный метод анализа сетей Петри достоинства и недостатки метода
- •Задачи достижимости и покрываемости сети Петри.
- •Границы возможности моделирования с помощью сетей Петри
- •Подклассы сетей Петри:
- •Маркированные графы подкласс сетей Петри
- •Сети Петри и их особенности
- •Разбиения чисел. Основные понятия и определения. Принцип Дирихле.
- •Вложимость разбиений.
- •Ранговое условие вложимости; пример использования.
- •Принцип полного размещения; пример использования.
- •Вложимость с ограничениями; пример использования.
- •Особенностью распределения памяти в кс с сегментной организацией программ и данных (модель 2). Приведите пример.
- •Комбинаторная модель для оценки необходимого размера памяти кс (модель 4). Приведите пример.
- •Комбинаторная модель, позволяющая произвести расчет оценки сверху необходимого размера оперативной памяти кс.
- •Диаграммы Ферре и инверсия в бинарных последовательностях
- •Надежность кольцевой структуры кс (для сети [n,2]).
- •Надежность сети кс.
- •Связанные случайные величины
- •Детерминированные меры живучести для многополюсных сетей
- •Матричная теорема о деревьях для графов (пример)
- •Теорема Кирхгофа-Трента
- •Каркасы в ориентированных графах
- •Надежность сети относительно одного источника и многих стоков
Классификация параллельных кс по структурно-функциональным признакам.
По-видимому, самой ранней и наиболее известной является классификация архитектур вычислительных систем, предложенная в 1966 году М.Флинном. Классификация базируется на понятии потока.
Классификация по Флинну:
Вычислительная система с одним потоком команд и данных (однопроцессорная ЭВМ — SISD, Single Instruction stream over a Single Data stream).
Вычислительная система с общим потоком команд (SIMD, Single Instruction, Multiple Data — одиночный поток команд и множественный поток данных).
Вычислительная система со множественным потоком команд и одиночным потоком данных (MISD, Multiple Instruction Single Data — конвейерная ЭВМ).
Вычислительная система со множественным потоком команд и данных (MIMD, Multiple Instruction Multiple Data)
К минусам можно отнести, что слишком много ВС попадает в класс MIMD.
Пытаясь систематизировать машины внутри класса MIMD Р. Хокли получил иерархическую структуру.
Основная идея: Множественный поток команд может быть обработан 2 способами:
Одним конвейерным устройством, работающем в режиме разделения времени.
Каждый поток обрабатывается собственным устройством.
Классификация по Р. Хокли:
MIMD
Конвейерные устройства
С собственным устройством для каждого потока
MIMD компьютеры в которых в которых возможна связь каждого вычислителя с каждым (с переключателями)
MIMD компьютеры у которых возможна связь только с ближайшими.
С общей памятью
с распределенной памятью
регулярные решетки
гиперкубы
иерархические структуры
изменяющиеся конфигурации
Среди MIMD-компьютеров с переключателями выделяются те, в которых вся память распределена между процессорами.
Если память – разделяемый ресурс, доступный для всех процессоров через переключатели, то MIMD-машина является системой с общей памятью. В соответствии с конфигурацией переключателя различают:
простой переключатель
многокаскадный переключатель
общая шина
Многие современные компьютерные системы имеют как общую разделяемую память, так и распределенную, такие системы Хокли рассматривал как гибридные MIMD-системы с переключателями.
Если рассматривать MIMD-системы с сетевой структурой (8, 9, 10, 11), то все они имеют распределенную память, а дальнейшая классификация может проводиться в соответствии с топологией сети.
Классификация Шнайдера
В 1988 году Л.Шнайдер (L.Snyder) предложил новый подход к описанию архитектур параллельных вычислительных систем, попадающих в класс SIMD систематики Флинна. Основная идея заключается в выделении этапов выборки и непосредственно исполнения в потоках команд и данных. Именно разделение потоков на адреса и их содержимое позволяет описать такие ранее "неудобные" для классификации архитектуры, как компьютеры с длинным командным словом, систолические массивы и целый ряд других.
Классификация Скилликорна
Классификация Скилликорна (1989) была очередным расширением классификации Флинна. Архитектура любого компьютера в классификации Скилликорна рассматривается в виде комбинации четырёх абстрактных компонентов:
процессоров команд (Instruction Processor — интерпретатор команд, может отсутствовать в системе),
процессоров данных (Data Processor — преобразователь данных),
иерархии памяти (Instruction Memory, Data Memory — память программ и данных),
переключателей (связывающих процессоры и память).
Переключатели бывают четырёх типов — «1-1» (связывают пару устройств), «n-n» (связывает каждое устройство из одного множества устройств с соответствующим ему устройством из другого множества, то есть фиксирует попарную связь), «n x n» (связь любого устройства одного множества с любым устройством другого множества). Классификация Скилликорна основывается на следующих восьми характеристиках:
Количество процессоров команд IP
Число ЗУ команд IM
Тип переключателя между IP и IM
Количество процессоров данных DP
Число ЗУ данных DM
Тип переключателя между DP и DM
Тип переключателя между IP и DP
Тип переключателя между DP и DP
Классификация Фенга
В 1972 году Фенг предложил классифицировать вычислительные систем на основе двух простых характеристик. Первая — число n бит в машинном слове, обрабатываемых параллельно при выполнении машинных инструкций. Практически во всех современных компьютерах это число совпадает с длиной машинного слова. Вторая характеристика равна числу слов m, обрабатываемых одновременно данной ВС. Немного изменив терминологию, функционирование ВС можно представить как параллельную обработку m битовых слоёв, на каждом из которых независимо преобразуются n бит. Каждую вычислительную систему можно описать парой чисел (n, m). Произведение P = n x m определяет интегральную характеристику потенциала параллельности архитектуры, которую Фенг назвал максимальной степенью параллелизма ВС.
Таким образом все КС MIMD можно разделить на 4 класса:
Разрядно-последовательные, пословно-последовательные n=m=1, т.е. в каждый момент времени такая система обрабатывает только 1 двоичный разряд.
Разрядно-параллельные последовательно-последовательные n>1, m=1.
Разрядно-последовательные, пословно-параллельные n=1, m>1 (обычно КС этого класса состоят из большого числа одноразрядных процессоров, причем каждый процессор может независимо от остальных обрабатывать свои данные).
Разрядно-параллельные, пословно параллельные n>1, m>1.
Плюс: введен единый числовой метрик для различных типов КС, с помощью которого можно сравнивать разные КС.
Минус: опираясь на данную классификацию сложно представить себе специфику той или иной КС (Не учитываются конструкторские особенности)
Классификация Хендлера
В основу классификации В.Хендлер закладывает явное описание возможностей параллельной и конвейерной обработки информации вычислительной системой. При этом он намеренно не рассматривает различные способы связи между процессорами и блоками памяти и считает, что коммуникационная сеть может быть нужным образом сконфигурирована и будет способна выдержать предполагаемую нагрузку.
Предложенная классификация базируется на различии между тремя уровнями обработки данных в процессе выполнения программ:
уровень выполнения программы - опираясь на счетчик команд и некоторые другие регистры, устройство управления (УУ) производит выборку и дешифрацию команд программы;
уровень выполнения команд - арифметико-логическое устройство компьютера (АЛУ) исполняет команду, выданную ему устройством управления;
уровень битовой обработки - все элементарные логические схемы процессора (ЭЛС) разбиваются на группы, необходимые для выполнения операций над одним двоичным разрядом.
Таким образом, подобная схема выделения уровней предполагает, что вычислительная система включает какое-то число процессоров каждый со своим устройством управления. Каждое устройство управления связано с несколькими арифметико-логическими устройствами, исполняющими одну и ту же операцию в каждый конкретный момент времени. Наконец, каждое АЛУ объединяет несколько элементарных логических схем, ассоциированных с обработкой одного двоичного разряда (число ЭЛС есть ничто иное, как длина машинного слова).
Если на какое-то время не рассматривать возможность конвейеризации, то число устройств управления k , число арифметико-логических устройств d в каждом устройстве управления и число элементарных логических схем w в каждом АЛУ составят тройку для описания данной вычислительной системы C: t(C)= (k, d, w)