Повторный запуск операции, требующей single-flight

V-ASYNC-04 · Нарушение контракта

Повторный запуск операции, требующей single-flight

Проверка кэша с последующим await позволяет нескольким callers одновременно запустить одну дорогую операцию.

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

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

if let value = cache[key] { return value }
let value = await fetch(key)
cache[key] = value

// До await зарегистрировать in-flight Task по key.
// Остальные callers ждут тот же результат.
// Удалять запись по завершении и при ошибке.

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

Реализовать single-flight с отдельными контрактами ошибок, отмены каждого клиента и очистки записи. Кэшировать Task без cleanup недостаточно.

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

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

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

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

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

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

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

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

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

native-experimental.swift-6.3.3

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

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

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

VISION