调度中的嵌套关​​键部分

Question

我正在研究调度，特别是用C实现的实时调度。 现在我遇到了关于嵌套关键部分的问题。我正在研究的幻灯片使用的假设是，如果任务使用嵌套的临界区，它总是首先释放内部资源然后释放第二个。如图中所示：

但是，我不知道这个假设的意义，为什么它很重要。你能救我吗？