Пример Paxos из реального мира

Может ли кто-нибудь привести мне реальный -мировой пример того, как алгоритм Paxos используется в распределенной базе данных? Я прочитал много статей о Paxos, которые объясняют алгоритм, но ни одна из них не объясняет на реальном примере.

Простым примером может быть банковское приложение, в котором учетная запись модифицируется посредством нескольких сеансов (, т. е. депозита у кассира, операции дебетования и т. д. ). Используется ли Paxos для определения того, какая операция выполняется первой?Кроме того, что подразумевается под несколькими экземплярами протокола Paxos? Как это когда используется? По сути, я пытаюсь понять все это на конкретном примере, а не на абстрактных терминах.