Представление состояния процесса

Книга задача процесс среды подзадача процесс АПР Показаны рабочие состояния процесса среды (детали сервиса языка PEARL опущены). Процесс среды EP(N) называется пассивным, если в этой среде не существует ни одного процесса АПР; выполнимым, если в среде существует хотя бы один выполнимый или уже выполняющийся процесс; и приостановленным, если в среде существует хотя бы один процесс, но ни один из них не может выполняться. Кроме того, полезно ввести состояние «неопределен», которое фактически не является состоянием самой среды, а скорее связано с отношением между этой средой и некоторыми другими процессами (или средой АПР) . Среда считается неопределенной для некоторого другого процесса, если последний не знает о ее существовании или, по крайней мере, не знает, как осуществить с ней связь. Таким образом, рабочее состояние среды тесно связано с рабочими состояниями процессов АПР, которые ей принадлежат. Каждый процесс АПР должен пройти состояние «существование». Он переходит в это состояние сразу после того, как он создан в среде по запросу некоторого другого процесса. Чтобы процесс АПР стал выполнимым, его необходимо инициализировать. При инициализации определенным объектам в соответствующей структуре данных присваиваются значения, имеющие смысл и непротиворечивые с точки зрения выполняемых операций. Как уже говорилось, эти действия соответствуют обеспечению связи цели проектирования с подчиненным процессом проектирования. Для выполнения некоторой последовательности шагов процесс перейдет в состояние «выполнение», из которого выйдет после выполнения задачи. В состоянии «выполнение» может возникнуть необходимость в его поддержке другими процессами. Могут потребоваться ресурсы, может потребоваться создание новых подпроцессов и получение результатов их выполнения; может потребоваться поддержка процесса более высокого уровня или процесса среды. В таких случаях процесс АПР перейдет в состояние «ожидание».

Releated Post

Добавить комментарий

Ваш e-mail не будет опубликован. Обязательные поля помечены *

Этот сайт использует Akismet для борьбы со спамом. Узнайте как обрабатываются ваши данные комментариев.