Формалізований метод проектування застосувань в технології GPGPU
Запропоновано метод дослідження характеристик систем, що використовують високопродуктивні обчислення, який ґрунтується на апараті транзиційних систем (дискретної моделі обчислень). Запропоновано два варіанти обмежень синхронного добутку цих транзиційних систем, що моделюють підхід, використаний в ар...
Збережено в:
| Дата: | 2018 |
|---|---|
| Автори: | , , |
| Формат: | Стаття |
| Мова: | Ukrainian |
| Опубліковано: |
Інститут програмних систем НАН України
2018
|
| Назва видання: | Проблеми програмування |
| Теми: | |
| Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/144578 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Формалізований метод проектування застосувань в технології GPGPU / С.Л. Кривий, С.Д. Погорілий, М.С. Слинько // Проблеми програмування. — 2018. — № 2-3. — С. 12-20. — Бібліогр.: 7 назв. — укр. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
irk-123456789-144578 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-1445782018-12-31T01:22:56Z Формалізований метод проектування застосувань в технології GPGPU Кривий, С.Л. Погорілий, С.Д. Слинько, М.С. Теоретичні та методологічні основи програмування Запропоновано метод дослідження характеристик систем, що використовують високопродуктивні обчислення, який ґрунтується на апараті транзиційних систем (дискретної моделі обчислень). Запропоновано два варіанти обмежень синхронного добутку цих транзиційних систем, що моделюють підхід, використаний в архітектурі Nvidia CUDA. Описано транзиційні системи, що представляють два типи інструкцій, процес виконання інструкції варпом та роботу планувальника варпу. Виконано формалізацію моделі виконання GPGPU-застосування. Отримано специфікацію вищевказаного підходу та строго доведено його коректність. Специфікацію зведено до двох варіантів мереж Петрі, які дозволяють виявляти помилки проектування в автоматичному або напівавтоматичному режимі. Предложен метод исследования характеристик систем, использующих высокопроизводительные вычисления, основанный на аппарате транзиционных систем (дискретной модели вычислений). Предложено два варианта ограничений синхронного произведения транзиционных систем, моделирующих подход, использованный в архитектуре Nvidia CUDA. Описаны транзиционные системы, представляющие два типа инструкций, процесс выполнения инструкции варпа и работу планировщика варпа. Выполнена формализация модели выполнения GPGPU-приложения. Получено спецификацию вышеуказанного подхода и строго доказана его корректность. Спецификацию сведено к двум вариантам сетей Петри, которые позволяют выявлять ошибки проектирования в автоматическом или полуавтоматическом режиме. The method of researching systems with high-performance computing support, based on the transition systems apparatus (discrete computational model), is proposed. Two variants of synchronous product limitations of transition systems that model tha Nvidia CUDA approach are proposed. transition systems that represent two types of instructions, process of the warp instruction execution, and the process of warp scheduling were described. GPGPU application execution model was formalized and its correctness was proved. Two variants of the relevant Petri net which allowed automatic or semi-automatic detection of design errors were obtained. 2018 Article Формалізований метод проектування застосувань в технології GPGPU / С.Л. Кривий, С.Д. Погорілий, М.С. Слинько // Проблеми програмування. — 2018. — № 2-3. — С. 12-20. — Бібліогр.: 7 назв. — укр. 1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/144578 004.4 uk Проблеми програмування Інститут програмних систем НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
Ukrainian |
| topic |
Теоретичні та методологічні основи програмування Теоретичні та методологічні основи програмування |
| spellingShingle |
Теоретичні та методологічні основи програмування Теоретичні та методологічні основи програмування Кривий, С.Л. Погорілий, С.Д. Слинько, М.С. Формалізований метод проектування застосувань в технології GPGPU Проблеми програмування |
| description |
Запропоновано метод дослідження характеристик систем, що використовують високопродуктивні обчислення, який ґрунтується на апараті транзиційних систем (дискретної моделі обчислень). Запропоновано два варіанти обмежень синхронного добутку цих транзиційних систем, що моделюють підхід, використаний в архітектурі Nvidia CUDA. Описано транзиційні системи, що представляють два типи інструкцій, процес виконання інструкції варпом та роботу планувальника варпу. Виконано формалізацію моделі виконання GPGPU-застосування. Отримано специфікацію вищевказаного підходу та строго доведено його коректність. Специфікацію зведено до двох варіантів мереж Петрі, які дозволяють виявляти помилки проектування в автоматичному або напівавтоматичному режимі. |
| format |
Article |
| author |
Кривий, С.Л. Погорілий, С.Д. Слинько, М.С. |
| author_facet |
Кривий, С.Л. Погорілий, С.Д. Слинько, М.С. |
| author_sort |
Кривий, С.Л. |
| title |
Формалізований метод проектування застосувань в технології GPGPU |
| title_short |
Формалізований метод проектування застосувань в технології GPGPU |
| title_full |
Формалізований метод проектування застосувань в технології GPGPU |
| title_fullStr |
Формалізований метод проектування застосувань в технології GPGPU |
| title_full_unstemmed |
Формалізований метод проектування застосувань в технології GPGPU |
| title_sort |
формалізований метод проектування застосувань в технології gpgpu |
| publisher |
Інститут програмних систем НАН України |
| publishDate |
2018 |
| topic_facet |
Теоретичні та методологічні основи програмування |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/144578 |
| citation_txt |
Формалізований метод проектування застосувань в технології GPGPU / С.Л. Кривий, С.Д. Погорілий, М.С. Слинько // Проблеми програмування. — 2018. — № 2-3. — С. 12-20. — Бібліогр.: 7 назв. — укр. |
| series |
Проблеми програмування |
| work_keys_str_mv |
AT krivijsl formalízovanijmetodproektuvannâzastosuvanʹvtehnologíígpgpu AT pogorílijsd formalízovanijmetodproektuvannâzastosuvanʹvtehnologíígpgpu AT slinʹkoms formalízovanijmetodproektuvannâzastosuvanʹvtehnologíígpgpu |
| first_indexed |
2023-05-20T17:19:54Z |
| last_indexed |
2023-05-20T17:19:54Z |
| _version_ |
1796153053209952256 |