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

Autor:	Serhii L. Kryvyi, Sergiy D. Pogorilyy, Maksym S. Slynko, Artem A. Kramov
Jazyk:	ukrajinština
Rok vydání:	2020
Předmět:	CUDA графічні процесори (GPU) графічні обчислення загального призначення (GPGPU) транзиційна система мережа Петрі побудова моделі Electronic computers. Computer science QA75.5-76.95
Zdroj:	Sistemnì Doslìdženâ ta Informacìjnì Tehnologìï, Iss 3 (2020)
Druh dokumentu:	article
ISSN:	2308-8893 1681-6048
DOI:	10.20535/SRIT.2308-8893.2020.3.01
Popis:	Запропоновано метод розроблення та верифікації застосувань для систем з масовим паралелізмом на основі відеоадаптерів від компанії NVIDIA, який дозволяє створювати абстракції різних рівнів за допомогою апарата розмічених транзиційних систем. Композиції таких систем трансформуються в мережі Петрі, які далі аналізуються відповідними засобами. Метод також дає змогу створювати моделі на різних рівнях абстракції, а їх властивості можуть специфікуватися формулами темпоральної логіки. Це дозволяє досліджувати властивості систем з масовим паралелізмом, які майже неможливо аналізувати вручну, оскільки кількість потоків у новітніх архітектурах відеоадаптерів (Pascal, Volta, Amper, Тюрінг), виділених для виконання коду, вимірюється сотнями тисяч або мільйонами.
Databáze:	Directory of Open Access Journals
Externí odkaz:	https://doaj.org/article/c5388c312c2b4122a5c91133877aa726 Zobrazit plný text záznamu View record in DOAJ