Взаємне блокування: відмінності між версіями
| [перевірена версія] | [перевірена версія] |
Вилучено вміст Додано вміст
MobyVan (обговорення | внесок) м replaced: в якості → як, В якості → Як за допомогою AWB |
Виправлено джерел: 1; позначено як недійсні: 0. #IABot (v2.0beta14) |
||
Рядок 90:
Тепер, для уникнення циклічного очікування, встановимо наступне правило: ''процес може запитувати ресурси лише в зростаючому порядку номерів''. Як варіант, процес має звільняти ресурс з більшим порядковим номером перед поданням запиту на ресурс з меншим номером.
Попри те, що встановлення та дотримання правильного порядку отримання доступу до ресурсів є відповідальністю розробника ПЗ, існють спеціалізовані інструменти для перевірки дотримання порядку та повідомлення про помилки. Одним з прикладів є програма witness, що працює на операційних системах сім'ї [[Berkeley Software Distribution|BSD]].<ref name=witness>{{cite web|url=http://www.freebsd.org/cgi/man.cgi?query=witness&apropos=0&sektion=0&manpath=FreeBSD+7.0-RELEASE&format=html|title=FreeBSD 7.0: WITNESS(4) Manual page|date=2008-07-24|archiveurl=
=== Уникнення ===
| |||