К обсуждениям

Python 3.15 RC1: как безопасно проверить новый PyBytesWriter

Редакция VOne Технологии

Практическая миграционная проверка Python 3.15 RC1 для gh-129813: отдельный обратимый fixture, таблица наблюдений, отрицательный контроль, стоп-линия и обезличенный пакет для повтора.

Граница изменения: 129813

PEP 782 добавляет PyBytesWriter для поэтапного создания bytes; PyBytes_FromStringAndSize(NULL, len) и _PyBytes_Resize мягко депрецированы в пользу нового API. Это подтверждает границу интерфейса, но не доказывает наличие дефекта в конкретном проекте. Отдельная пользовательская боль здесь такая: C extension может смешать grow, pointer update, finish и discard, после чего писать по устаревшему указателю или повторно завершить writer; обычный happy-path не покажет cleanup при ошибке. Перед опытом запишите версию interpreter, точную точку вызова и ожидаемую ветку. RC1 остаётся preview: изолируйте его от рабочего интерпретатора.

Обратимый тест одного контракта

Минимальный стенд для этой боли: Соберите минимальное extension с тремя функциями: exact-size write, grow и controlled failure между двумя writes; в каждой ветке допустим ровно один Finish или Discard, а pointer после GrowAndUpdatePointer берите заново. Все входы должны быть синтетическими, короткими и воспроизводимыми. Положительный и отрицательный controls запускайте в свежих объектах или процессах, если cache, import state или lifetime могут перенести эффект. Cleanup должен удалять только созданный temp-root и не касаться рабочих данных.

Таблица наблюдений и отрицательный контроль

Для каждого запуска заполняйте строку «ветка | initial size | grow sizes | bytes written | pointer refreshed | Finish вызван | Discard вызван | Python result/error». Сначала выполните baseline на прежней поддерживаемой версии, затем RC1 и снова свежий baseline, если опыт мог изменить состояние. Пустое поле не равно нулю, отсутствие исключения не подтверждает верное значение, а расхождение повторов означает unstable, а не разрешение выбрать удобную строку.

Зелёный критерий и стоп-линия

Статус passed допустим, только если exact и grow ветки возвращают точные ожидаемые bytes, failure ветка выдаёт явное Python-исключение и вызывает ровно один Discard без утечки. Отметка not reproduced говорит только об этом fixture; blocked — о нехватке источника или capability. Стоп-линия для этой миграции: Не включайте эту миграцию в production wheel до debug-сборки с sanitizer и negative branch; PEP/API подтверждают контракт, но не безопасность вашего C-кода. Нельзя получать зелёный результат broad except, отключением защиты, скрытием warnings или повторением до случайного успеха.

Минимальный пакет для повтора

Для повтора передайте только: один C-файл, команда сборки, три Python-вызова, хеши bytes, счётчик Finish/Discard, sanitizer status и ABI tag wheel. Добавьте московский timestamp, точную версию 3.15.0rc1, команду воспроизведения и заранее заданный критерий. Удалите usernames, hostnames, IP, абсолютные домашние пути, tokens, cookies, environment dumps, рабочие файлы и лишние журналы. Источники подтверждают change boundary, но не результ вашего опыта, не массовость боли и не будущую индексацию.

Материал подготовлен редакцией VOne с помощью ИИ по открытым официальным и первичным источникам; факты, даты и ссылки перепроверены. Реальные пользовательские данные и вымышленные результаты тестов не использовались.

Источники и проверка

Информация актуальна на дату публикации. Правила сервисов, приложений и сетей могут меняться.

Ответы

0 опубликовано
Ответов пока нет. Вы можете начать обсуждение.

Ваш ответ

Добавьте свой опыт или уточнение по теме.

Вы публикуете как Аноним Аватар отличает разговоры, но не раскрывает личные данные.

Ответ появится сразу. Не публикуйте личные данные, ключи и приватные ссылки.