Гонка на общей памяти за unsafe/legacy boundary

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

Гонка на общей памяти за unsafe/legacy boundary

Unsafe Sendable или legacy-граница может скрыть общую изменяемую память от проверок компилятора.

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

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

// Box объявлен @unchecked Sendable.
Task.detached { box.count += 1 }
Task.detached { box.count += 1 }

// Состояние принадлежит actor.
await counter.increment()

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

Удалить необоснованный unsafe-контракт либо обеспечить одну доказанную синхронизацию всех обращений. Не дублировать уже выдаваемую компилятором диагностику.

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

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

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

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

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

Исследовательский прототип — план реализации, не maturity

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

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

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

native-experimental.swift-6.3.3

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

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

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

VISION