ОЦІНКА ЧАСОВИХ ХАРАКТЕРИСТИК ЗАДАЧ В БАГАТОПРОЦЕСОРНИХ СИСТЕМАХ РЕАЛЬНОГО ЧАСУ З ВИКОРИСТАННЯМ СІТОК ПЕТРІ

Анотація

Розглянуто проблему визначення часових характеристик задач у системах реального часу, успішність роботи яких залежить не тільки від їх логічної правильності, а і від часу, за який вони отримують результат. Визначення таких часових характеристик системи на стадії проєктування є досить складною проблемою. Її вирішення на сьогодні засновано на двох основних напрямах: теоретичних розрахунках, пов’язаних з отриманням так званих критеріїв здійсненності і моделюванням роботи системи на моделях. Серед моделей найбільш розповсюдженими є статистичні моделі систем масового обслуговування. Однак, як у першому, так і у другому випадках неможливо отримати гарантований результат, що суттєво ускладнює процес проєктування. Останнім часом з метою моделювання запропоновано використовувати моделі, що засновані на застосуванні апарату сіток Петрі. Але проведені дослідження стосуються лише моделювання однопроцесорних систем. Запропоновано метод оцінювання часових характеристик задач в системах реального часу шляхом аналізу даних, отриманих моделюванням розподілу процесорного часу між задачами згідно обраних алгоритмів планувальника з використанням моделі сіток Петрі для багатопроцесорних систем. Метод гарантує отримання часових характеристик задач при обранні конкретних типів процесорів і планувальника, що потрібно для початку технічного проєктування багатопроцесорних системи реального часу.