ВЫСОКОПРОИЗВОДИТЕЛЬНЫЕ ВЫЧИСЛИТЕЛЬНЫЕ СИСТЕМЫ

Локализация ресурсов вычислительных систем реального времени

А. И. Грюнталь

НИИСИ РАН

Аннотация: В статье рассматривается задача планирования систем, включающих конечное количество задач. Изучаются условия, при которых система разрешима, то есть существует планирование, при котором каждая из образующих систему задач может быть завершена до заданного момента времени.
Рассматривается проблема локализации: при каких условиях задача разрешимости может быть локализована, то есть сведена к существованию локальных по времени разрешимых подсистем.
В качестве естественного объекта локализации определяются и исследуются полные подсистемы. Показано, что каждая система однозначно представима в виде объединения полных подсистем, и что разрешимость системы эквивалентна разрешимости всех полных подсистем.
Результаты статьи могут найти применение при проектировании вычислительных систем, функционирующих в режиме жесткого реального времени.

Ключевые слова: системы реального времени, программное обеспечение, многозадачность, планирование, локализация, полные подсистемы, разрешимые системы.