最初のページ 戻る 次へ 最後のページ 画像

A)回復可能性

スケジュールSにおいて

「Ri(A)で読み込まれるA値がWj(A)によって書かれた値であり、TiがコミットするときはCjがCiに先行する」

スケジュールSは回復可能である

常に満たされる

S:R1(A) R1(B) W1(B) C1  R3(B) R3(C) W3(B) C3

R3(B)はW1(B)で書かれた値

C3でコミットする前に

C1でコミット