Какой из следующих механизмов обеспечивает **strong consistency** в распределённых системах?