Підходи до формалізації проектування застосувань в технології GPGPU
We justify the necessity of providing formalized methods for designing GPGPU algorithms, implementing them in software, and studying the fine structure of programs for massively parallel systems that contain video cards. Four approaches for designing applications for GPGPU technology were considered...
Saved in:
| Date: | 2014 |
|---|---|
| Main Authors: | , , |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
The National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute"
2014
|
| Online Access: | http://journal.iasa.kpi.ua/article/view/37424 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | System research and information technologies |
Institution
System research and information technologies| _version_ | 1856543100940320768 |
|---|---|
| author | Pogorilyy, S. D. Vereshchynsky, O. A. Vitel, D. Yu. |
| author_facet | Pogorilyy, S. D. Vereshchynsky, O. A. Vitel, D. Yu. |
| author_sort | Pogorilyy, S. D. |
| baseUrl_str | |
| collection | OJS |
| datestamp_date | 2018-03-30T15:22:02Z |
| description | We justify the necessity of providing formalized methods for designing GPGPU algorithms, implementing them in software, and studying the fine structure of programs for massively parallel systems that contain video cards. Four approaches for designing applications for GPGPU technology were considered: the algebra-algorithmic; using colored Petri nets; using object-oriented programming patterns; and using functional programming methods. We analyze the advantages of Glushkov’s modified system of algorithmic algebras (SAA-M) and the real time process algebra (RTPA) in GPGPU-application developing process. Modifications of common object-oriented patterns were developed taking into account GPU features. Another approach is a declarative way of building GPU-computations based on MapReduce pattern and functional programming languages. Recommendations were given for practical use of these approaches. |
| first_indexed | 2025-07-17T10:18:26Z |
| format | Article |
| id | journaliasakpiua-article-37424 |
| institution | System research and information technologies |
| language | Ukrainian |
| last_indexed | 2025-07-17T10:18:26Z |
| publishDate | 2014 |
| publisher | The National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute" |
| record_format | ojs |
| spelling | journaliasakpiua-article-374242018-03-30T15:22:02Z Approaches to the formalization of the application design in GPGPU technology Подходы к формализации проектирования приложений в технологии GPGPU Підходи до формалізації проектування застосувань в технології GPGPU Pogorilyy, S. D. Vereshchynsky, O. A. Vitel, D. Yu. We justify the necessity of providing formalized methods for designing GPGPU algorithms, implementing them in software, and studying the fine structure of programs for massively parallel systems that contain video cards. Four approaches for designing applications for GPGPU technology were considered: the algebra-algorithmic; using colored Petri nets; using object-oriented programming patterns; and using functional programming methods. We analyze the advantages of Glushkov’s modified system of algorithmic algebras (SAA-M) and the real time process algebra (RTPA) in GPGPU-application developing process. Modifications of common object-oriented patterns were developed taking into account GPU features. Another approach is a declarative way of building GPU-computations based on MapReduce pattern and functional programming languages. Recommendations were given for practical use of these approaches. Обоснована необходимость создания формализованных методов проектирования алгоритмов, их программных реализаций и исследования тонкой информационной структуры программ для систем с массовым параллелизмом, которые содержат видеоадаптеры. Предложено и обосновано использование четырех подходов к формализации проектирования приложений технологии GPGPU: алгеброалгоритмического; с использованием цветных сетей Петри; с использованием объектно-ориентированных шаблонов программирования; с использованием, распространенных методов функционального программирования. Проведен анализ преимуществ использования модифицированной системы алгоритмических алгебр Глушкова (САА-М) и алгебры реального времени (RTPA) в разработке GPGPU-приложений. Разработано модификации распространенных шаблонов объектно-ориентированного программирования с учетом особенностей роботы видеоадаптера. Предложен декларативный способ построения GPU-вычисления на основе шаблона MapReduce и функциональных языков программирования. Дана рекомендация относительно практического использования указанных подходов. Обґрунтовано необхідність створення формалізованих методів проектування алгоритмів, їх програмних реалізацій та дослідження тонкої інформаційної структури програм для систем з масовим паралелізмом, які містять відеоадаптери. Запропоновано та обґрунтовано застосування чотирьох підходів до формалізації проектування застосувань у технології GPGPU: алгеброалгоритмічного, з використанням кольорових мереж Петрі, з використанням об’єктно-орієнтованих шаблонів програмування та з використанням поширених методів функціонального програмування. Проаналізовано переваги застосування модифікованої системи алгоритмічних ал-гебр Глушкова (САА-М) та алгебри реального часу (RTPA) до розробки GPGPU-застосувань. Розроблено модифікації поширених шаблонів об’єктно-орієнтованого програмування, що враховують специфіку роботи відеоадаптера. Запропоновано декларативний спосіб визначення GPU-обчислення з використанням шаблону MapReduce та функціональних мов програмування. Надано рекомендації щодо практичного використання цих підходів. The National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute" 2014-12-22 Article Article application/pdf http://journal.iasa.kpi.ua/article/view/37424 System research and information technologies; No. 4 (2014); 45-59 Системные исследования и информационные технологии; № 4 (2014); 45-59 Системні дослідження та інформаційні технології; № 4 (2014); 45-59 2308-8893 1681-6048 uk http://journal.iasa.kpi.ua/article/view/37424/33557 Copyright (c) 2021 System research and information technologies |
| spellingShingle | Pogorilyy, S. D. Vereshchynsky, O. A. Vitel, D. Yu. Підходи до формалізації проектування застосувань в технології GPGPU |
| title | Підходи до формалізації проектування застосувань в технології GPGPU |
| title_alt | Approaches to the formalization of the application design in GPGPU technology Подходы к формализации проектирования приложений в технологии GPGPU |
| title_full | Підходи до формалізації проектування застосувань в технології GPGPU |
| title_fullStr | Підходи до формалізації проектування застосувань в технології GPGPU |
| title_full_unstemmed | Підходи до формалізації проектування застосувань в технології GPGPU |
| title_short | Підходи до формалізації проектування застосувань в технології GPGPU |
| title_sort | підходи до формалізації проектування застосувань в технології gpgpu |
| url | http://journal.iasa.kpi.ua/article/view/37424 |
| work_keys_str_mv | AT pogorilyysd approachestotheformalizationoftheapplicationdesigningpgputechnology AT vereshchynskyoa approachestotheformalizationoftheapplicationdesigningpgputechnology AT viteldyu approachestotheformalizationoftheapplicationdesigningpgputechnology AT pogorilyysd podhodykformalizaciiproektirovaniâpriloženijvtehnologiigpgpu AT vereshchynskyoa podhodykformalizaciiproektirovaniâpriloženijvtehnologiigpgpu AT viteldyu podhodykformalizaciiproektirovaniâpriloženijvtehnologiigpgpu AT pogorilyysd pídhodidoformalízacííproektuvannâzastosuvanʹvtehnologíígpgpu AT vereshchynskyoa pídhodidoformalízacííproektuvannâzastosuvanʹvtehnologíígpgpu AT viteldyu pídhodidoformalízacííproektuvannâzastosuvanʹvtehnologíígpgpu |