Как може да се случи ситуация, при която опашка с по-нисък приоритет получава достъп до ресурсите по-рано, отколкото опашка с по-висок приоритет?

Това може да се случи поради инверсия на приоритетите.

Инверсията на приоритетите възниква, когато задача с нисък приоритет държи ресурс (например, mutex), който е необходим за задача с висок приоритет. Задачата с висок приоритет е блокирана, чакайки освобождаването на ресурса. В същото време, задача със среден приоритет може да бъде прекъсната от друга задача, която не се нуждае от този ресурс. В резултат, задачата със среден приоритет се изпълнява, докато задачата с нисък приоритет, която държи ресурса, и задачата с висок приоритет, която е блокирана, чакат. В действителност, задачата с висок приоритет чака задачите със среден и нисък приоритет да освободят ресурса.

Решения на проблема с инверсията на приоритетите:

• Наследяване на приоритети (Priority Inheritance): Когато задача с нисък приоритет държи ресурс, необходим за задача с висок приоритет, ѝ се приписва временно приоритетът на блокираната задача с висок приоритет. След освобождаването на ресурса, приоритетът се връща към първоначалния.
• Протокол за таван на приоритетите (Priority Ceiling Protocol): На всеки ресурс се приписва "таван на приоритет" — най-високият приоритет сред всички задачи, които могат да използват този ресурс. Задача може да получи достъп до ресурса само ако текущият ѝ приоритет е по-висок от тавана на приоритетите на всички заети ресурси в момента (включително тези, които вече държи).

В iOS, Grand Central Dispatch (GCD) и Operation Queues разполагат с механизми за минимизиране на инверсията на приоритетите, но в сложни сценарии с блокировки такива ситуации все още могат да възникнат, ако се използват неправилно.