10 Priority-Inheritance Protocol,Transitive Blocking,Chain Blocking

admin

優先權繼承協議（Priority-Inheritance Protocol, PIP）是一種用於解決優先級倒置（Priority Inversion）問題的同步機制。

在這個協議中，當一個高優先級的任務（如 Task A）試圖鎖定一個已經被低優先級任務（如 Task B）鎖定的資源時，Task B的優先級會提升（或"繼承"）到Task A的優先級。這樣，Task B可以優先於中等優先級的任務（如 Task C）執行，避免了優先級倒置的問題，即高優先級的任務被中等優先級的任務阻塞。

然而，這種優先級提升在優先權繼承協議中並不是在鎖定（Locking）資源時觸發，而是在發生阻塞（Blocking）時觸發。也就是說，當一個高優先級的任務試圖鎖定一個已被低優先級任務鎖定的資源，並因此被阻塞時，該低優先級任務的優先級才會提升。這種方式確保了只有在必要的情況下，也就是當高優先級任務實際被阻塞時，才會發生優先級的提升，進而避免了不必要的優先級變化和相關的context switch。


在優先權繼承協議（Priority-Inheritance Protocol, PIP）中，可能會出現傳遞阻塞（Transitive Blocking）和鏈式阻塞（Chain Blocking）。以下分別解釋這兩種阻塞類型：

• 傳遞阻塞（Transitive Blocking）：在這種情況下，一個高優先級的任務（如 Task A）因為等待一個被低優先級任務（如 Task B）鎖定的資源而被阻塞。由於優先權繼承協議，Task B 的優先級會提升到 Task A 的優先級。但是，如果 Task B 也在等待另一個被更低優先級任務（如 Task C）鎖定的資源，那麼 Task B 也會被阻塞。在這種情況下，優先級的提升會傳遞地應用於 Task C。因此，Task C 的優先級也會提升，從而形成一個傳遞阻塞鏈。
  
• 鏈式阻塞（Chain Blocking）：在這種情況下，一個任務被阻塞，因為它在等待另一個任務釋放資源，而後者則在等待另一個任務釋放資源，依此類推。這種鏈式阻塞可能會導致一個任務被多個任務阻塞，形成一個阻塞鏈。
  

在優先權繼承協議中，可能同時出現傳遞阻塞和鏈式阻塞。例如，當高優先級的任務 A 被阻塞，因為它在等待低優先級的任務 B 釋放資源，而任務 B 又在等待更低優先級的任務 C 釋放資源時，會形成一個由傳遞阻塞和鏈式阻塞組成的阻塞鏈。這種情況會導致多個任務的優先級提升，並可能對系統的調度性能產生影響。
兩者的主要區別在於，傳遞阻塞涉及到優先級的提升和優先級的傳遞，而鏈式阻塞則涉及到一系列的任務因為等待同一個資源而形成的阻塞鏈。



優先級繼承協議（Priority-Inheritance Protocol, PIP）的主要目標是解決優先級倒置（Priority Inversion）問題，並不直接解決死鎖（Deadlock）問題。因此，即使在使用了優先級繼承協議的情況下，仍然可能出現死鎖。