Усиление стоимости из-за actor crossings

V-EXEC-12 · Возможность улучшения

Усиление стоимости из-за actor crossings

Поэлементные обращения к actor многократно оплачивают переход и открывают промежутки для interleaving. Пакетный метод иногда дешевле и точнее выражает операцию.

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

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

for value in values {
    await store.insert(value)
}

await store.insertBatch(values)

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

Добавить пакетный API с явно согласованными атомарностью, fairness и cancellation. Один огромный batch тоже может задерживать остальные задачи.

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

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

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

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

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

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

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

Возможность улучшения — не уровень severity

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

native-experimental.swift-6.3.3

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

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

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

VISION