Устаревший результат перезаписывает новое поколение

V-ASYNC-03 · Дефект

Устаревший результат перезаписывает новое поколение

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

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

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

let result = await search(query)
state.results = result

let revision = generation
let result = await search(query)
guard revision == generation else { return }
state.results = result

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

Проверять поколение или идентичность запроса перед commit. Отмена старой задачи полезна, но сама по себе не гарантирует отсутствие позднего ответа.

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

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

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

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

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

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

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

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

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

native-experimental.swift-6.3.3

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

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

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

VISION