Метод компіляційно-семантичної верифікації часопараметризованих мультипаралельних програм

  • Olena Tolstoluzka Харківський національний університет імені В. Н. Каразіна
  • Dmitriy Tolstoluzkiy Харківський національний університет імені В. Н. Каразіна
  • Olga Moroz Харківський національний університет імені В. Н. Каразіна
Ключові слова: часопараметризовані мільтипаралельні програми, верифікація паралельних програм, компіляційно-семантична верифікація, семантично-числові специфікації

Анотація

Наводиться визначення часопараметризованих мультипаралельних програм, які (на відміну від загальноприйнятого трактування паралельних програм) містять специфікації моментів початку виконання операцій/функцій, а також підмножини таких операцій/функцій. Обґрунтовується необхідність розробки нових методів верифікації часопараметризованих паралельних програм. Розкриваються етапи вирішення завдання компіляційного-семантичної верифікації часопараметризованих мультипаралельних програм в інтересах створення систем автоматичного синтезу високоефективних паралельних програм для обчислювальних систем різних класів. Наводиться приклад, що ілюструє основні етапи методу.

Завантаження

Дані завантаження ще не доступні.

Біографії авторів

Olena Tolstoluzka, Харківський національний університет імені В. Н. Каразіна

Д.т.н., ст. науковий співробітник

Dmitriy Tolstoluzkiy, Харківський національний університет імені В. Н. Каразіна

інженер

Olga Moroz, Харківський національний університет імені В. Н. Каразіна

Cтарший викладач

Посилання

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.
Опубліковано
2017-03-26
Як цитувати
Tolstoluzka, O., Tolstoluzkiy, D., & Moroz, O. (2017). Метод компіляційно-семантичної верифікації часопараметризованих мультипаралельних програм. Комп’ютерні науки та кібербезпека, (4), 26-34. Retrieved із https://periodicals.karazin.ua/cscs/article/view/8264
Номер
Розділ
Статті