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

Анотація

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

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