Cтраница 3
Третья и четвертая главы посвящены анализу методов диспетчеризации вычислительных процессов в реальном масштабе времени. В третьей главе методами теории массового обслуживания анализируются дисциплины диспетчеризации по критерию времени ожидания до выполнения некоторой программы. В четвертой главе рассмотрены дисциплины диспетчеризации при ограниченной буферной памяти, когда возможна потеря сообщений или заявок на включение подпрограмм. В обеих главах анализ проводится для бесприоритетной и различного типа приоритетных дисциплин. Значительное внимание уделено оценке эффективности дисциплин диспетчеризации по величине штрафа, а также по изменению эквивалентной производительности и эквивалентного объема буферной памяти управляющих ЦВМ. Особенностью третьей главы является наличие сравнительно простых аналитических выражений для оценки характеристик ожидания, в том числе и для некоторых типов дисциплин с динамическими приоритетами, в то время как значительная часть результатов четвертой главы получена методом Монте-Карло. Кроме того, в четвертой главе проводится анализ достоверности передачи сообщений в системах передачи данных, сопряженных с ЦВМ. [31]
Оценка дисциплин решения задач по величине суммарного штрафа в ряде систем управления объектами оказывается весьма сложной или даже невозможной, так как трудно оценить абсолютное значение коэффициентов штрафа за задержку или потерю заявки на решение задач. В системах управления экономикой и производством оценки абсолютных значений коэффициентов штрафа более доступны и могут выражаться в стоимостных величинах. Однако В; системах управления объектами в большинстве случаев удается определить только относительные значения коэффициентов штрафа с точностью до некоторого сомножителя. В этих случаях имеется возможность сопоставления дисциплин по относительному изменению суммарного штрафа за задержку или потерю заявок на решение определенных задач. Кроме того, сравнение дисциплин более полно можно осуществлять по эквивалентному изменению производительности и оперативной памяти управляющей ЦВМ, обеспечивающим постоянное значение суммарного штрафа за ожидание или потерю заявок. В этом случае необходимо решать функциональное уравнение относительно быстродействия ЦВМ или объема буферной памяти при равенстве суммарных потерь для сравниваемых дисциплин. Таким образом, различные дисциплины можно сопоставлять по изменению эквивалентной производительности или эквивалентного объема буферной памяти управляющей ЦВМ, что позволяет удобно учитывать затраты на реализацию этих дисциплин в тех же единицах производительности и памяти. Этот метод сравнения эффективности дисциплин диспетчеризации подробно рассмотрен в § 3.5 и 4.3 для систем с ожиданием и с потерями соответственно. [32]