Асинхронная модель вычислений над общей памятью

Сергей Борисович Арыков

Аннотация


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

Ключ. слова


асинхронная модель вычислений; язык параллельного программирования Аспект; представление алгоритмов с высокой степенью непроцедурности

Полный текст:

PDF

Литература


Андрианов А. Н., Бугеря А. Б., Ефимкин К. Н., Колударов П. И. Модульная архитектура компилятора языка Норма+. Препринты ИПМ им. М. В. Келдыша. 2011. № 064. 16 с. [A. N. Andrianov, A. B. Bugerya, K. N. Efimkin, P. I. Koludarov “Modular architecture of Norma+ language compil-er”, (in Russian). Preprinty IPM im. M. V. Keldysha, no. 064, 2011.]

Бахтин В. А., Клинов М. С., Крюков В. А., Поддерюгина Н. В., Притула М. Н., Сазанов Ю. Л. Расширение DVM-модели параллельного программирования для кластеров с гетерогенными узлами // Вестник Южно-Уральского государственного университета: серия «Математическое моделирование и программирование». 2012. № 18 (277). Выпуск 12. С. 82–92. [V. A. Bakhtin, M. S. Klinov, V. A. Kryukov, N. V. Podderyugina, M. N. Pritula, Yu. L. Sazanov. “Extension of DVM parallel programming model for clusters with heterogeneous nodes”, (in Russian), Vestnik Yuzhno-Uralskogo gosudarstvennogo universiteta: seriya «Ma-tematicheskoe modelirovanie i programmirovanie», no. 18 (277), issue 12, pp. 82-92, 2012.]

Lastovetsky A. Adaptive parallel computing on heterogeneous networks with mpC // Parallel Computing. 2002. Vol. 28. No. 10. Pp. 1369–1407. [A. Lastovetsky. Adaptive parallel computing on heterogeneous networks with mpC // Parallel Computing, vol. 28, no. 10, pp. 1369-1407, 2002.]

Kale L. V., Bhatele A. Parallel Science and Engineering Applications: The Charm++ Approach. CRC Press, 2013. 123 P. [L. V. Kale, A. Bhatele. Parallel Science and Engineering Applications: The Charm++ Approach. CRC Press, 2013.]

Chamberlain B. L., Callahan D., Zima H. P. Parallel Programmability and the Chapel Language // International Journal of High Performance Computing Applications. 2007. Vol. 21. No. 3. Pp. 291–312. [B. L. Chamberlain, D. Callahan, H. P. Zima Parallel Programmability and the Chapel Language // International Journal of High Performance Computing Applications, vol. 21, no. 3, pp. 291-312, 2007.]

Котов В. Е, Нариньяни А. С. Асинхронные вычислительные процессы над памятью // Кибернетика. 1966. № 3. С. 64–71. [V. E. Kotov, A. S. “Asynchronous computational precesses on the memory”, (in Russian), Kibernetika, no. 3, pp. 64-71, 1966.]

Вальковский В. А., Малышкин В. Э. Синтез параллельных программ и систем на вычислительных моделях. Новосибирск: Наука, 1988. 129 с. [V. A. Valkovskiy, V. E. Malyshkin. “Parallel programs and systems synthesis on the basis of computational models”, (in Russian). Novosibirsk: Nauka, 1988.]

Арыков С. Б. Асинхронная модель вычислений с управлением на основе строгого частичного порядка // Параллельные вычислительные технологии (ПаВТ’2016): труды международной научной конференции (Архангельск, 28 марта – 1 апреля 2016 г.). Челябинск: Издательский центр ЮУрГУ, 2016. С. 54–67. [S. B. Arykov. “Asynchro-nous model of computation controlled by strict partial order”, (in Russian), in Proc. of Parallelnye vychislitelnye tekhnologii (PaVT’2016), Arkhangelsk, Russia, Mar. 28 – Apr. 1, Publishing of the South Ural State University, pp. 54-67, 2016.]

