相対的なモデルの強さ

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

相対的なモデルの強さ

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/08/29 18:38 UTC 版)

「一貫性モデル (ソフトウェア)」の記事における「相対的なモデルの強さ」の解説

一貫性モデルの中には、他のモデルよりも制限が厳しいものがある。言い換えれば、厳密な一貫性モデルは、より多くの制約を一貫性要件として強制する。モデルの強さは、プログラムの順序や不可分性の緩和によって定義され、モデルの強さを比較することもできる。あるモデルは、同じ緩和を適用しているか、それ以上の緩和を適用している場合、直接に関係している。一方、異なる要件を緩和したモデルは直接関係しない。 逐次整合性（一貫性）には、プログラム順序と書き込みの不可分性という2つの要件がある。これらの要件を緩和することで、異なる緩和された一貫性モデルを得ることができる。これは、緩和された制約とともに、性能が向上するように行われるが、プログラマは、同期技術を適用してメモリ一貫性を実装する責任があり、ハードウェアを十分に理解していなければならない。 緩和の可能性: 書き込みから読み込みへのプログラム順序 書くために書くプログラムの順序 読み込みから読み込みと読み込みから書き込みのプログラム命令