Внимание!!!
В выложенном на сайте тексте могут быть ошибки,
оригинальную версию методички одним файлом в формате .doc (MS Word)
5.5. Пример решения марковской модели Микро-ЭВМ
как системы массового обслуживания с ожиданием
Цель исследования на модели - определение возможного свободного времени оперативной памяти /ОП/ микро-ЭВМ, работающей в системе управления в режиме реального времени для осуществления необходимого долгого ввода-вывода данных в память по каналу ПД без остановки вычислительного процесса.
Для оценки такого возможного времени микро-ЭВМ рассматривается как СМО с неограниченным ожиданием, причем каждая команда - некоторая заявка, которая характеризует ПЗУ. В этом случае ПЗУ - как некоторая очередь команд.
Структура такой СМО изображена на рисунке 1.
Если команды следуют последовательно друг за другом, то считаем, что это очередь FIFO заявок, если имеют место переходы, то это дисциплина RAND.
Известно, что при выполнении некоторого класса команд нет обращений к ОП. Например, это команды с непосредственной адрессацией /К580ИК80/, прямой регистровой и с неявкой. Во время цикла выполнения такой команды, ОЗУ - свободно. Его можно занять для ввода-вывода.
Чередование выполнения команд с различным типом адрессаций есть стахостический процесс, который в часном случае может обладать марковским свойством.
Выделим следующие дискретные состояния системы в соответствии с целью исследования.
- выполнение команды с прямой адрессацией
- выполнение команды с косвенной адрессацией
- выполнение команд с непосредственной адрессацией с прямой регистровой и неявной
- с другой через указатель стека
Очень важно для системы выделить некоторый шаг испытаний . Очевидно, что для такой системы должно быть меньше или равно минимальному времени возможного перехода системы из одного состояния в другое.
= 2мкс /как время выполнения самой короткой команды в машине/.
Для перехода к марковской модели процессов необходимо взять за основу следующие постулаты.
1-Й ПОСТУЛАТ: Тип адрессации каждой очередной команды не зависит от типа адрессации предыдущей
2-Й ПОСТУЛАТ: Время выполнения очередной команды распределяется то ли равномерно, то ли экспоненциально.
Вероятности переходов от одного типа адрессации к другому в микро-ЭВМ не зависят от времени.
Это дает нам право использовать однородную марковскую цепь для исследования процессов микро-ЭВМ. В результате исследований на модели были получены вероятности переходов Pij и составлен марковский граф процесса.
