Изложена методика моделирования процессов функционирования операционных систем, основанная на концепции потоковых схем. Отсутствие формализованных описаний функционирования операционных систем в терминах теории процессных описаний существенно затрудняет анализ характеристик этих систем методами имитационного моделирования. В качестве языкового средства описания процессов функционирования предложен метаязык, в котором использована идея псевдоязыка описания сцепленных процессов. Для удобства описания указанной предметной области предложен ряд макро-операторов. Применение метаязыка позволило сравнить варианты описания функционирования систем. Наличие описания функционирования системы на псевдоязыке дает возможность без особого труда провести имитационное моделирование на любом алгоритмическом языке имитационного моделирования. В настоящей работе проведено имитационное моделирование по блочно-параметрической схеме с рассредоточенными функциями одного из алгоритмов работы диспетчера операционной системы на языке GPSS. По результатам моделирования построены кривые зависимостей, с помощью которых можно оценить эффективность алгоритмов диспетчеризации в мультипрограммных и мультипроцессорных системах

A method for simulating the processes of functioning of operating systems is set forth, which is based on the concept of streaming schemes. The lack of formalized descriptions of functioning of operating systems in terms of theory of process description substantially impedes the analysis of characteristics of operating systems using the imitating simulation methods. As a linguistic means for description of processes of functioning, the metalanguage is offered, in which the idea of pseudo-language for description of coupled processes is used. For sake of convenience in describing the indicated knowledge domain, a number of macro operators are offered. The metalanguage application allowed variants of the system-functioning description to be compared. The system-functioning description available in pseudo-language provides the possibility to conduct the simulation without particular difficulty using any algorithmic language of the imitating simulation. In this work, the simulation is performed according to the block-parametrical scheme with dispersed functions of one of algorithms of the operating-system dispatcher in the GPSS language. From and multiprocessor systems