Арыков С. Б. Язык и система фрагментированного параллельного программирования задач численного моделирования: Диссертация на соискание ученой степени кандидата физико-математических наук: 05.13.11 / Инсти-тут систем информатики им. А.П. Ершова СО РАН. Новосибирск, 2010. 195 с. [S. B. Arykov. Parallel fragmented pro-gramming language and system for numerical simulation tasks: PhD Thesis. A.P. Ershov Institute of Informatics Systems SB RAS, Novosibirsk, 2010.]

Арыков С. Б., Малышкин В. Э. Алгоритмы конструирования асинхронных программ заданной степени непроцедурности методом группировки // Вестн. Новосиб. гос. ун-та. Серия: Информационные технологии. 2009. Т. 7. № 1. С. 3–15. [S. B. Arykov, V. E. Malyshkin. “Algorithms of asynchronous programs construction with predefined level of non-procedurality based on grouping method”, (in Russian), Vestn. Novosib. gos. un-ta. Seriya: Informatsionnye tekhnologii, vol. 7, no. 1, pp. 3-15, 2009.]

Арыков С. Б. Асинхронное программирование численных задач // Параллельные вычислительные технологии (ПаВТ’2010): труды международной научной конференции (Уфа, 29 марта – 2 апреля 2010 г.). Челябинск: Издательский центр ЮУрГУ, 2010. С. 28–39. [S. B. Arykov. “Asynchronous programming of numerical tasks”, (in Russian), in Proc. of Parallelnye vychislitelnye tekhnologii (PaVT’2010), Ufa, Russia, March 29 – April 2, Publishing of the South Ural State University, pp. 28-39, 2010.]

Arykov S. B., Malyshkin V. E. Asynchronous Language and System of Numerical Algorithms Fragmented Programming // Proc. of the 10th International Conference on Parallel Computing Technologies (PaCT’2009), (Novosibirsk, Aug. 31-Sep. 4). Berlin: Springer-Verlag, 2009. LNCS 5698. Pp. 1–7. [S. B. Arykov, V. E. Malyshkin. Asynchronous Language and System of Numerical Algorithms Fragmented Programming, in Proc. of the 10th International Conference on Parallel Computing Technologies (PaCT’2009), Novosibirsk, Russia, Aug. 31-Sep. 4, LNCS 5698, pp. 1-7, 2009.]

Арыков С. Б. Язык программирования Аспект // Известия Томского политехнического университета. 2008. Т. 313. № 5. С. 89–92. [S. B. Arykov. “Programming Language Aspect”, (in Russian), Izvestiya Tomskogo politekhnicheskogo universiteta, vol. 313, no. 5, pp. 89-92, 2008.]

Котов В. Е. Параллельное программирование с типами управления // Кибернетика. 1979. № 3. С. 1–13. [V. E. Kotov. “Parallel programming with control types”, (in Russian), Kibernetika, no. 3, pp. 1-13, 1979.]

Воеводин В. В., Воеводин Вл. В. Параллельные вычисления. СПб.: БХВПетербург, 2002. 608 с. [V. V. Voevodin, Vl. V. Voevodin. “Parallel computing”, (in Russian). St. Petersburg: BKhVPeterburg, 2002.]

Быстров А. В., Дудоров Н. Н., Котов В. Е. О базовом языке // В кн. Языки и системы программирования. Новосибирск: ВЦ СО АН СССР, 1979. С. 85–106. [A. V. Bystrov, N. N. Dudorov, V. E. Kotov. “About the core language”, (in Russian), V kn. Yazyki i sistemy programmirovaniya. Novosibirsk: CC SB AS USSR, pp. 85-106, 1979.]

Buttari A., Langou J., Kurzak J., Dongarra J. A class of parallel tiled linear algebra algorithms for multicore architec-tures // Parallel Computing. 2009. Vol. 35. No. 1. Pp. 38–53. [A. Buttari, J. Langou, J. Kurzak, J. Dongarra. A class of parallel tiled linear algebra algorithms for multicore architectures, Parallel Computing, vol. 35, no. 1, pp. 38-53, 2009.]


Ссылки

  • Ссылки не определены.