Краткий ответ

Обычная Task по умолчанию наследует приоритет текущей задачи. Это влияет на планирование, но не гарантирует немедленный запуск, порядок выполнения или завершение раньше задач с другим приоритетом.

Исторический контекст

В структурированной конкурентности приоритет нужен для передачи планировщику информации о важности работы. Наследование позволяет дочерним операциям сохранять ожидаемую срочность без ручной передачи параметров при каждом создании задачи.

При этом приоритет является подсказкой планировщику, а не механизмом синхронизации. Он не заменяет ожидание результатов, отмену или защиту общего состояния.

Постановка проблемы

Если задача с высоким приоритетом создаёт обычную Task, разработчик может ошибочно считать, что новая задача обязательно выполнится первой или получит выделенный поток. На практике выполнение может задержаться из-за занятости исполнителей, ожидания, ограничений планировщика или конкуренции с другими задачами.

Обратная ошибка также опасна: ручное назначение высокого приоритета всем задачам не делает приложение быстрее. Это может ухудшить отзывчивость системы и увеличить конкуренцию за ресурсы.

Подробное решение

Если приоритет явно не указан, обычная Task наследует приоритет текущей задачи. Наследование относится к контексту создания задачи; оно не означает, что новая задача будет выполняться на том же потоке или даже на том же исполнителе.

func startWork() async {
    await withTaskGroup(of: Void.self) { group in
        group.addTask(priority: .high) {
            let child = Task {
                await doImportantWork()
            }
            await child.value
        }
    }
}

func doImportantWork() async {}

В примере обычная Task создаётся во время выполнения высокоприоритетной дочерней задачи и без явного параметра наследует её приоритет. Само наличие дескриптора Task не влияет на приоритет и не означает автоматическую отмену.

Приоритет может быть изменён планировщиком в рамках механизмов конкурентности, включая приоритетное продвижение при ожидании результата. Поэтому корректно говорить о предпочтении планировщика, а не о жёстком обещании.

Task.detached отличается тем, что не наследует контекст родительской задачи автоматически. Если приоритет важен, его следует задавать явно, но даже тогда порядок исполнения не гарантируется.

Ситуация из практики

Сервис синхронизации запускается из высокоприоритетной операции пользовательского интерфейса. Разработчик создаёт внутри неё обычную Task без параметра приоритета и ожидает, что синхронизация немедленно завершится первой.

Вариант с явным высоким приоритетом делает намерение заметнее, но не устраняет блокирующие операции и не гарантирует порядок. Вариант с Task.detached изолирует задачу от контекста родителя, однако требует явной передачи нужных данных и приоритета, а также отдельного управления жизненным циклом.

Оптимальное решение — использовать обычную Task для логически связанной работы, полагаться на наследование приоритета только как на подсказку и отдельно обеспечить отмену, неблокирующее выполнение и ожидание результата. В результате задача получает ожидаемое планирование без ложных гарантий о порядке выполнения.

Что кандидаты часто упускают

Означает ли унаследованный высокий приоритет, что задача начнёт выполняться немедленно?

Нет. Приоритет влияет на решение планировщика, но задача может ждать свободного исполнителя, точки возобновления после await или доступности требуемого ресурса. Немедленный запуск и конкретный поток выполнения не гарантируются.

Наследует ли новая Task вместе с приоритетом область изоляции актора?

Обычная Task может наследовать контекст изоляции текущего места создания, если это предусмотрено конкретным контекстом Swift concurrency. Приоритет и изоляция — разные свойства: наследование одного не доказывает наследование другого. Для точного анализа нужно учитывать, где создаётся замыкание и какие требования изоляции у вызываемого кода.

Можно ли использовать приоритет как замену синхронизации между задачами?

Нет. Приоритет не устанавливает порядок записи и чтения, не делает операцию атомарной и не защищает данные от гонок. Для координации применяют await, акторы, структурированные группы задач и другие подходящие средства синхронизации, а приоритет оставляют механизмом планирования.