Тупик простой планировщик - PullRequest
0 голосов
/ 22 мая 2018

Рассмотрим на простом планировщике, предположим, что мы упорядочили (пронумеровали) все объекты: как доказать, что если все транзакции обращаются к объектам в этом порядке, то тупиковая ситуация невозможна?

Это то, что я знаю: в простом планировщике планировщик предотвратит любую операцию, которая может привести к тому, что набор открытых транзакций не будет дизъюнктным.

1 Ответ

0 голосов
/ 22 мая 2018

Я предполагаю, что это для назначения, которое должно скоро произойти.Я не буду отвечать вам полностью, но подумайте над тем, чтобы сформулировать доказательство от противного.Начните с предположения, что все объекты упорядочены и что существует циклическое ожидание (что необходимо для тупика).Поэтому, возможно, Pn хочет r1, который содержит P0, но P0 хочет r2, который содержит P1.Подумайте о том, что это может означать с точки зрения упорядочения, и подумайте о случае, когда Pn ожидает чего-то меньшего, чем rn, поскольку это должно было бы произойти для циклического ожидания.

Я чувствую себя такозадаченно сформулирован, но, надеюсь, это поставит вас на правильный путь !!

...