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

C)厳格性

スケジュールSにおいて

「Ri(A)またはWi(A)よりもWj(A)が先行するときCjまたはAjがそのRi(A)またはWi(A)に先行する」

スケジュールSは厳格である

常に満たされる

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

W1(B)はR3(B),W3(B)より先行

C1またはA1は

R3(B),W3(B)より先行

厳格なスケジュールでは連鎖的アボートは発生しない