Cтраница 4
Казалось бы, такая теорема позволяет нам выбросить правила выполнения первичных алгоритмов. А наука ( по крайней мере математика) этого не допускает. Несмотря на это, указанная теорема позволяет не выделять первичные алгоритмы из совокупности всех алгоритмов. [46]
Несколько более сложны в реализации абсолютные приоритеты. При них появление заявок на выполнение алгоритма более высокого приоритета, чем выполняемый в данный момент, прерывает выполнение алгоритма и УВМ приступает к выполнению того алгоритма, на который только что поступила заявка. После выполнения алгоритма происходит выбор новой заявки из очереди с самым высоким приоритетом. Судьба прерванной заявки может быть различной: во-первых, она может быть потеряна; во-вторых, выполнение первичного алгоритма может быть продолжено с прерванного места по мере появления в УВМ такой возможности. Первый случай соответствует, например, ситуации, когда определение значений измеряемых величин оказалось прерванным алгоритмом обнаружения неисправностей и их диагностикой и в момент окончания этого алгоритма уже пришли новые данные о значениях измеряемых величин ( начался новый период опроса), поэтому нет смысла продолжать прерванный алгоритм со старыми значениями измеряемых величин. Второй случай соответствует коротким прерываниям, значительно меньшим, чем периоды опроса измеряемых величин. В отличие от относительных приоритетов, действующих только в моменты окончания выполнения очередного алгоритма, абсолютные приоритеты действуют, кроме того, и в моменты поступления новых заявок в УВМ. [47]