Я изучаю планирование и, в частности, планирование в реальном времени, реализованное в C. Теперь я застрял с вопросом о вложенных критических разделах.Слайды, которые я изучаю, используют предположение, что если задача использует вложенный критический раздел, она всегда высвобождает сначала внутренний ресурс, а затем второй.Как показано на этом рисунке:
Но я не знаю смысла этого предположения, почему оно важно.Вы можете мне помочь?