Blocking-вызов на критическом executor

V-EXEC-09 · Нарушение контракта

Blocking-вызов на критическом executor

Блокирующая операция занимает executor и мешает обслуживать другие задачи; на MainActor это проявляется зависанием UI.

Пример проблемы и направление исправления

Учебные сокращённые фрагменты Swift или схемы протокола. Вспомогательные API условны. Это не тестовые oracle и не обещание, что текущий subset выдаст диагностику именно на этот код.

@MainActor func refresh() {
    Thread.sleep(forTimeInterval: 2)
}

@MainActor func refresh() async throws {
    try await Task.sleep(for: .seconds(2))
}

Что изменить и что сохранить

Заменить блокирующее ожидание приостанавливающим API. Реальный blocking I/O требует отдельного подходящего исполнителя, а не механической замены на Task.detached.

Что подтверждено сейчас

В срезе 022 требуется восстановление и квалификация source producer. Целевое доказательство и пример описывают желаемое поведение; они не являются свидетельством действующей диагностики.

Владелец реализации

T029: точная область и ограничения прослеживаются во внутреннем source manifest.

Стратегия первого результата

Узкий проверяемый случай — план реализации, не maturity

Смысл результата

Нарушение контракта — не уровень severity

Профиль реестра

native-experimental.swift-6.3.3

Автоисправление и CI

Эта страница не заявляет autocorrect, default enablement или blocking CI.

Ключ происхождения

VISION