線形化可能性の歴史
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/11/30 20:34 UTC 版)
線形化可能性は、1987年にハーリー(Maurice Peter Herlihy)とWingによって初めて一貫性モデルとして紹介された。このモデルは「アトミックな操作とは、同時実行される操作によって割り込みされることがない操作である」といった、より限定的なアトミックの定義を含んでおり、操作の開始と終了がいつであるかについては通常曖昧である。 アトミックなオブジェクトは、逐次的・直列的な定義から即座に完全に理解することができる。並列に実行される一連の操作が常に次々と発生しているように見えることであり、矛盾が生じることはない。具体的には、線形性は、システムの不変性がすべての操作によって観察され、保存されることを保証する。すべての処理が個々に不変性を保持していれば、システム全体としても不変性を保持していることになる。
※この「線形化可能性の歴史」の解説は、「線形化可能性」の解説の一部です。
「線形化可能性の歴史」を含む「線形化可能性」の記事については、「線形化可能性」の概要を参照ください。
- 線形化可能性の歴史のページへのリンク