Admissibility of schedules

• No admissible schedule:

BACBA, then deadlock…

• Adding one token (delay) on A->C makes

BACBACBA valid

• Making a periodic schedule admissible is always possible, but changes specification...

Previous slide

Next slide

Back to first slide

View graphic version