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

RuleID: portfolio.async.16@1.0.0
Status: recovery-required
Catalog snapshot: 4558458d

Accepted subset is bounded. If required evidence is incomplete, the affected result is unknown.

## V-ASYNC-16 — Истощение cooperative pool синхронными ожиданиями

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

Status: recovery-required

Scope notes: Source producer требует восстановления и квалификации. Если необходимые факты не получены, результат — unknown, а не «ошибки нет».

### Before (illustrative)

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

### After (illustrative)

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

Boundary: Наличие sync или semaphore без progress dependency недостаточно

---
Language: ru
Canonical: https://docs.swift-analyzer.com/catalog/portfolio.async.16/
Source revision: 4558458d