ライブネスと安全性

ウィキペディア小見出し辞書

ライブネスと安全性

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/07/26 07:42 UTC 版)

「ライブネス」の記事における「ライブネスと安全性」の解説

B. Alpernによれば、デッドロックフリーは安全性の性質である。Alpernは、システムの状態が、デッドロックがある状態（赤の状態）と、デッドロックがない状態（緑の状態）に分けられることを前提としている。システムが永遠に緑の状態にとどまる（あるいは、赤の状態にならない）という性質は、安全性の性質である。しかし、緑の状態と赤の状態の区別がつかない場合、最終的にシステム内のいずれかのプロセスが進化するという性質をライブネス性質という。