Liveness とは

コンカレント・コンピューティングでは、同時に実行するコンポーネント(「プロセス」)がクリティカル・セクション、プログラムの一部分で「交代」しなければならないにもかかわらず、システムが進歩することを必要とするコンカレント・システムのプロパティのセットを意味します複数のプロセスで同時に実行することはできません。動作保証はオペレーティングシステムと分散システムの重要な特性です。
「良い」イベントは、理論的には実行が終了してからしばらくの間しか発生しない可能性があるため、分散システムの有限の実行では、ライブネスプロパティを侵害することはできません。最終的な一貫性は、活性プロパティの一例です。すべての特性は、安全性と活性特性の交差として表現することができます。安全性は有限の証人を認めていますが、有限の証人がそれらを保持していないことを証明するために使用することができないので、生活性は確立するのが難しいかもしれません。