Формалізований метод проектування застосувань в технології GPGPU
Запропоновано метод дослідження характеристик систем, що використовують високопродуктивні обчислення, який ґрунтується на апараті транзиційних систем (дискретної моделі обчислень). Запропоновано два варіанти обмежень синхронного добутку цих транзиційних систем, що моделюють підхід, використаний в ар...
Збережено в:
| Опубліковано в: : | Проблеми програмування |
|---|---|
| Дата: | 2018 |
| Автори: | , , |
| Формат: | Стаття |
| Мова: | Українська |
| Опубліковано: |
Інститут програмних систем НАН України
2018
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.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| _version_ | 1862576814839300096 |
|---|---|
| author | Кривий, С.Л. Погорілий, С.Д. Слинько, М.С. |
| author_facet | Кривий, С.Л. Погорілий, С.Д. Слинько, М.С. |
| citation_txt | Формалізований метод проектування застосувань в технології GPGPU / С.Л. Кривий, С.Д. Погорілий, М.С. Слинько // Проблеми програмування. — 2018. — № 2-3. — С. 12-20. — Бібліогр.: 7 назв. — укр. |
| collection | DSpace DC |
| container_title | Проблеми програмування |
| description | Запропоновано метод дослідження характеристик систем, що використовують високопродуктивні обчислення, який ґрунтується на апараті транзиційних систем (дискретної моделі обчислень). Запропоновано два варіанти обмежень синхронного добутку цих транзиційних систем, що моделюють підхід, використаний в архітектурі 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.
|
| first_indexed | 2025-11-26T14:32:57Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-144578 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1727-4907 |
| language | Ukrainian |
| last_indexed | 2025-11-26T14:32:57Z |
| publishDate | 2018 |
| publisher | Інститут програмних систем НАН України |
| record_format | dspace |
| spelling | Кривий, С.Л. Погорілий, С.Д. Слинько, М.С. 2018-12-30T16:38:22Z 2018-12-30T16:38:22Z 2018 Формалізований метод проектування застосувань в технології GPGPU / С.Л. Кривий, С.Д. Погорілий, М.С. Слинько // Проблеми програмування. — 2018. — № 2-3. — С. 12-20. — Бібліогр.: 7 назв. — укр. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/144578 004.4 Запропоновано метод дослідження характеристик систем, що використовують високопродуктивні обчислення, який ґрунтується на апараті транзиційних систем (дискретної моделі обчислень). Запропоновано два варіанти обмежень синхронного добутку цих транзиційних систем, що моделюють підхід, використаний в архітектурі 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. uk Інститут програмних систем НАН України Проблеми програмування Теоретичні та методологічні основи програмування Формалізований метод проектування застосувань в технології GPGPU Transition systems as method of designing applications in GPGPU technology Article published earlier |
| spellingShingle | Формалізований метод проектування застосувань в технології GPGPU Кривий, С.Л. Погорілий, С.Д. Слинько, М.С. Теоретичні та методологічні основи програмування |
| title | Формалізований метод проектування застосувань в технології GPGPU |
| title_alt | Transition systems as method of designing applications in GPGPU technology |
| title_full | Формалізований метод проектування застосувань в технології GPGPU |
| title_fullStr | Формалізований метод проектування застосувань в технології GPGPU |
| title_full_unstemmed | Формалізований метод проектування застосувань в технології GPGPU |
| title_short | Формалізований метод проектування застосувань в технології GPGPU |
| title_sort | формалізований метод проектування застосувань в технології gpgpu |
| topic | Теоретичні та методологічні основи програмування |
| topic_facet | Теоретичні та методологічні основи програмування |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/144578 |
| work_keys_str_mv | AT kriviisl formalízovaniimetodproektuvannâzastosuvanʹvtehnologíígpgpu AT pogoríliisd formalízovaniimetodproektuvannâzastosuvanʹvtehnologíígpgpu AT slinʹkoms formalízovaniimetodproektuvannâzastosuvanʹvtehnologíígpgpu AT kriviisl transitionsystemsasmethodofdesigningapplicationsingpgputechnology AT pogoríliisd transitionsystemsasmethodofdesigningapplicationsingpgputechnology AT slinʹkoms transitionsystemsasmethodofdesigningapplicationsingpgputechnology |