Премиерата на PostgreSQL 19 се отлага, след като AI инструменти за преглед на код претовариха екипа с дефекти
Снимка: The Register / Shutterstock
Общността за разработка на най-популярната релационна база данни с отворен код (Open Source) PostgreSQL взе безпрецедентно решение да отложи официалния дебют на PostgreSQL 19 с няколко месеца [1]. Причината не е дефицит на функционалности, а неочаквана криза в процеса по преглед на код (Code Review).
Парадоксът на свръхпродуктивното машинно тестване
През последните месеци разработчици са използвали авангардни AI агенти за статичен анализ и фазинг на изходния C код на ядрото на СУБД. Резултатът е лавина от над 3500 доклада за потенциални състезателни състояния (race conditions), гранични случаи при управление на паметта и дребни логически несъответствия.
Човешкото тесно гърло при верификацията на системния софтуер
Въпреки че голяма част от докладваните проблеми са реални, проверката на всеки отделен дефект в критичен компонент като Transaction Manager или WAL (Write-Ahead Logging) изисква часове дълбок анализ от опитен системен архитект. Машината открива аномалия за секунди, но не може самостоятелно да оцени контекстуалната значимост или да напише коректна кръпка без странични ефекти.
Водещите поддържащи инженери споделят, че пощенските списъци са парализирани от полуавтоматизирани поправки. В опит да защитят стабилността на ядрото, екипът временно замрази приемането на пачове, генерирани без пълен набор от ръчно верифицирани регресионни тестове.
Асиметрията между генерацията на код и човешкия капацитет за верификация
Случаят с PostgreSQL 19 разкрива фундаментален структурен проблем в съвременното софтуерно инженерство: асиметрията между експоненциалната скорост на генериране на код и линейния капацитет за човешка когнитивна верификация. Когато разходите за създаване на код и откриване на дефекти клонят към нула, разходите за валидация се превръщат в абсолютен таван на прогреса.
Ако отворените инфраструктурни проекти не изградят автоматизирани консенсусни протоколи за верификация на ниво компилатор и формални математически доказателства за коректност, поддръжката на ключови софтуерни системи ще колабира под тежестта на машинно генерирания шум. Отлагането на PostgreSQL 19 е първият ясен сигнал за тази системна криза.
Инфографика: Светни.ме • Аналитичен поглед върху тенденциите и последствията