CockroachDB распределенный алгоритм обнаружения тупиков

Question

CockroachDB утверждает следующее:

Оптимистичный параллелизм с распределенным обнаружением взаимоблокировок

Интересно, какой алгоритм используется для обнаружения тупиков?