Підходи до формалізації проектування застосувань в технології 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...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Datum:2014
Hauptverfasser: Pogorilyy, S. D., Vereshchynsky, O. A., Vitel, D. Yu.
Format: Artikel
Sprache:Ukrainisch
Veröffentlicht: The National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute" 2014
Online Zugang:http://journal.iasa.kpi.ua/article/view/37424
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:System research and information technologies

Institution

System research and information technologies
Beschreibung
Zusammenfassung: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.