Глоссарий: различия между версиями

Материал из Алговики
Перейти к навигации Перейти к поиску
[непроверенная версия][досмотренная версия]
 
(не показана 31 промежуточная версия 4 участников)
Строка 1: Строка 1:
 +
=== Временна́я локальность ===
 +
'''Временная локальность''' (temporal locality) показывает среднее число обращений по одному адресу в память за время исполнения всей программы.
 +
 +
 +
=== Вычислительная мощность ===
 +
'''Вычислительная мощность''' (computational power) алгоритма равна отношению числа операций к суммарному объему входных и выходных данных. Она показывает, сколько операций приходится на единицу переданных данных.
 +
 +
 +
=== Вычислительная сложность ===
 +
'''Вычислительная сложность''' (computational complexity) задачи <math>W</math> - количество основных вычислительных шагов лучшего последовательного алгоритма, необходимых для решения задачи на одном процессоре. Вычислительная сложность обычно является некоторой функцией от размера входных данных программы.
 +
 +
 +
=== Вычислительное ядро ===
 +
'''Вычислительное ядро''' (computational kernel) алгоритма - это часть алгоритма, на которую приходится основное время его работы.
 +
  
=== Временная локальность ===
 
'''Временная локальность''' показывает среднее число обращений по одному адресу в память за время исполнения всей программы.
 
 
=== Граф алгоритма ===
 
=== Граф алгоритма ===
 +
'''Граф алгоритма''' (algorithm graph) - это ориентированный ациклический мультиграф, вершины которого соответствуют операциям алгоритма, а дуги - передаче данных между ними. Вершины графа алгоритма могут соединяться несколькими дугами, в частности когда в качестве разных аргументов одной и той же операции используется одна и та же величина. Граф алгоритма почти всегда является параметризованным графом. В частности, его вид часто зависит от входных данных.
 +
 +
Граф алгоритма используется как удобное представление алгоритма при исследовании его структуры, ресурса параллелизма, а также других свойств. Его можно рассматривать как параметризованную информационную историю. Он сохраняет её информативность, при этом обладая компактностью за счёт параметризации. Разработана методика построения графа алгоритма по исходному тексту программ.
 +
 +
