Про аналіз коректності автотьюнінгу програм з використанням техніки переписувальних правил
У роботі запропоновано підхід до перевірки коректності оптимізаційних перетворень паралельних програм, що виконуються автотьюнером. Автотьюнер розглядається як еволюційна дискретна динамічна система й перевірка коректності зводиться до перевірки властивості еквівалентності за результатом представлен...
Gespeichert in:
| Veröffentlicht in: | Проблеми програмування |
|---|---|
| Datum: | 2020 |
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | Ukrainisch |
| Veröffentlicht: |
Інститут програмних систем НАН України
2020
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/180483 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Про аналіз коректності автотьюнінгу програм з використанням техніки переписувальних правил / П.А. Іваненко // Проблеми програмування. — 2020. — № 2-3. — С. 368-374. — Бібліогр.: 9 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862747219253264384 |
|---|---|
| author | Іваненко, П.А. |
| author_facet | Іваненко, П.А. |
| citation_txt | Про аналіз коректності автотьюнінгу програм з використанням техніки переписувальних правил / П.А. Іваненко // Проблеми програмування. — 2020. — № 2-3. — С. 368-374. — Бібліогр.: 9 назв. — укр. |
| collection | DSpace DC |
| container_title | Проблеми програмування |
| 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.
|
| first_indexed | 2025-12-07T20:49:59Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-180483 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1727-4907 |
| language | Ukrainian |
| last_indexed | 2025-12-07T20:49:59Z |
| publishDate | 2020 |
| publisher | Інститут програмних систем НАН України |
| 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 |
| spellingShingle | Про аналіз коректності автотьюнінгу програм з використанням техніки переписувальних правил Іваненко, П.А. Методи машинного навчання |
| title | Про аналіз коректності автотьюнінгу програм з використанням техніки переписувальних правил |
| title_alt | Об анализе корректности автотьюнингу программ с использованием техники переписывающих правил Validation of correctness of autotuning code transformations with rewriting rules technique |
| title_full | Про аналіз коректності автотьюнінгу програм з використанням техніки переписувальних правил |
| title_fullStr | Про аналіз коректності автотьюнінгу програм з використанням техніки переписувальних правил |
| title_full_unstemmed | Про аналіз коректності автотьюнінгу програм з використанням техніки переписувальних правил |
| title_short | Про аналіз коректності автотьюнінгу програм з використанням техніки переписувальних правил |
| title_sort | про аналіз коректності автотьюнінгу програм з використанням техніки переписувальних правил |
| topic | Методи машинного навчання |
| topic_facet | Методи машинного навчання |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/180483 |
| work_keys_str_mv | AT ívanenkopa proanalízkorektnostíavtotʹûnínguprogramzvikoristannâmtehníkiperepisuvalʹnihpravil AT ívanenkopa obanalizekorrektnostiavtotʹûninguprogrammsispolʹzovaniemtehnikiperepisyvaûŝihpravil AT ívanenkopa validationofcorrectnessofautotuningcodetransformationswithrewritingrulestechnique |