У меня есть четыре вопроса относительно связи между голоданием и ограниченным ожиданием.
#P5# #P6##P7#
Подразумевает ли голодная свобода ограниченное ожидание?
Подразумевает ли ограниченное ожидание свободу от голода?
Подразумевает ли ограниченное ожидание И свобода от тупика свободу от голодания?
Я застрял в точке 2,3,4.
2. Подразумевает ли голодание-свобода ограниченное ожидание?
Starvation означает, что поток будет ждать бесконечно долго. Но starvation-freedom означает, что поток не будет ждать вечно и в конце концов получит ресурс. Bounded waiting означает, что существует ограничение на количество раз, когда потокам разрешено вводить свои critical sections после того, как поток сделал запрос на ввод своего critical section и до того, как этот запрос будет удовлетворен. Итак, ясно, что starvation freedom подразумевает bounded waiting, иначе какой-то другой поток всегда может быть в Critical section, а это противоречит starvation-freedom.
3. Подразумевает ли ограниченное ожидание свободу от голодания?
Ответ также да, потому что после того, как лимит будет превышен, ожидающий процесс получит возможность ввести critical section и, следовательно, никакого бесконечного ожидания и, следовательно, starvation-freedom.
4. Подразумевает ли ограниченное ожидание И свобода от взаимоблокировок свободу от голодания?
Из приведенного выше объяснения ясно, что оно также верно.
