malyshkin_ve_korneev_vd_-_parallelnoe_programmirovanie_multikompyuterov

∙когерентность данных – это идентичность данных кэш-памятей с данными основной памяти.

∙компьютеры с полным набором команд – это компьютеры, которые характеризуются большим числом машинных команд и методов адресации,

∙ компьютеры с сокращенным набором команд –

это компьютеры c большим регистровым

файлом, и небольшим набором команд (не более

128), Большинство команда выполняется за один машинный такт. Все команды реализуются аппаратно, имеют фиксированную длину,

фиксированный формат (трехадресный) и

428

простые методы адресации. Для доступа к памяти введены две специальные команды обращения к памяти: загрузка (load) и запись

(store). Более того, все операции, кроме загрузки

и записи, имеют тип «регистр-регистр».

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

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

∙ конкатенация (произведение) слов - если s1 и s2

- слова, то слово s1s2 называется конкатенацией

слов s1 и s2.

∙кэш-память – это быстрая статическая память небольшого размера, содержит копии команд и данных из оперативной памяти.

429

∙латентность канала связи — время самого простого взаимодействия (обычно это передача одного машинного слова (2 байта) между узлами).

∙латентность конвейера – время выполнения

первой команды.

∙массовость алгоритма - начальная система величин может выбираться из некоторого потенциально бесконечного множества.

∙многоядерный процессор – это процессор c

несколькими процессорными ядрами в одном или нескольких кристаллах.

∙МОП – модель с общей памятью.

∙МПС – модель передачи сообщений.

∙МПД – модель параллелизма по данным.

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

430

случае, процессорный узел мультикомпьютера в

свою очередь может быть монопроцессором,

мультипроцессором или мультикомпьютером.

∙мультимедийные команды – это команды параллельной обработки данных в режиме

«одна команда, много данных».

∙мультипроцессор - несколько процессорных узлов над общей разделяемой памятью.

∙направленность алгоритма - если способ получения последующей величины из какой-

нибудь заданной величины не дает результата,

то должно быть указано, что надо считать результатом алгоритма.

∙непроцедурность - свойство представления алгоритма, характеризующее множество реализаций алгоритма.

∙операторы - схемы конструирования новых функций

431

∙оператор минимизации - третий из трех операторов конструирования новых вычислимых функций из простейших.

∙оператор примитивной рекурсии - второй из трех операторов конструирования новых вычислимых функций из простейших.

∙оператор суперпозиции (подстановка) - первый из трех операторов конструирования новых вычислимых функций из простейших.

∙операция a - преобразователь, вычисляющий функцию fα, значение которой есть результат выполнения преобразования (выполнение операции) a.

∙параллельное представление алгоритма A -

множество всех реализаций A содержит более одного элемента.

∙пиковая производительность процессора

432

функциональными устройствами компьютера.

∙последовательная программа - программа для монопроцессора.

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

переменные)- изображают переменные

∙предотвращение дедлоков - планирование ресурсов, при котором дедлок не может возникнуть.

∙предсказание перехода – это техника,

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

∙представление алгоритма - набор S=(X, F, C, M),

где X={x, y,...,z} - конечное множество

433

переменных, F = {a, b, ... , c } - конечное

множество операций, C- управление, M -

распределение ресурсов.

∙преодоление дедлоков – управление ресурсами,

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

∙пропускная способность или полоса пропускания канала связи – скорость передачи единицы информации в единицу времени (Мбайт/сек).

∙простейшие рекурсивные функции (вычислимы по определению): а).функция следования s(x)= x+1; б).нулевая функция o(x)= 0; в).функции выбора Imn(x1, x2, ... , xn)= xm, m < n

∙процесс (последовательный процесс) -

исполняющаяся программа (программа процесса) со своими входными данными. Одна и та же программа с разными входными данными определяет разные процессы.

434

∙процессор с длинным командным словом – это процессор, в котором параллельная обработка указывается явно в специально отведенных полях команды. Выявление одновременно выполняемых команд обеспечивает компилятор.

∙прямое управление - ограничения управления, не попавшие в потоковые, связаны обычно с распределением ресурсов и оптимизацией выполнения программ

∙разделяемый ресурс - ресурс, который одновременно могут использовать несколько процессов

∙распределение ресурсов мультикомпьютера -

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

∙реализация алгоритма A, представленного в форме S - это выполнение операций алгоритма в

435

некотором произвольном допустимом порядке,

который не противоречит управлению C.

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

∙сеть Петри - двудольный ориентированный граф специального вида для описания поведения системы параллельно протекающих и взаимодействующих процессов.

∙состояние дедлока - возникает в системе процессов, когда запросы ресурсов в системе не могут быть удовлетворены и система останавливается

∙спекулятивное исполнение команд— это исполнение команд выбранной ветви до завершения проверки условия перехода.

436

∙суперскалярный процессор — это процессор, в

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

∙статические сети – это сети, которые имеют жестко зафиксированные соединения.

∙тезис Черча – утверждение о том, что класс всех вычислимых функций совпадает с классом частично рекурсивных функций.

∙термы (функциональные термы) - слова особого вида, записанные в функциональном алфавите.

∙управление - множество ограничений на порядок выполнения операций

функции.

∙частично рекурсивная функция – функция,

построенная конечным числом применений операторов суперпозиции, примитивной рекурсии и минимизации.

437