ライブネス
ライブネスとは、並行システムの特性の1つで、同時実行されるコンポーネント(プロセス)がクリティカルセクション(複数のプロセスが同時に実行できないプログラムの部分)で「交代」しなければならないにもかかわらず、システムが進行することを意味する。ライブネスの保証は、オペレーティングシステムや分散システムにおいて重要な特性である。
より一般的には「何か良いことが最終的に起こる」ことを示すのがライブネス特性であり、「何か悪いことが起こらない」ことを示すのが安全性特性である。安全特性に違反した場合、その違反(「悪い」イベントの発生)を示す有限実行が必ず存在するが、ライブネス特性は、分散システムの有限実行では、「良い」イベントが後になっても発生する可能性があるため、違反できない。最終的な一貫性はライブネス特性の一例である。すべての線形時間特性は、安全性特性とライブネス特性の交点として表すことができる。与えられた安全性特性の違反が有限の目撃者を認めるのに対し、ライブネス特性の違反は、証明として使用できる有限の目撃者がいないため、立証が困難な場合がある。