|
不可分操作(ふかぶんそうさ)あるいはアトミック操作 (Atomic Operation) とは、情報工学においていくつかの操作を組み合わせたもので、システムの他の部分から見てそれらがひとつの操作に見えるものをいう。 ==条件== 不可分操作は、以下の2つの条件を満たさなければならない。 # 全操作が完了するまで、他のプロセスはその途中の状態を観測できない。 # 一部操作が失敗したら組合せ全体が失敗し、システムの状態は不可分操作を行う前の状態に戻る。 システムの他の部分から見て、操作の組合せが一度に成功したか失敗したように見える。途中の状態にアクセスすることはできない。このため不可分操作あるいはアトミック操作(= 原子操作)と呼ぶのである。 マルチプロセッサでなくとも、この実装は重要である。制御の流れが変更される可能性がある限り、不可分性がなければシステムが不正な状態になってしまう可能性がある。 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「不可分操作」の詳細全文を読む 英語版ウィキペディアに対照対訳語「 Linearizability 」があります。 スポンサード リンク
|