線形化ポイント
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/11/30 20:34 UTC 版)
線形化可能性のこの定義は、次のものと同等である。 すべての関数の呼び出しは、その呼び出しと応答の間のある瞬間に線形化点(線形化ポイント)を持つ。 すべての関数はその線形化点(線形化ポイント)で瞬時に発生しているように見え、逐次定義で指定された通りに動作する。 この方法は、通常、証明するのがはるかに簡単である。また、直感的に理解できることから、ユーザーとしても推論しやすいものとなっている。この瞬間的に発生する、あるいは不可分に発生するという特性から、長い「線形化可能」の代わりに「アトミック」という用語が使われている。 以下の例では、compare-and-swapで作られたカウンターの線形化ポイントは、最初の(そして唯一の)compare-and-swap更新の成功の線形化ポイントとなる。ロックを使用したカウンターは、ロックが保持されている間は、競合する可能性のある操作が実行されないため、いつでも線形化されると考えることができる。
※この「線形化ポイント」の解説は、「線形化可能性」の解説の一部です。
「線形化ポイント」を含む「線形化可能性」の記事については、「線形化可能性」の概要を参照ください。
- 線形化ポイントのページへのリンク