Підходи до формалізації проектування застосувань в технології GPGPU
Обґрунтовано необхідність створення формалізованих методів проектування алгоритмів, їх програмних реалізацій та дослідження тонкої інформаційної структури програм для систем з масовим паралелізмом, які містять відеоадаптери. Запропоновано та обґрунтовано застосування чотирьох підходів до формалізаці...
Saved in:
| Published in: | Системні дослідження та інформаційні технології |
|---|---|
| Date: | 2014 |
| Main Authors: | , , |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
Навчально-науковий комплекс "Інститут прикладного системного аналізу" НТУУ "КПІ" МОН та НАН України
2014
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/86111 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Підходи до формалізації проектування застосувань в технології GPGPU / С.Д. Погорілий, О.А. Верещинський, Д.Ю. Вітель // Системні дослідження та інформаційні технології. — 2014. — № 4. — С. 45-59. — Бібліогр.: 14 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862663061094006784 |
|---|---|
| author | Погорілий, С.Д. Верещинський, О.А. Вітель, Д.Ю. |
| author_facet | Погорілий, С.Д. Верещинський, О.А. Вітель, Д.Ю. |
| citation_txt | Підходи до формалізації проектування застосувань в технології GPGPU / С.Д. Погорілий, О.А. Верещинський, Д.Ю. Вітель // Системні дослідження та інформаційні технології. — 2014. — № 4. — С. 45-59. — Бібліогр.: 14 назв. — укр. |
| collection | DSpace DC |
| container_title | Системні дослідження та інформаційні технології |
| description | Обґрунтовано необхідність створення формалізованих методів проектування алгоритмів, їх програмних реалізацій та дослідження тонкої інформаційної структури програм для систем з масовим паралелізмом, які містять відеоадаптери. Запропоновано та обґрунтовано застосування чотирьох підходів до формалізації проектування застосувань у технології GPGPU: алгеброалгоритмічного, з використанням кольорових мереж Петрі, з використанням об’єктно-орієнтованих шаблонів програмування та з використанням поширених методів функціонального програмування. Проаналізовано переваги застосування модифікованої системи алгоритмічних алгебр Глушкова (САА-М) та алгебри реального часу (RTPA) до розробки GPGPU-застосувань. Розроблено модифікації поширених шаблонів об’єктно-орієнтованого програмування, що враховують специфіку роботи відеоадаптера. Запропоновано декларативний спосіб визначення GPU-обчислення з використанням шаблону MapReduce та функціональних мов програмування. Надано рекомендації щодо практичного використання цих підходів.
Обоснована необходимость создания формализованных методов проектирования алгоритмов, их программных реализаций и исследования тонкой информационной структуры программ для систем с массовым параллелизмом, которые содержат видеоадаптеры. Предложено и обосновано использование четырех подходов к формализации проектирования приложений технологии GPGPU: алгеброалгоритмического; с использованием цветных сетей Петри; с использованием объектно-ориентированных шаблонов программирования; с использованием, распространенных методов функционального программирования. Проведен анализ преимуществ использования модифицированной системы алгоритмических алгебр Глушкова (САА-М) и алгебры реального времени (RTPA) в разработке GPGPU-приложений. Разработано модификации распространенных шаблонов объектно-ориентированного программирования с учетом особенностей роботы видеоадаптера. Предложен декларативный способ построения GPU-вычисления на основе шаблона MapReduce и функциональных языков программирования. Дана рекомендация относительно практического использования указанных подходов.
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 GPUcomputations based on MapReduce pattern and functional programming languages. Recommendations were given for practical use of these approaches.
|
| first_indexed | 2025-12-02T14:10:59Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-86111 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1681–6048 |
| language | Ukrainian |
| last_indexed | 2025-12-02T14:10:59Z |
| publishDate | 2014 |
| publisher | Навчально-науковий комплекс "Інститут прикладного системного аналізу" НТУУ "КПІ" МОН та НАН України |
| record_format | dspace |
| spelling | Погорілий, С.Д. Верещинський, О.А. Вітель, Д.Ю. 2015-09-08T07:31:05Z 2015-09-08T07:31:05Z 2014 Підходи до формалізації проектування застосувань в технології GPGPU / С.Д. Погорілий, О.А. Верещинський, Д.Ю. Вітель // Системні дослідження та інформаційні технології. — 2014. — № 4. — С. 45-59. — Бібліогр.: 14 назв. — укр. 1681–6048 https://nasplib.isofts.kiev.ua/handle/123456789/86111 004.4 Обґрунтовано необхідність створення формалізованих методів проектування алгоритмів, їх програмних реалізацій та дослідження тонкої інформаційної структури програм для систем з масовим паралелізмом, які містять відеоадаптери. Запропоновано та обґрунтовано застосування чотирьох підходів до формалізації проектування застосувань у технології GPGPU: алгеброалгоритмічного, з використанням кольорових мереж Петрі, з використанням об’єктно-орієнтованих шаблонів програмування та з використанням поширених методів функціонального програмування. Проаналізовано переваги застосування модифікованої системи алгоритмічних алгебр Глушкова (САА-М) та алгебри реального часу (RTPA) до розробки GPGPU-застосувань. Розроблено модифікації поширених шаблонів об’єктно-орієнтованого програмування, що враховують специфіку роботи відеоадаптера. Запропоновано декларативний спосіб визначення GPU-обчислення з використанням шаблону MapReduce та функціональних мов програмування. Надано рекомендації щодо практичного використання цих підходів. Обоснована необходимость создания формализованных методов проектирования алгоритмов, их программных реализаций и исследования тонкой информационной структуры программ для систем с массовым параллелизмом, которые содержат видеоадаптеры. Предложено и обосновано использование четырех подходов к формализации проектирования приложений технологии GPGPU: алгеброалгоритмического; с использованием цветных сетей Петри; с использованием объектно-ориентированных шаблонов программирования; с использованием, распространенных методов функционального программирования. Проведен анализ преимуществ использования модифицированной системы алгоритмических алгебр Глушкова (САА-М) и алгебры реального времени (RTPA) в разработке GPGPU-приложений. Разработано модификации распространенных шаблонов объектно-ориентированного программирования с учетом особенностей роботы видеоадаптера. Предложен декларативный способ построения GPU-вычисления на основе шаблона MapReduce и функциональных языков программирования. Дана рекомендация относительно практического использования указанных подходов. 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 GPUcomputations based on MapReduce pattern and functional programming languages. Recommendations were given for practical use of these approaches. uk Навчально-науковий комплекс "Інститут прикладного системного аналізу" НТУУ "КПІ" МОН та НАН України Системні дослідження та інформаційні технології Прогресивні інформаційні технології, високопродуктивні комп’ютерні системи Підходи до формалізації проектування застосувань в технології GPGPU Подходы к формализации проектирования приложений в технологии GPGPU Approaches to the formalization of the application design in GPGPU technology Article published earlier |
| spellingShingle | Підходи до формалізації проектування застосувань в технології GPGPU Погорілий, С.Д. Верещинський, О.А. Вітель, Д.Ю. Прогресивні інформаційні технології, високопродуктивні комп’ютерні системи |
| title | Підходи до формалізації проектування застосувань в технології GPGPU |
| title_alt | Подходы к формализации проектирования приложений в технологии GPGPU Approaches to the formalization of the application design in GPGPU technology |
| title_full | Підходи до формалізації проектування застосувань в технології GPGPU |
| title_fullStr | Підходи до формалізації проектування застосувань в технології GPGPU |
| title_full_unstemmed | Підходи до формалізації проектування застосувань в технології GPGPU |
| title_short | Підходи до формалізації проектування застосувань в технології GPGPU |
| title_sort | підходи до формалізації проектування застосувань в технології gpgpu |
| topic | Прогресивні інформаційні технології, високопродуктивні комп’ютерні системи |
| topic_facet | Прогресивні інформаційні технології, високопродуктивні комп’ютерні системи |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/86111 |
| work_keys_str_mv | AT pogoríliisd pídhodidoformalízacííproektuvannâzastosuvanʹvtehnologíígpgpu AT vereŝinsʹkiioa pídhodidoformalízacííproektuvannâzastosuvanʹvtehnologíígpgpu AT vítelʹdû pídhodidoformalízacííproektuvannâzastosuvanʹvtehnologíígpgpu AT pogoríliisd podhodykformalizaciiproektirovaniâpriloženiivtehnologiigpgpu AT vereŝinsʹkiioa podhodykformalizaciiproektirovaniâpriloženiivtehnologiigpgpu AT vítelʹdû podhodykformalizaciiproektirovaniâpriloženiivtehnologiigpgpu AT pogoríliisd approachestotheformalizationoftheapplicationdesigningpgputechnology AT vereŝinsʹkiioa approachestotheformalizationoftheapplicationdesigningpgputechnology AT vítelʹdû approachestotheformalizationoftheapplicationdesigningpgputechnology |