Взаємне блокування: відмінності між версіями
| [неперевірена версія] | [неперевірена версія] |
Вилучено вміст Додано вміст
Рядок 12:
Було показано, що для виникнення ситуації взаємного блокування, необхідно виконання наступних чотирьох умов водночас:<ref>(Coffman et al 1971)</ref><ref>(Таненбаум 2002), стор. 188—189</ref><ref>(Abraham 2005), розділ 7.2, стор. 247—249</ref>
# '''Умова [[взаємне виключення|взаємного виключення]]''' ({{lang-en|mutual exclusion}}). Кожен ресурс в поточний момент або зайнятий рівно одним процесом або вільний. Тобто, ресурси знаходяться в режимі ексклюзивного користування.
# '''Умова утримання та очікування''' ({{lang-en|hold and wait}}). Процеси, що в поточний момент утримують отримані раніше ресурси, можуть робити запити на отримання нових ресурсів.
# '''Умова відсутності примусового звільнення ресурсів''' ({{lang-en|no preemption}}). Неможливо примусити процес звільнити раніше отримані ресурси. Процес, що володіє ресурсами, повинен сам їх звільняти.
| |||