Централизованный

Выбирается координатор, который периодически строит срез, анализирует граф зависимостей, ищет циклы и deadlockи