Результаты (
русский) 2:
[копия]Скопировано!
Предположим, что центральный планировщик (это только один процесс выполняет шаг в любое время), и пусть каждый узел рассмотрим только один сосед, в то время (то есть, мелкозернистая атомарности). К сожалению, наивный алгоритм не прекращается, так как существуют бесконечные модели поведения с участием одного или нескольких узлов. * Если вместо этого мы изменим алгоритм, позволяя узлу изучить всю его окрестности (то есть, крупнозернистый атомарность), прежде чем выбрать новый цвет, который отличается от цвета своих соседей, то после того, как узел 0 выполняет действие, узел 2 не имеет какого-либо права на действия, поэтому вычисление попадает в тупик.
переводится, пожалуйста, подождите..
