TO-Scheduler
Satz TO: Ein Schedule, der unter Einhaltung der TO-Regel
entsteht, ist serialisierbar.
Beweisüberlegung: Bei einem Zyklus in SG kann TO-Regel
nicht eingehalten sein.
T1 ? T2 ? … ? Tk ? T1 sei ein Zyklus in SG
ts(T1) < ts(T2) < … < ts(Tk) < ts(T1) Widerspruch
Previous slide
Next slide
Back to first slide
View graphic version
!!! Dieses Dokument stammt aus dem
ETH Web-Archiv
und wird nicht mehr gepflegt !!!
!!! This document is stored in the
ETH Web archive
and is no longer maintained !!!