Истощение cooperative pool синхронными ожиданиями

V-ASYNC-16 · Сигнал для review

Истощение cooperative pool синхронными ожиданиями

Синхронное ожидание внутри cooperative pool может занять все потоки, необходимые задаче-производителю.

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

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

Task {
    semaphore.wait()
    // signal должен выполнить другой Task.
}

// Ожидание приостанавливает задачу, освобождая executor.
let result = await producer.value

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

Заменить blocking bridge на async-протокол. Перенос semaphore.wait в Task.detached не гарантирует выделенного потока.

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

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

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

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

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

Experimental advisory — план реализации, не maturity

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

Сигнал для review — не уровень severity

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

native-experimental.swift-6.3.3

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

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

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

VISION