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