最初のページ 戻る 次へ 最後のページ イメージ

B)連鎖的アボートの回避

スケジュールSにおいて

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

スケジュールSは連鎖的アボートを回避できる

常に満たされる

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

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

C1がR3(B)に先行