Метод компіляційно-семантичної верифікації часопараметризованих мультипаралельних програм
Ключові слова:
часопараметризовані мільтипаралельні програми, верифікація паралельних програм, компіляційно-семантична верифікація, семантично-числові специфікації
Анотація
Наводиться визначення часопараметризованих мультипаралельних програм, які (на відміну від загальноприйнятого трактування паралельних програм) містять специфікації моментів початку виконання операцій/функцій, а також підмножини таких операцій/функцій. Обґрунтовується необхідність розробки нових методів верифікації часопараметризованих паралельних програм. Розкриваються етапи вирішення завдання компіляційного-семантичної верифікації часопараметризованих мультипаралельних програм в інтересах створення систем автоматичного синтезу високоефективних паралельних програм для обчислювальних систем різних класів. Наводиться приклад, що ілюструє основні етапи методу.Завантаження
##plugins.generic.usageStats.noStats##
Посилання
Polyakov G. A. Sintez i analiz parallel'nykh protsessov v adaptivnykh vremyaparametrizovannykh vychislitel'nykh sistemakh: monografiya / G. A. Polyakov, S. I. Shmatkov, E. G. Tolstoluzhskaya, D. A. Tolstoluzhskii. – Khar'kov: KhNU im. V. N. Karazina, 2012. – 670 s.
Voevodin V. V. Parallel'nye vychisleniya / V. V. Voevodin, Vl. V. Voevodin. – Sankt-Peterburg: BKhV – Peterburg, 2004. – 608 s.
Kalbertson R. Bystroe testirovanie / Robert Kalbertson, Braun Kris, Kobb Geri: per. s angl. – Moskva: Izdatel'skii dom «Vil'yams», 2002. – 384 s.
Polyakov G. A. Kompilyatsionnaya metodika verifikatsii statiko-dinamicheskikh ob"ektov avtomaticheskogo proektirovaniya mul'tiparallel'nykh tsifrovykh ustroistv. / G. A. Polyakov, D. A. Tolstoluzhskii // Prikladnaya radioelektronika. – 2005. – T.1. – № 2. – S. 37–41.
Voevodin V. V. Parallel'nye vychisleniya / V. V. Voevodin, Vl. V. Voevodin. – Sankt-Peterburg: BKhV – Peterburg, 2004. – 608 s.
Kalbertson R. Bystroe testirovanie / Robert Kalbertson, Braun Kris, Kobb Geri: per. s angl. – Moskva: Izdatel'skii dom «Vil'yams», 2002. – 384 s.
Polyakov G. A. Kompilyatsionnaya metodika verifikatsii statiko-dinamicheskikh ob"ektov avtomaticheskogo proektirovaniya mul'tiparallel'nykh tsifrovykh ustroistv. / G. A. Polyakov, D. A. Tolstoluzhskii // Prikladnaya radioelektronika. – 2005. – T.1. – № 2. – S. 37–41.
![](https://periodicals.karazin.ua/public/journals/47/cover_article_8264_uk_UA.jpg)
Опубліковано
2017-03-26
Цитовано
Як цитувати
Tolstoluzka, O., Tolstoluzkiy, D., & Moroz, O. (2017). Метод компіляційно-семантичної верифікації часопараметризованих мультипаралельних програм. Комп’ютерні науки та кібербезпека, (4), 26-34. вилучено із https://periodicals.karazin.ua/cscs/article/view/8264
Номер
Розділ
Статті