"По-хорошему такая целостность вообще очень редко когда нужна и *недостижима* для распределённых систем в общем случае, но это тема отдельного поста."

Что, правда? Очень хочу прочесть пост с доказательством недостижимости :)
(Я думаю, что могу строго доказать достижимость в общем случае :))