Про аналіз коректності автотьюнінгу програм з використанням техніки переписувальних правил
У роботі запропоновано підхід до перевірки коректності оптимізаційних перетворень паралельних програм, що виконуються автотьюнером. Автотьюнер розглядається як еволюційна дискретна динамічна система й перевірка коректності зводиться до перевірки властивості еквівалентності за результатом представлен...
Збережено в:
| Опубліковано в: : | Проблеми програмування |
|---|---|
| Дата: | 2020 |
| Автор: | |
| Формат: | Стаття |
| Мова: | Ukrainian |
| Опубліковано: |
Інститут програмних систем НАН України
2020
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/180483 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Про аналіз коректності автотьюнінгу програм з використанням техніки переписувальних правил / П.А. Іваненко // Проблеми програмування. — 2020. — № 2-3. — С. 368-374. — Бібліогр.: 9 назв. — укр. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-180483 |
|---|---|
| record_format |
dspace |
| spelling |
Іваненко, П.А. 2021-09-29T19:05:08Z 2021-09-29T19:05:08Z 2020 Про аналіз коректності автотьюнінгу програм з використанням техніки переписувальних правил / П.А. Іваненко // Проблеми програмування. — 2020. — № 2-3. — С. 368-374. — Бібліогр.: 9 назв. — укр. 1727-4907 DOI: https://doi.org/10.15407/pp2020.02-03.368 https://nasplib.isofts.kiev.ua/handle/123456789/180483 004.4`2 У роботі запропоновано підхід до перевірки коректності оптимізаційних перетворень паралельних програм, що виконуються автотьюнером. Автотьюнер розглядається як еволюційна дискретна динамічна система й перевірка коректності зводиться до перевірки властивості еквівалентності за результатом представлень вихідної і оптимізованої версій програм у формальній моделі автотьюнінгу. Цю перевірку у часткових випадках можна виконати автоматично за вихідним кодом за допомогою техніки переписувальних правил. В работе представлен подход к проверке корректности оптимизационных преобразований параллельных программ, выполняемых автотьюнером. Автотьюнер рассматривается как эволюционная дискретная динамическая система, а проверка корректности сводится к проверке свойству эквивалентности по результату интерпретаций исходной и оптимизированной программ в формальной модели автотьюнинга. Эту проверку в частных случаях можно выполнять автоматически по исходному коду программы с помощью техники переписывающих правил. Article presents an approach to correctness validation of autotuning optimizational transformations. Autotuner is considered as dynamic discrete system and validation is reduced to verification of characteristic of equivalence by result of representation of initial and optimized program versions in autotuning formal model. In partial cases this validation can be done automatically using source code and rewriting rules technique. uk Інститут програмних систем НАН України Проблеми програмування Методи машинного навчання Про аналіз коректності автотьюнінгу програм з використанням техніки переписувальних правил Об анализе корректности автотьюнингу программ с использованием техники переписывающих правил Validation of correctness of autotuning code transformations with rewriting rules technique Article published earlier |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Про аналіз коректності автотьюнінгу програм з використанням техніки переписувальних правил |
| spellingShingle |
Про аналіз коректності автотьюнінгу програм з використанням техніки переписувальних правил Іваненко, П.А. Методи машинного навчання |
| title_short |
Про аналіз коректності автотьюнінгу програм з використанням техніки переписувальних правил |
| title_full |
Про аналіз коректності автотьюнінгу програм з використанням техніки переписувальних правил |
| title_fullStr |
Про аналіз коректності автотьюнінгу програм з використанням техніки переписувальних правил |
| title_full_unstemmed |
Про аналіз коректності автотьюнінгу програм з використанням техніки переписувальних правил |
| title_sort |
про аналіз коректності автотьюнінгу програм з використанням техніки переписувальних правил |
| author |
Іваненко, П.А. |
| author_facet |
Іваненко, П.А. |
| topic |
Методи машинного навчання |
| topic_facet |
Методи машинного навчання |
| publishDate |
2020 |
| language |
Ukrainian |
| container_title |
Проблеми програмування |
| publisher |
Інститут програмних систем НАН України |
| format |
Article |
| title_alt |
Об анализе корректности автотьюнингу программ с использованием техники переписывающих правил Validation of correctness of autotuning code transformations with rewriting rules technique |
| description |
У роботі запропоновано підхід до перевірки коректності оптимізаційних перетворень паралельних програм, що виконуються автотьюнером. Автотьюнер розглядається як еволюційна дискретна динамічна система й перевірка коректності зводиться до перевірки властивості еквівалентності за результатом представлень вихідної і оптимізованої версій програм у формальній моделі автотьюнінгу. Цю перевірку у часткових випадках можна виконати автоматично за вихідним кодом за допомогою техніки переписувальних правил.
В работе представлен подход к проверке корректности оптимизационных преобразований параллельных программ, выполняемых автотьюнером. Автотьюнер рассматривается как эволюционная дискретная динамическая система, а проверка корректности сводится к проверке свойству эквивалентности по результату интерпретаций исходной и оптимизированной программ в формальной модели автотьюнинга. Эту проверку в частных случаях можно выполнять автоматически по исходному коду программы с помощью техники переписывающих правил.
Article presents an approach to correctness validation of autotuning optimizational transformations. Autotuner is considered as dynamic discrete system and validation is reduced to verification of characteristic of equivalence by result of representation of initial and optimized program versions in autotuning formal model. In partial cases this validation can be done automatically using source code and rewriting rules technique.
|
| issn |
1727-4907 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/180483 |
| citation_txt |
Про аналіз коректності автотьюнінгу програм з використанням техніки переписувальних правил / П.А. Іваненко // Проблеми програмування. — 2020. — № 2-3. — С. 368-374. — Бібліогр.: 9 назв. — укр. |
| work_keys_str_mv |
AT ívanenkopa proanalízkorektnostíavtotʹûnínguprogramzvikoristannâmtehníkiperepisuvalʹnihpravil AT ívanenkopa obanalizekorrektnostiavtotʹûninguprogrammsispolʹzovaniemtehnikiperepisyvaûŝihpravil AT ívanenkopa validationofcorrectnessofautotuningcodetransformationswithrewritingrulestechnique |
| first_indexed |
2025-12-07T20:49:59Z |
| last_indexed |
2025-12-07T20:49:59Z |
| _version_ |
1850884069724782592 |