Підходи до формалізації проектування застосувань в технології GPGPU

Підходи до формалізації проектування застосувань в технології GPGPU

Обґрунтовано необхідність створення формалізованих методів проектування алгоритмів, їх програмних реалізацій та дослідження тонкої інформаційної структури програм для систем з масовим паралелізмом, які містять відеоадаптери. Запропоновано та обґрунтовано застосування чотирьох підходів до формалізаці...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Системні дослідження та інформаційні технології
Datum:2014
Hauptverfasser: Погорілий, С.Д., Верещинський, О.А., Вітель, Д.Ю.
Format: Artikel
Sprache:Ukrainian
Veröffentlicht: Навчально-науковий комплекс "Інститут прикладного системного аналізу" НТУУ "КПІ" МОН та НАН України 2014
Schlagworte:
Прогресивні інформаційні технології, високопродуктивні комп’ютерні системи
Online Zugang:https://nasplib.isofts.kiev.ua/handle/123456789/86111
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:Підходи до формалізації проектування застосувань в технології GPGPU / С.Д. Погорілий, О.А. Верещинський, Д.Ю. Вітель // Системні дослідження та інформаційні технології. — 2014. — № 4. — С. 45-59. — Бібліогр.: 14 назв. — укр.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine
id nasplib_isofts_kiev_ua-123456789-86111
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
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
title Підходи до формалізації проектування застосувань в технології GPGPU
spellingShingle Підходи до формалізації проектування застосувань в технології GPGPU
Погорілий, С.Д.
Верещинський, О.А.
Вітель, Д.Ю.
Прогресивні інформаційні технології, високопродуктивні комп’ютерні системи
title_short Підходи до формалізації проектування застосувань в технології GPGPU
title_full Підходи до формалізації проектування застосувань в технології GPGPU
title_fullStr Підходи до формалізації проектування застосувань в технології GPGPU
title_full_unstemmed Підходи до формалізації проектування застосувань в технології GPGPU
title_sort підходи до формалізації проектування застосувань в технології gpgpu
author Погорілий, С.Д.
Верещинський, О.А.
Вітель, Д.Ю.
author_facet Погорілий, С.Д.
Верещинський, О.А.
Вітель, Д.Ю.
topic Прогресивні інформаційні технології, високопродуктивні комп’ютерні системи
topic_facet Прогресивні інформаційні технології, високопродуктивні комп’ютерні системи
publishDate 2014
language Ukrainian
container_title Системні дослідження та інформаційні технології
publisher Навчально-науковий комплекс "Інститут прикладного системного аналізу" НТУУ "КПІ" МОН та НАН України
format Article
title_alt Подходы к формализации проектирования приложений в технологии GPGPU
Approaches to the formalization of the application design in GPGPU technology
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.
issn 1681–6048
url https://nasplib.isofts.kiev.ua/handle/123456789/86111
citation_txt Підходи до формалізації проектування застосувань в технології GPGPU / С.Д. Погорілий, О.А. Верещинський, Д.Ю. Вітель // Системні дослідження та інформаційні технології. — 2014. — № 4. — С. 45-59. — Бібліогр.: 14 назв. — укр.
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
first_indexed 2025-12-02T14:10:59Z
last_indexed 2025-12-02T14:10:59Z
_version_ 1850862696960884736

Ähnliche Einträge