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