ライブネス

ライブネスとは、並行システムの特性の1つで、同時実行されるコンポーネント（プロセス）がクリティカルセクション（複数のプロセスが同時に実行できないプログラムの部分）で「交代」しなければならないにもかかわらず、システムが進行することを意味する。ライブネスの保証は、オペレーティングシステムや分散システムにおいて重要な特性である。

この神経はここで途切れています。