Войти
В информатике, поиск края - это алгоритм для обнаружение тупиков в распределенных системах. Разработано Чанди Мисра Хасс. Всякий раз, когда процесс A блокируется для какого-либо ресурса, проверочное сообщение отправляется всем процессам, от которых может зависеть A. Пробное сообщение содержит идентификатор процесса A, а также путь, по которому сообщение прошло через распределенную систему. Если заблокированный процесс получает зонд, он обновит информацию о пути и направит зонд всем процессам, от которых он зависит. Неблокированные процессы могут отбросить зонд.
Если в конце концов зонд возвращается к процессу A, возникает циклический цикл ожидания заблокированных процессов, и обнаруживается взаимоблокировка. Эффективное обнаружение таких циклов в «графе ожидания » заблокированных процессов - важная проблема реализации.
