О проекте

Материал из Алговики
Перейти к навигации Перейти к поиску

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


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

Увы, но нет никаких оснований надеяться, что ситуация в будущем изменится к лучшему. Уже сейчас рассматриваются перспективные варианты архитектур, где будут использованы легкие и/или тяжелые вычислительные ядра, ускорители разного типа, идеи SIMD и data-flow обработки. В такой ситуации, для полного использования потенциала будущих компьютеров нужно будет опять переписывать код. Бесконечный процесс, который оптимизма у разработчиков программного обеспечения не вызывает.

Но ситуация, все же, не столь безнадежна. Да, появление новых вычислительных систем вызывает необходимость пересмотра алгоритмического багажа. Однако сами алгоритмы при этом, как правило, остаются неизменными: меняются лишь требования, которые новые компьютеры предъявляют к структуре алгоритмов и программ. Для поддержки векторизации необходим параллелизм по данным в самых внутренних циклах программы. Для векторно-параллельных машин дополнительно к этому необходим небольшой ресурс параллелизма на верхнем уровне циклического профиля для использования нескольких независимых процессоров. Для эффективного использования массивно-параллельных компьютеров предмет основной заботы – это поиск такого представления алгоритма, при котором большое число вычислительных узлов могло бы долго работать независимо друг от друга, сведя обмен данными к минимуму. И так для каждого поколения параллельных вычислительных систем: архитектура компьютеров заставляет по-новому взглянуть на свойства существующих алгоритмов, чтобы найти эффективный способ реализации.

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

Идея глубокого априорного анализа свойств алгоритмов и их реализаций легла в основу проекта AlgoWiki, начатого в НИВЦ МГУ. Основная задача проекта – составить такое описание фундаментальных свойств алгоритмов, которое даст полное понимание как их теоретического потенциала, так и особенностей их реализации на различных классах параллельных вычислительных систем. Описание всех алгоритмов в AlgoWiki строится из двух частей. В первой части описываются собственно алгоритмы и их свойства. Вторая часть посвящена описанию особенностей их программной реализации с учетом конкретных программно-аппаратных платформ. Такое деление на две части сделано для того, чтобы машинно-независимые свойства алгоритмов, определяющие их потенциал и качество реализации на параллельных вычислительных системах, были бы выделены и описаны отдельно от множества вопросов, связанных с последующими этапами программирования алгоритмов и исполнения результирующих программ.

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

В AlgoWiki очень важны детали. Классические базовые алгоритмы должны быть дополнены важными на практике модификациями. В некоторых случаях для описания модификаций достаточно одного небольшого комментария со ссылкой на базовый вариант алгоритма, поясняющего идею его модификации и получаемый эффект. Иногда же изменения алгоритма значительны и требуют полноценного самостоятельного описания. Так в AlgoWiki есть описание базового точечного вещественного варианта разложения Холецкого для плотной симметричной положительно-определенной матрицы. Но на практике не менее важны модификации алгоритма: блочный вариант, вариант для плотной комплексно-симметричной матрицы (как точечный, так и блочный), варианты алгоритма для разреженных матриц, важны соображения относительно использования разложения Холецкого в итерационных методах и т.д.

Точно также важны и детали, касающиеся особенностей реализации алгоритмов на конкретных параллельных вычислительных платформах: многоядерных процессорах, SMP, кластерах, разного рода ускорителях, с использованием векторной обработки. Во многих случаях нужно спускаться еще на уровень ниже, описывая особенности реализации алгоритма не просто для ускорителя, а выделяя отдельно важные частные случаи, например, GPU и Xeon Phi. Полезными являются и данные вычислительных экспериментов на похожих платформах, различающихся, например, разными объемами кэш-памяти, деталями реализации векторной обработки или латентностью коммуникационной сети. При этом, приводя данные о времени выполнения, эффективности и масштабируемости, мы не только даем некоторые ориентиры возможного качества реализации алгоритма на конкретном компьютере, но и формируем базу для сравнительного анализа различных компьютерных платформ на алгоритмах, представленных в AlgoWiki.

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

Работа поддержана грантом Российского научного фонда (проект N14-11-00190).

