Формалізацація процесу планування за методом RMRT-EDF з урахуванням обмежених ресурсів
Дата
2025
Автори
Науковий керівник
Назва журналу
Номер ISSN
Назва тому
Видавець
КПІ ім. Ігоря Сікорського
Анотація
Стаття присвячена формалізації процесу планування задач у системах з обмеженими обчислювальними ресурсами за допомогою гібридного підходу RMRTEDF (Reactive Multi-Resource Token – Earliest Deadline First). Метою дослідження є розроблення дискретно-часової математичної моделі, що забезпечує гарантований запуск кожної задачі не пізніше ніж через 1 с після надходження та водночас дотримання багатовимірних обмежень CPU, оперативної пам’яті та I/O. Запропонована модель інтерпретує планувальник як замкнену систему автоматичного керування зі зворотним зв’язком: задачі спершу проходять токенфільтрацію ресурсів, після чого упорядковуються за правилом EDF; кількість одночасних запусків визначається адаптивним лімітом, керованим Model Predictive Control із ковзним горизонтом оптимізації.
Опис
Ключові слова
RMRT-EDF, MPC, планування задач, ресурсні обмеження, EDF, токен-модель, диспетчеризація задач
Бібліографічний опис
Лемешко, В. Формалізацація процесу планування за методом RMRT-EDF з урахуванням обмежених ресурсів / В. Лемешко // Адаптивні системи автоматичного управління : міжвідомчий науково-технічний збірник. – 2025. – № 2 (47). – С. 101-107. – Бібліогр.: 18 назв.