Distributed Systems, Architecture, Software Architecture, Разработка, Архитектура.
Если потенциально причинность есть, то и показывать сообщения надо в том же порядке. Ну и историю с locks авторы рассматривают чуть глубже, показывая стандартные критерии для exclusive/nonexclusive locks. Рис.7 "Criteria for locks" Отдельно хочется отметить разницу между консистеностью и