CockroachDB утверждает следующее:
Оптимистичный параллелизм с распределенным обнаружением взаимоблокировок
Интересно, какой алгоритм используется для обнаружения тупиков?