Таймер модельного времени

Различные события реальных систем происходят в течение некоторого периода времени, клиенты приходят в парикмахерскую; когда подходит их очередь, они попадают на обслуживание к парикмахеру. Стрижка заканчивается, и клиент покидает парикмахерскую: если все эти события представить в модели, то их возникновение должно происходить на фоне модельного времени. Следовательно, интерпретатор GPSS должен автоматически обслуживать таймер модельного времени.

Когда начинается моделирование, в интерпретаторе планируется приход первого транзакта. После этого таймер модельного времени останавливается в значении времени, соответствующем моменту появления первого транзакта в модели. Этот транзакт (а также другие, если они приходят в тот же момент времени) входит в модель. Далее он (или они, друг за другом) продвигается через все возможные блоки модели, которые ему встречаются. Естественно, что в этот первый отмеченный таймером момент времени ничего более в системе не происходит. Интерпретатор GPSS продвигает далее значение таймера до значения времени, когда происходит следующее (или следующие) событие, которое запланировано. Эти события, возникающие как следствие продвижения транзактов через блоки, происходят в последующие моменты времени. Когда в этот второй отмеченный таймером момент времени не остается транзакта, который надо перемещать, таймер опять меняет значение, и т. д. Именно таким образом и происходит изменение модельного времени.

Одним из преимуществ системы GPSS является то, что таймер модельного времени корректируется автоматически в соответствии с логикой, предписанной моделью. Таким образом, разработчику нет необходимости самому следить за точным изменением времени.

Рассмотрим некоторые важные особенности GPSS и его таймера.

• — Таймер GPSS регистрирует целые значения. Это означает, что события могут возникать только в «целые» моменты времени.
• — Единицу времени, которая может быть отмечена таймером, определяет разработчик. Однако единицу времени никогда не сообщают интерпретатору. Это значение выражают в неявном виде в форме временных данных, вводимых в модель. Если все такие данные выражены в минутах, то подразумеваемой единицей времени будет минута. Если все данные выражены в миллисекундах, то такой единицей времени будет миллисекунда. Разработчик может задавать такую единицу времени, которая ему удобна для того, чтобы правильно отразить события реальной системы в модели. Он должен при этом следить за тем, чтобы все данные, связанные со временем, были выражены через определенную минимальную единицу времени.
• — GPSS является интерпретатором для «следующего события». Иначе говоря, после того как модель полностью скорректирована в данный момент модельного времени, таймер продвигается к ближайшему значению времени, в которое происходит следующее событие (точнее, к следующему моменту времени, на которое запланировано возникновение события). Интервал модельного времени пропускается, если на этом интервале нет событий. Практически это означает, что время прогона модели не зависит от единицы времени, выбранной разработчиком.

Определим, наконец, в чем же заключается различие между модельным и реальным временем. Когда значение таймера модельного времени продвигается в следующую точку, происходит некоторая задержка, для того чтобы скорректировать модель. В реальной же системе такого времени на корректировку не существует, Не исключено, что для моделирования только одной минуты модельного времени потребуется несколько часов реального времени (например, при моделировании вычислительных систем). С другой стороны, эксперименты, которые проводят в течение недель месяцев или даже лет реального времени, могут занимать всего несколько секунд модельного времени при моделировании на ЭВМ. Такое свойство моделей, позволяющее как бы сжимать время, является одним из потенциальных преимуществ экспериментирования с системами с помощью моделирования их на ЭВМ.