Примеры надёжного и ненадёжного состояния

Пример надежного состояния

Представим, что система имеет двенадцать одинаковых лентопротяжных устройств, причем эти накопители распределяются между тремя пользователями, как показано в таблице 1.

Таблица 1 — надёжное состояние.

Это состояние является «надежным», поскольку при этом состоянии все три пользователя закончат работу. Отметим, что в текущий момент пользователь (2) имеет четыре выделенных ему устройства и со временем потребуется ещё больше, максимум шесть, т. е. два дополнительных устройства. В наличии у системы находится двенадцать устройств, из которых десять в реальном времени в работе, а два остальных — в резерве. Если два остальных резервных устройства, которые имеются в наличии, выделить пользователю (2), удовлетворяя тем самым максимальную потребность этого пользователя, то он может продолжать свою работу пока не завершится. После того как он завершился пользователь (2) освободит все шесть своих устройств так, что система сможет отдать их пользователю (1), а также пользователю (3). Пользователь (1) имеет одно устройство и со временем ему понадобится еще три. У пользователя (3) — пять устройств и со временем ему понадобится еще три. Если пользователь (2) возвращает шесть накопителей, то три из них можно отдать пользователю (1), который получает таким образом возможность для завершения работы и затем отдать четыре накопителя системе. После всего система может отдать три накопителя пользователю (3), который тем самым также получает возможность закончить работу. Таким образом, основной показатель надежного состояния — это присутствие последовательности действий, позволяющей всем пользователям вовремя закончить работу.