Thread-affine значение переживает suspension

V-EXEC-07 · Дефект

Thread-affine значение переживает suspension

После await задача может продолжиться на другом потоке даже при сохранённой actor isolation. Thread-local ресурс нельзя считать автоматически сохранённым.

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

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

let handle = acquireThreadLocalHandle()
await load()
use(handle)

await load()
withThreadLocalHandle { handle in
    use(handle) // Без suspension внутри области.
}

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

Ограничить использование синхронной областью либо выбрать ресурс с подходящим executor-контрактом. Actor и OS thread — разные гарантии.

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

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

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

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

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

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

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

Дефект — не уровень severity

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

native-experimental.swift-6.3.3

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

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

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

VISION