Appianエンジン間の「Split-brain」状況を回避するために使用される仕組みはどれか。

分散システムにおいて、どのサーバーがリーダー(主)であるかを一意に決定し、不整合を防ぐ。