+++

Я вот даже затрудняюсь описать это как-то кратко.

Есть система А и система Б
система А валидирует и обрабатывает in-запрос - 1) проверить можно ли снять деньгу 2) снять деньгу
система Б дополнительно валидирует in-запрос - 3) а точно ли можно снять деньгу
Взаимодействие - синхронное, через REST-API

Задача - описать протокол их взаимодействия включая всякие возможные проблемы.

Если издалека смотреть, то как-то с натягом похоже на 2PC.

ну звучит похоже на консенсус да

Бошка опухла думать про это. Хочется что-нть почитать для вдохновения.

проблема с литературой по дист-системам в том, что после её прочтения голова опухнет еще больше :)

там сплошные корнер-кейсы и адхок-теории

ещё и неверные результаты)

у меня сча 146% головы занято корнер кейсами

да, но нужно будет найти еще именно такую где кейсы совпадают с твоими, а в процессе поиска ты узнаешь еще 100500 их разновидностей

Не думай, пусть академики думают, пиши код так

Так оно вообще не работает 😕
Результат такого подхода - гора и маленький холмик багов, которые оттягивают на себя все доступное время разработчиков(меня)

ну это общая проблема этих штук, нет канонических теорий, как в конкаренси, но тут еще хуже

по большому счёту дист системы это конкаренси + обработка ошибок

причем ошибки бывают еще и зловредные ("византийские")

Ну этого в нашем случае, слава богу, нет

там есть ряд каких-то выработанных абстракций типа shared object, consensus, broadcast

но натягиваются они всегда на конкретные случаи с большим скрипом

Писали же умные люди - Не разрабатывайте распределенные системы.

Факт