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

Скорочена інформація про документ
dc.contributor.authorПогорілий, Сергій Дем’янович
dc.contributor.authorВерещинський, Олег Андрійович
dc.contributor.authorВітель, Дмитро Юрійович
dc.contributor.authorPogorilyy, S. D.
dc.contributor.authorVereshchynsky, O. A.
dc.contributor.authorVitel, D. Yu.
dc.contributor.authorПогорелый, С. Д.
dc.contributor.authorВерещинский, О. А.
dc.contributor.authorВитель, Д. Ю.
dc.date.accessioned2015-02-05T08:28:33Z
dc.date.available2015-02-05T08:28:33Z
dc.date.issued2014
dc.description.abstractenWe 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.uk
dc.description.abstractruОбоснована необходимость создания формализованных методов проектирования алгоритмов, их программных реализаций и исследования тонкой информационной структуры программ для систем с массовым параллелизмом, которые содержат видеоадаптеры. Предложено и обосновано использование четырех подходов к формализации проектирования приложений технологии GPGPU: алгеброалгоритмического; с использованием цветных сетей Петри; с использованием объектно-ориентированных шаблонов программирования; с использованием, распространенных методов функционального программирования. Проведен анализ преимуществ использования модифицированной системы алгоритмических алгебр Глушкова (САА-М) и алгебры реального времени (RTPA) в разработке GPGPU-приложений. Разработано модификации распространенных шаблонов объектно-ориентированного программирования с учетом особенностей роботы видеоадаптера. Предложен декларативный способ построения GPU-вычисления на основе шаблона MapReduce и функциональных языков программирования. Дана рекомендация относительно практического использования указанных подходов.uk
dc.description.abstractukОбґрунтовано необхідність створення формалізованих методів проектування алгоритмів, їх програмних реалізацій та дослідження тонкої інформаційної структури програм для систем з масовим паралелізмом, які містять відеоадаптери. Запропоновано та обґрунтовано застосування чотирьох підходів до формалізації проектування застосувань у технології GPGPU: алгеброалгоритмічного, з використанням кольорових мереж Петрі, з використанням об’єктно-орієнтованих шаблонів програмування та з використанням поширених методів функціонального програмування. Проаналізовано переваги застосування модифікованої системи алгоритмічних алгебр Глушкова (САА-М) та алгебри реального часу (RTPA) до розробки GPGPU-застосувань. Розроблено модифікації поширених шаблонів об’єктно-орієнтованого програмування, що враховують специфіку роботи відеоадаптера. Запропоновано декларативний спосіб визначення GPU-обчислення з використанням шаблону MapReduce та функціональних мов програмування. Надано рекомендації щодо практичного використання цих підходів.uk
dc.format.pagerangeС. 45-59uk
dc.identifier.citationПогорілий С. Д. Підходи до формалізації проектування застосувань в технології GPGPU / С. Д. Погорілий, О. А. Верещинський, Д. Ю. Вітель // Системні дослідження та інформаційні технології : науково-технічний журнал. – 2014. – № 4. – С. 45–59. – Бібліогр.: 14 назв.uk
dc.identifier.urihttps://ela.kpi.ua/handle/123456789/10360
dc.language.isoukuk
dc.publisherПолітехнікаuk
dc.publisher.placeКиївuk
dc.source.nameСистемні дослідження та інформаційні технології: науково-технічний журналuk
dc.status.pubpublisheduk
dc.subject.udc004.4uk
dc.titleПідходи до формалізації проектування застосувань в технології GPGPUuk
dc.title.alternativeApproaches to the formalization of the application design in GPGPU technologyuk
dc.title.alternativeПодходы к формализации проектирования приложений в технологии GPGPUuk
dc.typeArticleuk
thesis.degree.level-uk

Файли

Контейнер файлів
Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
4_GM_Pogorely_Vitel_N4_2014.pdf
Розмір:
438.69 KB
Формат:
Adobe Portable Document Format
Завантажити
Ліцензійна угода
Зараз показуємо 1 - 1 з 1
Ескіз недоступний
Назва:
license.txt
Розмір:
1.71 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Зібрання

Системні дослідження та інформаційні технології: науково-технічний журнал, № 4