Как может сложиться ситуация, при которой очередь с меньшим приоритетом получает доступ к ресурсам раньше, чем очередь с более высоким приоритетом?

Это может произойти из-за инверсии приоритетов.

Инверсия приоритетов возникает, когда задача с низким приоритетом удерживает ресурс (например, мьютекс), необходимый задаче с высоким приоритетом. Задача с высоким приоритетом блокируется, ожидая освобождения ресурса. При этом задача с низким приоритетом может быть вытеснена задачей со средним приоритетом, которая не нуждается в этом ресурсе. В итоге, задача со средним приоритетом выполняется, пока задача с низким приоритетом, удерживающая ресурс, и задача с высоким приоритетом, заблокированная, ожидают. Задача с высоким приоритетом фактически ожидает, пока выполнятся задачи со средним приоритетом и задача с низким приоритетом освободит ресурс.

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

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

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