Искусственный интеллект

Помимо необходимости синхронизации выполнения параллельных процессов, управление ими со стороны диспетчера при их мультипрограммном выполнении должно обладать свойством справедливости. Рассмотрим сущность этого свойства. ' 9.4.2. Справедливость Рассмотрим сначала программу без семафоров с полным условием Е.(у) для каждого нетерминального места I * 1е , т.е. Et(y) e Истина для любого >». При этих условиях каждый процесс, который еще не окончился, допустим, т.е. всегда имеет допустимый переход, который выполняется, когда выбран диспетчером. Каждый процесс должен выполняться до тех пор, пока он не достигнет терминального места. Для моделирования этого свойства в мультипрограммном режиме мы требуем, чтобы диспетчер был справедливым. Под справедливостью понимается такое поведение диспетчера, при котором любой процесс, готовый к выполнению, т.е. допустимый, должен в конце концов выполнить свой допустимый переход. Иными словами, запрещается ситуация, в которой какому-либо процессу, еще не закончившему свое выполнение, т.е. имеющему допустимые переходы и не находящемуся в