''См. также: [https://ru.wikipedia.org/wiki/Граф_алгоритма Граф алгоритма]''
 +
 +
=== Детерминированность ===
 +
'''Детерминированность''' (determinacy) алгоритма - постоянство структуры вычислительного процесса. Алгоритм выдаёт уникальный и предопределённый результат для заданных входных данных.
 +
 +
=== Избыточные вычисления ===
 +
'''Избыточные вычисления''' (redundant computation) - понятие, которое используют для обозначения разных явлений в параллельных вычислениях.
 +
* В понимании графовой модели вычислений это такие операции, результаты которых нигде не будут использованы. Такие операции появляются в результате ошибок программирования и подлежат удалению из алгоритма.
 +
* Распространено также понимание термина как вычисления, которые ''выполняются более одного раза'' или на более чем одном процессоре. Избыточные вычисления могут использоваться либо в многопроцессорных системах, чтобы минимизировать обмены, либо при недостаточном объеме памяти для хранения всех вычисленных значений.
 +
* Кроме этого, избыточными вычислениями можно назвать те операции, которые появляются при замене последовательного алгоритма на специальный параллельный. У последнего алгоритма больше операций, но меньше длина критического пути графа, этим и обосновывается замена алгоритма. В таком случае реальное ускорение параллельного алгоритма следует считать не в сравнении с однопроцессорной реализацией его самого, а в сравнении с реализацией последовательного алгоритма. В нашей открытой энциклопедии свойств алгоритмов именно последнее толкование термина применяется в категории [[http://algowiki-project.org/ru/%D0%9A%D0%B0%D1%82%D0%B5%D0%B3%D0%BE%D1%80%D0%B8%D1%8F:%D0%90%D0%BB%D0%B3%D0%BE%D1%80%D0%B8%D1%82%D0%BC%D1%8B_%D1%81_%D0%B8%D0%B7%D0%B1%D1%8B%D1%82%D0%BE%D1%87%D0%BD%D1%8B%D0%BC%D0%B8_%D0%B2%D1%8B%D1%87%D0%B8%D1%81%D0%BB%D0%B5%D0%BD%D0%B8%D1%8F%D0%BC%D0%B8 Алгоритмы с избыточными вычислениями]].
  
'''Граф алгоритма (ГА)''' — это ориентированный ациклический мультиграф, вершины которого соответствуют операциям алгоритма, а дуги — передаче данных между ними. Вершины ГА могут соединяться несколькими дугами, в частности когда в качестве разных аргументов одной и той же операции используется одна и та же величина. ГА почти всегда является параметризованным графом. В частности, его вид часто зависит от входных данных.
+
=== Конечный параллелизм ===
 +
'''Конечный параллелизм''' (finite parallelism) - параллелизм, определяемый информационной независимостью некоторых фрагментов в тексте программы.
  
ГА используется как удобное представление алгоритма при исследовании его структуры, ресурса параллелизма, а также других свойств. Его можно рассматривать как параметризованную информационную историю. Он сохраняет её информативность, при это обладая компактностью за счёт параметризации. Разработана методика построения ГА по исходному тексту программ.
 
  
''См. также: [https://ru.wikipedia.org/wiki/Граф_алгоритма Граф алгоритма]''
+
=== Координатный параллелизм ===
 +
'''Координатный параллелизм''' (coordinate parallelism) - частный случай [[#Скошенный паралеллизм|скошенного параллелизма]], определяемый циклами ParDO, при котором информационно независимые вершины лежат на гиперплоскостях, перпендикулярных одной из координатных осей.
 +
 
  
 
=== Локальность (обращений в память) ===
 
=== Локальность (обращений в память) ===
'''Локальность (обращений в память)''' общее предположение о свойстве работы программ с данными. Заключается в том, что при обращении к некоторым данным велика вероятность, что в скором времени произойдет повторное обращение к тем же или расположенным рядом данным. В частности, на основе данного предположения построена работа кэш-памяти. Различают локальность команд и использования данных, а также пространственную и временную локальность.
+
'''Локальность (обращений в память)''' (locality) - общее предположение о свойстве работы программ с данными. Заключается в том, что при обращении к некоторым данным велика вероятность, что в скором времени произойдет повторное обращение к тем же или расположенным рядом данным. В частности, на основе данного предположения построена работа кэш-памяти. Различают [[#Локальность команд|локальность команд]] и [[#Локальность использования данных|локальность использования данных]], а также [[#Пространственная локальность|пространственную]] и [[#Временна́я локальность|временну́ю]] локальность.
 +
 
 +
 
 +
=== Локальность вычислений ===
 +
'''Локальность вычислений''' (computation locality) - проекция идеи [[#Локальность (обращений в память)|локальности]] на конкретный класс данных в памяти - команды, из которых состоят программы.
  
=== Локальность команд ===
 
'''Локальность команд''' — проекция идеи локальности на конкретный класс данных в памяти – команды, из которых состоят программы.
 
  
 
=== Локальность использования данных ===
 
=== Локальность использования данных ===
'''Локальность использования данных''' проекция идеи локальности на конкретный класс данных в памяти все данные, с которыми оперируют программы во время выполнения.
+
'''Локальность использования данных''' (data locality) - проекция идеи [[#Локальность (обращений в память)|локальности]] на конкретный класс данных в памяти - все данные, с которыми оперируют программы во время выполнения.
 +
 
 +
 
 +
=== Массовый параллелизм ===
 +
'''Массовый параллелизм''' (mass parallelism) - параллелизм, определяемый информационной независимостью итераций циклов программы.
 +
 
 +
 
 +
=== Масштабируемость ===
 +
'''Масштабируемость''' (scalability) - способность системы увеличивать свою [[#Производительность|производительность]] при добавлении ресурсов (обычно аппаратных). Система называется масштабируемой, если она способна увеличивать производительность пропорционально дополнительным ресурсам. Масштабируемость можно оценить через отношение прироста производительности системы к приросту используемых ей ресурсов. Чем ближе это отношение к единице, тем масштабируемость лучше.
 +
 
 +
 
 +
=== Масштабируемость параллельной программы ===
 +
'''Масштабируемость параллельной программы''' (scalability of parallel program) определяется относительно конкретного компьютера и показывает, как изменяются динамические характеристики данной программы в зависимости от её [[#Параметры запуска|параметров запуска]].
 +
 
 +
Наиболее часто рассматриваемые разновидности масштабируемости параллельных программ: [[#Сильная масштабируемость|сильная масштабируемость]], [[#Масштабируемость вширь|масштабируемость вширь]], [[#Слабая масштабируемость|слабая масштабируемость]].
 +
 
 +
Если при одновременном увеличении числа процессоров <math>p</math> и [[#Вычислительная сложность|вычислительной сложности]] задачи <math>W</math> [[#Эффективность распараллеливания|эффективность распараллеливания]] <math>E</math> остаётся прежней, то данную программу на данном компьютере можно считать масштабируемой.
 +
 
 +
 
 +
=== Масштабируемость вширь ===
 +
 
 +
'''Масштабируемость вширь''' (wide scaling) - зависимость [[#Производительность|производительности]] <math>R</math> от [[#Вычислительная сложность|вычислительной сложности]] задачи <math>W</math> при фиксированном числе процессоров <math>p</math> (<math>p=const</math>).
 +
 
  
 
=== Оценка daps ===
 
=== Оценка daps ===
'''Оценка daps''' предлагаемая нами оценка производительности работы с памятью в программе, равна числу выполненных обращений в память в секунду. Построена по аналогии с распространенной оценкой производительности программ — flop/s (floating point operations per second), которая оценивает число операций с плавающей запятой в секунду. Оценка flop/s показывает производительность всей программы с точки зрения производимых вычислений; в то время как daps оценивает производительность программы с точки зрения работы с памятью.
+
'''Оценка daps''' (daps estimation) - предлагаемая оценка производительности работы с памятью в программе, равна числу выполненных обращений в память в секунду. Построена по аналогии с распространенной оценкой производительности программ — flop/s (floating point operations per second), которая оценивает число операций с плавающей запятой в секунду. Оценка flop/s показывает производительность всей программы с точки зрения производимых вычислений; в то время как daps оценивает производительность программы с точки зрения работы с памятью.
  
Данная оценка является машинно-зависимой — вычисляется на основе данных аппаратных датчиков. Служит для проверки точности результатов разрабатываемых нами машинно-независимых оценок локальности, таких как cvg.
+
Данная оценка является машинно-зависимой — она вычисляется на основе данных аппаратных датчиков. Служит для проверки точности результатов разрабатываемых нами машинно-независимых оценок локальности, таких как [[#Оценка cvg|cvg]].
  
  
 
=== Оценка cvg ===
 
=== Оценка cvg ===
'''Оценка cvg''' предлагаемая нами машинно-независимая оценка локальности обращений в памяти в программе.
+
'''Оценка cvg''' (cvg estimation) - предлагаемая машинно-независимая оценка локальности обращений в памяти в программе. Рассмотрим первые N обращений в потоке («окно»), и затем разобьем ось ординат (виртуальный адрес обращений) на отрезки длины K – [X .. X+K],  [X+K .. X+2K], …, [Y-K .. Y], где [X, Y] - диапазон выделенной под рассматриваемые массивы виртуальной памяти. Таким образом, область построения профиля делится на прямоугольники размером KxN.
 +
 
 +
Физический смысл такого прямоугольника (при правильно подобранных значениях K и N) заключается в том, что любая последовательность точек, попавших в один прямоугольник, всегда обладает хорошей как пространственной, так и временно́й локальностью. Действительно, при достаточно малом значении K в прямоугольник попадает небольшой локальный фрагмент виртуальной памяти, а, значит, соседние обращения по памяти в любом случае будут расположены близко друг относительно друга. А временна́я локальность внутри прямоугольника не может быть больше N, поэтому при достаточно малом N можно обеспечить и хорошую временну́ю локальность. Однако не имеет смысла брать слишком малые значения для K и N, поскольку в этом случае теряется полезная информация о хорошей локальности не попавшего в прямоугольник фрагмента профиля.
 +
 
 +
Выделим те прямоугольники, в которые попадает хотя бы одно обращение. Чем меньше таких прямоугольников – тем больше точек попало в одни и те же прямоугольники, тем в общем случае лучше локальность. Пример разбиения профиля на прямоугольники приведен на рис. 1. Здесь для иллюстрации выделено три «окна», в каждом по 6 точек. В первом «окне» всего 2 непустых прямоугольника и самая хорошая локальность их трех вариантов. Во втором «окне» задействованы все 4 прямоугольника, при этом в каждый попало лишь по 1-2 обращения. Третье «окно» включает 3 непустых прямоугольника, и в этом варианте локальность лучше, чем у второго «окна», но хуже, чем у первого.
 +
 
 +
[[file:cvg.png|thumb|center|500px|Рисунок 1. Пример разбиения профиля на прямоугольники]]
 +
 
 +
Теперь сдвинем «окно» на одно обращение вправо и снова определим непустые прямоугольники; и так далее для всего профиля обращений. В результате мы получим «покрытие» – последовательность непустых прямоугольников, в каждом из которых содержится хотя бы по одному обращению, т.е. по одной точке профиля.
 +
 
 +
Далее для каждого «окна» посчитаем число таких непустых прямоугольников (обозначим это число как rects), в результате чего получим последовательность положительных натуральных чисел. Затем посчитаем среднее значение для данной последовательности. Полученное значение назовем оценкой локальности на основе метода покрытий и будем обозначать cvg.
 +
 
 +
Значение K было решено выбрать равным 64 байт, поскольку это соответствует длине кэш-строки, а в пределах одной кэш-строки пространственная локальность заведомо достаточно хорошая. При этом если запрошено одно значение, то в кэш-память подтянется вся строка из 64 байт, то есть все данные, соответствующие определенному прямоугольнику.
 +
 
 +
Оптимальное значение N для разных программ может существенно отличаться, но для выполнения корректного сравнения оценка было решено выбрать единственное значение N. Было проведено сравнение результатов для различных значений N, и в результате эмпирическим путем было получено, что наилучшие результаты достигаются при N=512.
 +
 
 +
=== Параллельная сложность ===
 +
'''Параллельная сложность''' (parallel complexity) алгоритма - число шагов, за которое можно выполнить данный алгоритм в предположении доступности неограниченного числа необходимых процессоров (функциональных устройств, вычислительных узлов, ядер и т.п.). Параллельная сложность алгоритма понимается как высота канонической [[#Ярусно-параллельная форма графа алгоритма|ярусно-параллельной формы]].
 +
 
 +
 
 +
=== Параметры запуска ===
 +
'''Параметры запуска''' (startup parameters) параллельной программы - параметры, оказывающие влияние на работу параллельной программы, но не влияющие на реализацию алгоритма работы программы (например: размер задачи, число процессов, размер блока, число процессов на узел и т.п.)
 +
Параметры запуска по типу можно разделить на:
 +
# Аппаратные - относящиеся к параметрам аппаратуры.
 +
# Системные - относящиеся к операционной системе, используемым библиотекам и системным приложениям и их настройкам.
 +
# Программные - влияющие на логику работы программы или вычислительную сложность задачи, различные параметры, предусмотренные разработчиком.
 +
 
 +
 
 +
=== Пиковая производительность ===
 +
'''Пиковая производительность''' (peak performance) <math>R_{peak}</math> — теоретический предел [[#Производительность|производительности]] для данного компьютера. Пиковая производительность компьютера вычисляется как сумма пиковых производительностей всех входящих в него вычислительных устройств (процессоров, ускорителей и т.д.). Под пиковой производительностью каждого из вычислительных устройств понимают количество операций в секунду, которые он смог бы теоретически выполнять при полной загрузке всех своих компонент. Надо понимать, что пиковая производительность не только суперкомпьютера, но и, например, любого отдельно взятого процессора является величиной сугубо теоретической, недостижимой на практике.
 +
 
 +
 
 +
=== Последовательная сложность ===
 +
'''Последовательная сложность''' (serial complexity) алгоритма - число операций, которые нужно выполнить при его последовательном исполнении.
 +
 
 +
 
 
=== Пространственная локальность ===
 
=== Пространственная локальность ===
'''Пространственная локальность''' отражает среднее расстояние между несколькими последовательными обращениями в память.
+
'''Пространственная локальность''' (spatial locality) отражает среднее расстояние между несколькими последовательными обращениями в память.
 +
 
 +
 
 +
=== Производительность ===
 +
'''Производительность''' (performance) <math>R=Op/t</math> определяется количеством операций <math>Op</math>, производимых данным компьютером в единицу времени. Для высокопроизводительных вычислений в расчёт обычно берут количество арифметических операций в секунду над вещественными данными, представленными в форме с плавающей точкой. Эта величина называется Flop/s (от английского Floating point operations per second).
 +
 
 +
Поскольку современные суперкомпьютеры производят очень много таких операций в секунду, их производительность измеряется кратными величинами, такими как GFlop/s (<math>10^9</math> операций в секунду), TFlop/s (<math>10^12</math>), PFlop/s (<math>10^15</math>). Производительность мощнейших современных суперкомпьютеров уже измеряется десятками PFlop/s, активно идёт обсуждение построения систем экзафлопсного (порядка <math>10^18</math> операций в секунду) уровня производительности.
 +
 
  
 
=== Профиль обращений в память ===
 
=== Профиль обращений в память ===
 +
'''Профиль обращений в память''' (memory access profile) - последовательность выполняемых в программе обращений к данным в памяти, расположенных в том порядке, в котором обращения происходят в программе.
 +
 +
Обозначим профиль обращений A = {A<sub>1</sub>,A<sub>2</sub>,…,A<sub>N</sub>}, где N – общее число всех обращений при выполнении программы. Номер i элемента A<sub>i</sub> в профиле указывает, каким по счету является данное обращение от начала выполнения программы. Любой элемент А<sub>i</sub> будем называть элементом профиля. Запись А<sub>i</sub> означает, что данный элемент имеет i-й порядковый номер; данная запись не содержит никакой информации о том, к какой переменной в программе происходит данное обращение.
 +
 +
На данный момент рассматриваются в основном обращения к массивам, поскольку они являются самыми распространенными структурами данных. Каждое обращение представлено в профиле некоторым числом. Таким образом, профиль обращений представляет собой последовательность чисел, которыми могут являться: 1) индексы элементов массива (если профиль строится только для одного массива); 2) виртуальные адреса, к которым происходят обращения; 3) физические адреса. Естественно, в рамках одного профиля используются числа только одного типа.
 +
 +
Подобные профили обращений содержат огромное количество полезной информации о работе программы с памятью. Интересным средством анализа профилей является изучение их визуального представления. Пример визуализации профиля приведен на рис. 2. Ось абсцисс — порядковый номер обращения в память, т. е. чем больше номер, тем позже произошло данное обращение. По оси ординат отложен виртуальный адрес памяти, к которому произошло обращение. Каждая точка — это отдельное обращение в память.
 +
 +
[[file:locality_profile.png|thumb|center|500px|Рисунок 2. Визуализация профиля обращений в память]]
 +
 +
Подобные графики сами по себе могут предоставить интересную информацию о поведении программы. Выделенная на рисунке область 1 (и остальные, аналогичные ей области), скорее всего, обладает хорошей пространственной и временно́й локальностью. Хорошей пространственной — потому что используются только соседние по памяти данные; хорошей временно́й — поскольку повторные обращения к этим данным происходят часто. Область 2 также обладает хорошей пространственной локальностью, поскольку соседние обращения происходят к соседним элементам, однако плохой временно́й локальностью, поскольку повторных обращений к данным просто нет.
 +
 +
Помимо получения данных о локальности, исследование визуализации профилей обращений в память является хорошим средством для понимания и определения шаблонов обращений.
 +
 +
Подобный анализ на основе визуализации профиля обращений помогает понять общее поведение программы, однако он не может дать точной количественной информации о взаимодействии программ с памятью. Для этих целей разрабатываются оценки локальности, такие как [[#Оценка daps|daps]] и [[#Оценка cvg|cvg]].
 +
 +
 +
=== Реальная производительность ===
 +
'''Реальная производительность''' (real performance) <math>R_{max}</math> — [[#Производительность|производительность]] данного компьютера на конкретном приложении.
 +
 +
 +
=== Сильная масштабируемость ===
 +
'''Сильная масштабируемость''' (strong scaling) - зависимость [[#Производительность|производительности]] <math>R</math> от количества процессоров <math>p</math> при фиксированной [[#Вычислительная сложность|вычислительной сложности]] задачи (<math>W=const</math>).
 +
 +
 +
=== Скошенный параллелизм ===
 +
'''Скошенный параллелизм''' (skewed parallelism) - параллелизм в пространстве итераций, определяемый поверхностями уровней разверток. Ряд исследователей этим термином пользуется только для случая, когда параллелизм не является [[#Координатный паралеллизм|координатным]].
 +
 +
 +
=== Слабая масштабируемость ===
 +
'''Слабая масштабируемость''' (weak scaling) - зависимость [[#Производительность|производительности]] <math>R</math> от количества процессоров <math>p</math> при фиксированной [[#Вычислительная сложность|вычислительной сложности]] задачи в пересчёте на один процессор (<math>W/p=const</math>).
 +
 +
 +
=== Степень исхода ===
 +
'''Степень исхода''' (degree of a vertex) вершины информационного графа - количество исходящих из данной вершины информационных дуг.
 +
 +
 +
=== Суперлинейное ускорение ===
 +
'''Суперлинейное ускорение''' (super linear speedup) или '''сверхлинейное ускорение''' программы - это [[#Ускорение|ускорение]], превосходящие число используемых процессоров <math>p</math>. Чаще всего объясняется эффектом от использования кэш-памяти.
 +
 +
=== Суперскалярность ===
 +
'''Суперскалярность''' — архитектура вычислительного ядра, позволяющая загружать работой множество исполнительных блоков. Планирование исполнения команд является динамическим и осуществляется самим ядром.
 +
 +
''См. также:''
 +
* ''[https://ru.wikipedia.org/wiki/Суперскалярность Суперскалярность]''
 +
 +
=== Ускорение ===
 +
'''Ускорение''' (speedup) работы программы <math>S = T_1/T_p</math> - отношение времени работы некоторой программы на одном процессоре <math>T_1</math> ко времени работы распараллеленной программы при использовании <math>p</math> процессоров <math>T_p</math>.
 +
 +
 +
=== Устойчивость ===
 +
'''Устойчивость''' (stability) алгоритма - свойство алгоритма не увеличивать или увеличивать в незначительной степени погрешности, допущенной в начальных данных или допускаемой при вычислениях.
 +
 +
 +
=== Эквивалентное возмущение ===
 +
'''Эквивалентное возмущение''' (equivalent perturbation) алгоритма - одна из характеристик влияния ошибок округления промежуточных операций на отклонение решения, получаемого алгоритмом, от настоящего решения задачи. Выражается косвенно: влияние ошибок на ответ считается таким же, как если бы данные были заданы с ошибкой, выражаемым эквивалентным возмущением, но задача с такими данными была бы решена точно.
 +
 +
 +
=== Эквивалентное преобразование ===
 +
'''Эквивалентное преобразование''' (equivalent transformaion) программы - такое преобразование, при котором в точности сохраняется результат выполнения программы.
 +
 +
 +
=== Эффективность распараллеливания ===
 +
'''Эффективность распараллеливания''' (parallel efficiency) <math>E = S/p</math> (где <math>S</math> - полученное [[#Ускорение|ускорение]] работы программы, а <math>p</math> - число используемых процессоров) определяет среднюю долю времени выполнения параллельного алгоритма, в течение которого процессоры реально используются для решения задачи. Получение большого ускорения за счёт использования большого числа процессоров зачастую приводит к снижению эффективности.
 +
 +
Если не брать в расчёт эффект [[#Суперлинейное ускорение|суперлинейного ускорения]], то ускорение выполнения программы не превосходит числа используемых процессоров <math>p</math>, а значит, эффективность распараллеливания не превосходит единицы. Чем ближе этот показатель к единице, тем лучше для пользователя, поскольку говорит о меньшем количестве накладных расходов, а значит, о лучшем качестве распараллеливания программы.
 +
 +
 +
=== Эффективность реализации ===
 +
 +
'''Эффективность реализации''' (implementation efficiency) программы <math>R_{max}/R_{peak}</math> определяется как отношение [[#Реальная производительность|реальной производительности]] <math>R_{max}</math> к [[#Пиковая производительность|пиковой производительности]] <math>R_{peak}</math>.
 +
 +
Поскольку пиковая производительность недостижима на практике, эффективность реализации программы всегда меньше единицы. Чем ближе этот показатель к единице, тем лучше для пользователя, поскольку говорит о том, что более эффективно задействованы ресурсы компьютера.
 +
  
 
=== Ярусно-параллельная форма графа алгоритма ===
 
=== Ярусно-параллельная форма графа алгоритма ===
  
'''Ярусно-параллельная форма (ЯПФ)''' это представление графа алгоритма, в котором:
+
'''Ярусно-параллельная форма (ЯПФ)''' (parallel form) - это представление графа алгоритма, в котором:
* все вершины разбиты на перенумерованные подмножества ярусов,
+
* все вершины разбиты на перенумерованные подмножества ярусов;
* начальная вершина каждой дуги расположена на ярусе с номером меньшим, чем номер яруса конечной вершины,
+
* начальная вершина каждой дуги расположена на ярусе с номером меньшим, чем номер яруса конечной вершины;
 
* между вершинами, расположенными на одном ярусе, не может быть дуг.
 
* между вершинами, расположенными на одном ярусе, не может быть дуг.
  
Высота ЯПФ это число ярусов.
+
''Высота'' ЯПФ - это число ярусов.
Ширина яруса число вершин, расположенных на ярусе.
+
Ширина яруса - число вершин, расположенных на ярусе.
Ширина ЯПФ это максимальная ширина ярусов в ЯПФ.
+
''Ширина'' ЯПФ - это максимальная ширина ярусов в ЯПФ.
Высота ЯПФ ∼ сложность параллельной реализации алгоритма/программы.
 
  
'''Канонической ярусно-параллельной формой''' называется ЯПФ, высота которой равна длине критического пути + 1, а все входные вершины расположены на первом ярусе. Для заданного графа его каноническая ЯПФ единственна.
+
'''Канонической ярусно-параллельной формой''' называется ЯПФ, высота которой на единицу больше длины критического пути, а все входные вершины расположены на первом ярусе. Для заданного графа его каноническая ЯПФ единственна. Высота канонической ЯПФ соответствует [[#Параллельная сложность|параллельной сложности]] алгоритма.
  
 
''См. также:''
 
''См. также:''
 
* ''[https://ru.wikipedia.org/wiki/Ярусно-параллельная_форма_графа Ярусно-параллельная форма графа]''
 
* ''[https://ru.wikipedia.org/wiki/Ярусно-параллельная_форма_графа Ярусно-параллельная форма графа]''
 
* ''[https://ru.wikipedia.org/wiki/Критический_путь_графа Критический путь графа]''
 
* ''[https://ru.wikipedia.org/wiki/Критический_путь_графа Критический путь графа]''
 +
 +
[[En:Glossary]]
 +
 +
[[Категория:Статьи в работе]]
 +
[[Категория:Algowiki:Справка]]

Текущая версия на 12:54, 7 февраля 2017

Содержание

1 Временна́я локальность

Временная локальность (temporal locality) показывает среднее число обращений по одному адресу в память за время исполнения всей программы.


2 Вычислительная мощность

Вычислительная мощность (computational power) алгоритма равна отношению числа операций к суммарному объему входных и выходных данных. Она показывает, сколько операций приходится на единицу переданных данных.


3 Вычислительная сложность

Вычислительная сложность (computational complexity) задачи [math]W[/math] - количество основных вычислительных шагов лучшего последовательного алгоритма, необходимых для решения задачи на одном процессоре. Вычислительная сложность обычно является некоторой функцией от размера входных данных программы.


4 Вычислительное ядро

Вычислительное ядро (computational kernel) алгоритма - это часть алгоритма, на которую приходится основное время его работы.


5 Граф алгоритма

Граф алгоритма (algorithm graph) - это ориентированный ациклический мультиграф, вершины которого соответствуют операциям алгоритма, а дуги - передаче данных между ними. Вершины графа алгоритма могут соединяться несколькими дугами, в частности когда в качестве разных аргументов одной и той же операции используется одна и та же величина. Граф алгоритма почти всегда является параметризованным графом. В частности, его вид часто зависит от входных данных.

Граф алгоритма используется как удобное представление алгоритма при исследовании его структуры, ресурса параллелизма, а также других свойств. Его можно рассматривать как параметризованную информационную историю. Он сохраняет её информативность, при этом обладая компактностью за счёт параметризации. Разработана методика построения графа алгоритма по исходному тексту программ.

См. также: Граф алгоритма

6 Детерминированность

Детерминированность (determinacy) алгоритма - постоянство структуры вычислительного процесса. Алгоритм выдаёт уникальный и предопределённый результат для заданных входных данных.

7 Избыточные вычисления

Избыточные вычисления (redundant computation) - понятие, которое используют для обозначения разных явлений в параллельных вычислениях.

  • В понимании графовой модели вычислений это такие операции, результаты которых нигде не будут использованы. Такие операции появляются в результате ошибок программирования и подлежат удалению из алгоритма.
  • Распространено также понимание термина как вычисления, которые выполняются более одного раза или на более чем одном процессоре. Избыточные вычисления могут использоваться либо в многопроцессорных системах, чтобы минимизировать обмены, либо при недостаточном объеме памяти для хранения всех вычисленных значений.
  • Кроме этого, избыточными вычислениями можно назвать те операции, которые появляются при замене последовательного алгоритма на специальный параллельный. У последнего алгоритма больше операций, но меньше длина критического пути графа, этим и обосновывается замена алгоритма. В таком случае реальное ускорение параллельного алгоритма следует считать не в сравнении с однопроцессорной реализацией его самого, а в сравнении с реализацией последовательного алгоритма. В нашей открытой энциклопедии свойств алгоритмов именно последнее толкование термина применяется в категории [Алгоритмы с избыточными вычислениями].

8 Конечный параллелизм

Конечный параллелизм (finite parallelism) - параллелизм, определяемый информационной независимостью некоторых фрагментов в тексте программы.


9 Координатный параллелизм

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


10 Локальность (обращений в память)

Локальность (обращений в память) (locality) - общее предположение о свойстве работы программ с данными. Заключается в том, что при обращении к некоторым данным велика вероятность, что в скором времени произойдет повторное обращение к тем же или расположенным рядом данным. В частности, на основе данного предположения построена работа кэш-памяти. Различают локальность команд и локальность использования данных, а также пространственную и временну́ю локальность.


11 Локальность вычислений

Локальность вычислений (computation locality) - проекция идеи локальности на конкретный класс данных в памяти - команды, из которых состоят программы.


12 Локальность использования данных

Локальность использования данных (data locality) - проекция идеи локальности на конкретный класс данных в памяти - все данные, с которыми оперируют программы во время выполнения.


13 Массовый параллелизм

Массовый параллелизм (mass parallelism) - параллелизм, определяемый информационной независимостью итераций циклов программы.


14 Масштабируемость

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


15 Масштабируемость параллельной программы

Масштабируемость параллельной программы (scalability of parallel program) определяется относительно конкретного компьютера и показывает, как изменяются динамические характеристики данной программы в зависимости от её параметров запуска.

Наиболее часто рассматриваемые разновидности масштабируемости параллельных программ: сильная масштабируемость, масштабируемость вширь, слабая масштабируемость.

Если при одновременном увеличении числа процессоров [math]p[/math] и вычислительной сложности задачи [math]W[/math] эффективность распараллеливания [math]E[/math] остаётся прежней, то данную программу на данном компьютере можно считать масштабируемой.


16 Масштабируемость вширь

Масштабируемость вширь (wide scaling) - зависимость производительности [math]R[/math] от вычислительной сложности задачи [math]W[/math] при фиксированном числе процессоров [math]p[/math] ([math]p=const[/math]).


17 Оценка daps

Оценка daps (daps estimation) - предлагаемая оценка производительности работы с памятью в программе, равна числу выполненных обращений в память в секунду. Построена по аналогии с распространенной оценкой производительности программ — flop/s (floating point operations per second), которая оценивает число операций с плавающей запятой в секунду. Оценка flop/s показывает производительность всей программы с точки зрения производимых вычислений; в то время как daps оценивает производительность программы с точки зрения работы с памятью.

Данная оценка является машинно-зависимой — она вычисляется на основе данных аппаратных датчиков. Служит для проверки точности результатов разрабатываемых нами машинно-независимых оценок локальности, таких как cvg.


18 Оценка cvg

Оценка cvg (cvg estimation) - предлагаемая машинно-независимая оценка локальности обращений в памяти в программе. Рассмотрим первые N обращений в потоке («окно»), и затем разобьем ось ординат (виртуальный адрес обращений) на отрезки длины K – [X .. X+K], [X+K .. X+2K], …, [Y-K .. Y], где [X, Y] - диапазон выделенной под рассматриваемые массивы виртуальной памяти. Таким образом, область построения профиля делится на прямоугольники размером KxN.

Физический смысл такого прямоугольника (при правильно подобранных значениях K и N) заключается в том, что любая последовательность точек, попавших в один прямоугольник, всегда обладает хорошей как пространственной, так и временно́й локальностью. Действительно, при достаточно малом значении K в прямоугольник попадает небольшой локальный фрагмент виртуальной памяти, а, значит, соседние обращения по памяти в любом случае будут расположены близко друг относительно друга. А временна́я локальность внутри прямоугольника не может быть больше N, поэтому при достаточно малом N можно обеспечить и хорошую временну́ю локальность. Однако не имеет смысла брать слишком малые значения для K и N, поскольку в этом случае теряется полезная информация о хорошей локальности не попавшего в прямоугольник фрагмента профиля.

Выделим те прямоугольники, в которые попадает хотя бы одно обращение. Чем меньше таких прямоугольников – тем больше точек попало в одни и те же прямоугольники, тем в общем случае лучше локальность. Пример разбиения профиля на прямоугольники приведен на рис. 1. Здесь для иллюстрации выделено три «окна», в каждом по 6 точек. В первом «окне» всего 2 непустых прямоугольника и самая хорошая локальность их трех вариантов. Во втором «окне» задействованы все 4 прямоугольника, при этом в каждый попало лишь по 1-2 обращения. Третье «окно» включает 3 непустых прямоугольника, и в этом варианте локальность лучше, чем у второго «окна», но хуже, чем у первого.

Рисунок 1. Пример разбиения профиля на прямоугольники

Теперь сдвинем «окно» на одно обращение вправо и снова определим непустые прямоугольники; и так далее для всего профиля обращений. В результате мы получим «покрытие» – последовательность непустых прямоугольников, в каждом из которых содержится хотя бы по одному обращению, т.е. по одной точке профиля.

Далее для каждого «окна» посчитаем число таких непустых прямоугольников (обозначим это число как rects), в результате чего получим последовательность положительных натуральных чисел. Затем посчитаем среднее значение для данной последовательности. Полученное значение назовем оценкой локальности на основе метода покрытий и будем обозначать cvg.

Значение K было решено выбрать равным 64 байт, поскольку это соответствует длине кэш-строки, а в пределах одной кэш-строки пространственная локальность заведомо достаточно хорошая. При этом если запрошено одно значение, то в кэш-память подтянется вся строка из 64 байт, то есть все данные, соответствующие определенному прямоугольнику.

Оптимальное значение N для разных программ может существенно отличаться, но для выполнения корректного сравнения оценка было решено выбрать единственное значение N. Было проведено сравнение результатов для различных значений N, и в результате эмпирическим путем было получено, что наилучшие результаты достигаются при N=512.

19 Параллельная сложность

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


20 Параметры запуска

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

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


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

Пиковая производительность (peak performance) [math]R_{peak}[/math] — теоретический предел производительности для данного компьютера. Пиковая производительность компьютера вычисляется как сумма пиковых производительностей всех входящих в него вычислительных устройств (процессоров, ускорителей и т.д.). Под пиковой производительностью каждого из вычислительных устройств понимают количество операций в секунду, которые он смог бы теоретически выполнять при полной загрузке всех своих компонент. Надо понимать, что пиковая производительность не только суперкомпьютера, но и, например, любого отдельно взятого процессора является величиной сугубо теоретической, недостижимой на практике.


22 Последовательная сложность

Последовательная сложность (serial complexity) алгоритма - число операций, которые нужно выполнить при его последовательном исполнении.


23 Пространственная локальность

Пространственная локальность (spatial locality) отражает среднее расстояние между несколькими последовательными обращениями в память.


24 Производительность

Производительность (performance) [math]R=Op/t[/math] определяется количеством операций [math]Op[/math], производимых данным компьютером в единицу времени. Для высокопроизводительных вычислений в расчёт обычно берут количество арифметических операций в секунду над вещественными данными, представленными в форме с плавающей точкой. Эта величина называется Flop/s (от английского Floating point operations per second).

Поскольку современные суперкомпьютеры производят очень много таких операций в секунду, их производительность измеряется кратными величинами, такими как GFlop/s ([math]10^9[/math] операций в секунду), TFlop/s ([math]10^12[/math]), PFlop/s ([math]10^15[/math]). Производительность мощнейших современных суперкомпьютеров уже измеряется десятками PFlop/s, активно идёт обсуждение построения систем экзафлопсного (порядка [math]10^18[/math] операций в секунду) уровня производительности.


25 Профиль обращений в память

Профиль обращений в память (memory access profile) - последовательность выполняемых в программе обращений к данным в памяти, расположенных в том порядке, в котором обращения происходят в программе.

Обозначим профиль обращений A = {A1,A2,…,AN}, где N – общее число всех обращений при выполнении программы. Номер i элемента Ai в профиле указывает, каким по счету является данное обращение от начала выполнения программы. Любой элемент Аi будем называть элементом профиля. Запись Аi означает, что данный элемент имеет i-й порядковый номер; данная запись не содержит никакой информации о том, к какой переменной в программе происходит данное обращение.

На данный момент рассматриваются в основном обращения к массивам, поскольку они являются самыми распространенными структурами данных. Каждое обращение представлено в профиле некоторым числом. Таким образом, профиль обращений представляет собой последовательность чисел, которыми могут являться: 1) индексы элементов массива (если профиль строится только для одного массива); 2) виртуальные адреса, к которым происходят обращения; 3) физические адреса. Естественно, в рамках одного профиля используются числа только одного типа.

Подобные профили обращений содержат огромное количество полезной информации о работе программы с памятью. Интересным средством анализа профилей является изучение их визуального представления. Пример визуализации профиля приведен на рис. 2. Ось абсцисс — порядковый номер обращения в память, т. е. чем больше номер, тем позже произошло данное обращение. По оси ординат отложен виртуальный адрес памяти, к которому произошло обращение. Каждая точка — это отдельное обращение в память.

Рисунок 2. Визуализация профиля обращений в память

Подобные графики сами по себе могут предоставить интересную информацию о поведении программы. Выделенная на рисунке область 1 (и остальные, аналогичные ей области), скорее всего, обладает хорошей пространственной и временно́й локальностью. Хорошей пространственной — потому что используются только соседние по памяти данные; хорошей временно́й — поскольку повторные обращения к этим данным происходят часто. Область 2 также обладает хорошей пространственной локальностью, поскольку соседние обращения происходят к соседним элементам, однако плохой временно́й локальностью, поскольку повторных обращений к данным просто нет.

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

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


26 Реальная производительность

Реальная производительность (real performance) [math]R_{max}[/math]производительность данного компьютера на конкретном приложении.


27 Сильная масштабируемость

Сильная масштабируемость (strong scaling) - зависимость производительности [math]R[/math] от количества процессоров [math]p[/math] при фиксированной вычислительной сложности задачи ([math]W=const[/math]).


28 Скошенный параллелизм

Скошенный параллелизм (skewed parallelism) - параллелизм в пространстве итераций, определяемый поверхностями уровней разверток. Ряд исследователей этим термином пользуется только для случая, когда параллелизм не является координатным.


29 Слабая масштабируемость

Слабая масштабируемость (weak scaling) - зависимость производительности [math]R[/math] от количества процессоров [math]p[/math] при фиксированной вычислительной сложности задачи в пересчёте на один процессор ([math]W/p=const[/math]).


30 Степень исхода

Степень исхода (degree of a vertex) вершины информационного графа - количество исходящих из данной вершины информационных дуг.


31 Суперлинейное ускорение

Суперлинейное ускорение (super linear speedup) или сверхлинейное ускорение программы - это ускорение, превосходящие число используемых процессоров [math]p[/math]. Чаще всего объясняется эффектом от использования кэш-памяти.

32 Суперскалярность

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

См. также:

33 Ускорение

Ускорение (speedup) работы программы [math]S = T_1/T_p[/math] - отношение времени работы некоторой программы на одном процессоре [math]T_1[/math] ко времени работы распараллеленной программы при использовании [math]p[/math] процессоров [math]T_p[/math].


34 Устойчивость

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


35 Эквивалентное возмущение

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


36 Эквивалентное преобразование

Эквивалентное преобразование (equivalent transformaion) программы - такое преобразование, при котором в точности сохраняется результат выполнения программы.


37 Эффективность распараллеливания

Эффективность распараллеливания (parallel efficiency) [math]E = S/p[/math] (где [math]S[/math] - полученное ускорение работы программы, а [math]p[/math] - число используемых процессоров) определяет среднюю долю времени выполнения параллельного алгоритма, в течение которого процессоры реально используются для решения задачи. Получение большого ускорения за счёт использования большого числа процессоров зачастую приводит к снижению эффективности.

Если не брать в расчёт эффект суперлинейного ускорения, то ускорение выполнения программы не превосходит числа используемых процессоров [math]p[/math], а значит, эффективность распараллеливания не превосходит единицы. Чем ближе этот показатель к единице, тем лучше для пользователя, поскольку говорит о меньшем количестве накладных расходов, а значит, о лучшем качестве распараллеливания программы.


38 Эффективность реализации

Эффективность реализации (implementation efficiency) программы [math]R_{max}/R_{peak}[/math] определяется как отношение реальной производительности [math]R_{max}[/math] к пиковой производительности [math]R_{peak}[/math].

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


39 Ярусно-параллельная форма графа алгоритма

Ярусно-параллельная форма (ЯПФ) (parallel form) - это представление графа алгоритма, в котором:

  • все вершины разбиты на перенумерованные подмножества ярусов;
  • начальная вершина каждой дуги расположена на ярусе с номером меньшим, чем номер яруса конечной вершины;
  • между вершинами, расположенными на одном ярусе, не может быть дуг.

Высота ЯПФ - это число ярусов. Ширина яруса - число вершин, расположенных на ярусе. Ширина ЯПФ - это максимальная ширина ярусов в ЯПФ.

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

См. также: