ненулевом значении ponderFacto

Автор admin Среда, 1 июля 2009 11:32

ненулевом значении ponderFactor вы даже можете убедить себя, что программа не содержит ошибок, хотя на самом деле это не так. Чтобы решить проблему, вы должны понять, что взаимная блокировка возникает при одновременном выполнении четырех условий. • Взаимное исключение. По крайней мере, один ресурс, требующийся потокам, должен исключать одновременный доступ. В нашем примере каждая палочка одновременно может использоваться только одним философом. • По крайней мере, один процесс должен удерживать ресурс и ожидать получения другого ресурса, захваченного другим процессом. Иначе говоря, чтобы возникла блокировка, философ должен держать одну палочку и ожидать освобождения другой. • Ресурс не может быть принудительно отнят у процесса. Освобождение ресурсов происходит только естественным образом. Философы — народ вежливый, они не отбирают палочки у своих коллег. • Возможно циклическое ожидание, когда процесс ожидает освобождения ресурса, удерживаемого другим процессом, который в свою очередь ожидает освобождения ресурса, удерживаемого третьим процессом и т. д., а и-й процесс ожидает доступности ресурса, удержива