Основные публикации по проекту

  • Теплов А.М. Об одном подходе к сравнению масштабируемости параллельных программ // Вычислительные методы и программирование: Новые вычислительные технологии (Электронный научный журнал). Том 15, выпуск 4, 2014. С. 697-711. http://num-meth.srcc.msu.ru/zhurnal/tom_2014/pdf/v15r161.pdf
  • Вл.В.Воеводин "Открытая энциклопедия свойств алгоритмов AlgoWiki: от мобильных платформ до экзафлопсных суперкомпьютерных систем" // Вычислительные методы и программирование: Новые вычислительные технологии (Электронный научный журнал). Том 16, раздел 1, 2015. С. 99-111. http://num-meth.srcc.msu.ru/zhurnal/tom_2015/pdf/v16r111.pdf
  • А.С.Антонов, Вад.В.Воеводин, Вл.В.Воеводин, А.М.Теплов, А.В.Фролов. Первая версия Открытой энциклопедии свойств алгоритмов // Вестник УГАТУ. Серия управление, вычислительная техника и информатика. Том 19, N 2(68), 2015. С. 150-159. http://journal.ugatu.ac.ru/index.php/vestnik/article/view/1460
  • А.В.Фролов, Вад.В.Воеводин, И.Н.Коньшин, А.М.Теплов. Исследование структурных свойств алгоритма разложения Холецкого: от давно известных фактов до новых выводов // Параллельные вычислительные технологии (ПаВТ'2015): труды международной научной конференции (31 марта - 2 апреля 2015 г., г. Екатеринбург). Челябинск: Издательский центр ЮУрГУ, 2015. С. 320-331. http://omega.sp.susu.ac.ru/books/conference/PaVT2015/full/058.pdf
  • V.Voevodin, A.Antonov, J.Dongarra. AlgoWiki: an Open Encyclopedia of Parallel Algorithmic Features // Supercomputing Frontiers and Innovations, Vol.2, No.1 (2015). Pp.4-18. http://superfri.org/superfri/article/view/69
  • Антонов А.С., Теплов А.М. Анализ масштабируемости параллельных программ на основе технологий суперкомпьютерного кодизайна // Вычислительные технологии в естественных науках. Методы суперкомпьютерного моделирования. Часть 2. 2015. С. 18-28. (http://www.iki.rssi.ru/books/2015supercomp2.pdf)
  • Alexander Antonov, Vadim Voevodin, Vladimir Voevodin, Alexey Teplov. A Study of the Dynamic Characteristics of Software Implementation as an Essential Part for a Universal Description of Algorithm Properties // 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing Proceedings, 17th-19th February 2016. Pp.359-363.
  • А.В.Фролов, А.С.Антонов, Вл.В.Воеводин, А.М.Теплов. Сопоставление разных методов решения одной задачи по методике проекта Algowiki // Параллельные вычислительные технологии (ПаВТ2016): труды международной научной конференции (г. Архангельск, 28 марта 1 апреля 2016 г.). Челябинск: Издательский центр ЮУрГУ, 2016. С. 347-360.
  • Alexander Antonov, Alexey Frolov, Hiroaki Kobayashi, Igor Konshin, Alexey Teplov, Vadim Voevodin, Vladimir Voevodin. Parallel Processing Model for Cholesky Decomposition Algorithm in AlgoWiki Project // Supercomputing Frontiers and Innovations, Vol.3, No.3 (2016). Pp.61-70. DOI: 10.14529/jsfi160307 (http://superfri.org/superfri/article/view/110)
  • Vladimir Voevodin, Alexander Antonov, Jack Dongarra. Why is it hard to describe properties of algorithms? // Procedia Computer Science, Vol. 101 (2016). Pp. 4-7. DOI: 10.1016/j.procs.2016.11.002
  • Alexander Antonov, Alexey Teplov. Generalized Approach to Scalability Analysis of Parallel Applications // Lecture Notes in Computer Science. Vol.10049. Pp. 291-304. DOI: 10.1007/978-3-319-49956-7_23
  • Alexander S. Antonov, Nikita I. Volkov. An AlgoView Web-visualization System for the AlgoWiki Project // Communications in Computer and Information Science. Springer International Publishing AG. Vol.753. Pp. 3-13. DOI: 10.1007/978-3-319-67035-5_1 (https://link.springer.com/content/pdf/10.1007%2F978-3-319-67035-5_1.pdf)