Какой из следующих механизмов наиболее эффективен для обеспечения согласованности данных в распределённой системе с высокой нагрузкой?