Хусаинов Ахмет Аксанович

В работе изучена математическая модель параллельной вычислительной системы – асинхронная система. Она рассматривается как множество с частичным действием моноида трасс. Это позволило авторам ввести гомоморфизмы асинхронных систем как морфизмы соответствующих полигонов. С помощью этих гомоморфизмов изучаются асинхронные системы с функцией, сопоставляющей операциям их время выполнения. Построен алгоритм вычисления минимального времени выполнения параллельных процессов в асинхронных системах. Найдены условия, при которых гомоморфизм асинхронных систем сохраняет минимальное время выполнения. Построенный алгоритм применяется для расчета времени выполнения параллельного процесса, состоящего из переходов сети Петри. Приведены примеры вычисления минимального времени для псевдо-конвейера и волновой системы. Описан эксперимент, реализованный с помощью многопоточного приложения, построенного по заданной сети Петри. Этот эксперимент подтверждает метод оценки минимального времени выполнения параллельного процесса.