ClangIR на базе MLIR может улучшить диагностику и оптимизации, но его сборка по умолчанию увеличит время компиляции Clang более чем вдвое. Пока речь только о сборке, не о включении по умолчанию. Нужен флаг -fclangir.
Исследователи показали, что атака trusting-trust возможна не только через компилятор, но и через утилиту strip. Одна скомпрометированная версия strip в бинарном seed NixOS заражает все последующие сборки, включая финальный графический установщик. Почти все бинарники получают бэкдор.
Инженер AMD предложил двухстрочный патч для GCC, корректирующий стоимость ошибочного предсказания ветвлений для Zen 4 и Zen 5. В SPEC CPU 544.nab_r на Zen 5 получено +12%, на Zen 4 +9% при сборке с -O3 -march=native -flto. Патч войдёт в GCC 17 или 16.3.
В nightly Rust появился для тестирования RFC 3323: impl_restriction ограничивает область реализации трейта (например, impl(crate)), а mut_restriction — область мутации поля (pub mut(crate)). Это более прямой вариант sealed trait и геттеров, с понятными ошибками компилятора; работает и для enum-вариантов, и для union.
Второй стабильный релиз GCC 16 принёс более сотни багфиксов. Среди нововведений GCC 16: экспериментальный HTML-вывод ошибок, фронтенд Algol 68, поддержка AMD Zen 6 и Instinct MI300, C++20 по умолчанию. 16.2 — чисто стабилизирующий патч.
Подробности не раскрыты — известно только, что на nightly-канале Rust стала доступна альфа-версия Polonius, следующей итерации borrow checker. Ожидается, что новый анализатор ослабит некоторые ограничения текущего borrow checker.
В LLVM upstream приняли x86/x86_64 target для Lightweight Fault Isolation — техники, которая позволяет песочить native-код прямо внутри процесса. До этого аналогичный target уже был для AArch64; теперь исследовательская работа Stanford добралась и до x86, то есть до той архитектуры, где боль обычно приходит не только с производительностью, но и с легаси.
Проект pgrust от malisper заявляет, что уже проходит все regression tests PostgreSQL. Это тот редкий случай, когда «переписали базу на Rust» подкреплено не лозунгом, а конкретной метрикой из тестового набора. Конечно, до продакшена еще далеко, но репозиторий выглядит как нормальный способ посмотреть, насколько сложно угробить 30 лет C-кода и не заметить.
LWN пишет про релиз QBE 1.3 — компактного compiler backend, который позиционируют как более вменяемую альтернативу LLVM и GCC. У проекта SSA-IR, C ABI и уже есть фронтенды вроде Hare и cproc; теперь авторы докручивают метапрограммирование, производительность и кроссплатформенность. Приятно, когда кто-то все еще делает инструменты, которые можно понять без шаманского диплома.
На GitHub выложили crustc — попытку перевести весь `rustc` на C. Репозиторий уже собрал 190 баллов на HN и 33 комментария, что обычно означает одно: людям очень хочется посмотреть, где тут шутка, а где боль. Если это дойдёт до сборки, получится занятный экспонат из серии «мы взяли сложный компилятор и начали разбирать его на винтики».
В devlog за 25 июня команда Zig пишет про новые semantics для bitCast и пачку улучшений в LLVM backend. Для языка это не косметика: такие вещи обычно всплывают в местах, где компилятор раньше делал что-то слишком «магическое», а теперь пытаются сделать это менее хрупким.
Для BASIC09 — языка почти из 1980 года, родом с Motorola 6809 и OS-9 — появился front-end к LLVM. Теперь этот старый BASIC можно компилировать в современный стек LLVM и запускать не только на музейном железе, но и на актуальных платформах. Ностальгия, которая внезапно умеет в нормальный компилятор.
В `Memory Safe Inline Assembly` команда FIL-C пытается ответить на старый вопрос: как дать низкоуровневый доступ к asm и не открыть дежурную дыру в память. Материал про то, как можно ограничивать inline assembly так, чтобы компилятор и модель безопасности не делали вид, будто всё хорошо. Тема нишевая, но полезная: это уже не «asm — зло», а «как сделать так, чтобы зло хотя бы было под контролем».
На Lobsters обсуждают статью про APLR(1) — алгоритм генерации компактных LR(1)-парсеров, который автор считает проще и мощнее, чем IELR(1). Это уже совсем не попса, а внутренняя кухня генераторов парсеров, где отличие между «работает» и «работает без лишней памяти» и есть смысл существования статьи. Для любителей компиляторов это почти развлекательное чтение, только без шуток про блок-схемы.
Инженер NVIDIA Kyrylo Tkachov прислал патч, который сокращает время configure примерно на 43% для native GCC builds. По его замерам общий wall time bootstrap падает примерно на 15% — то есть компилятор, который сам себя собирает, наконец-то меньше делает вид, что ему нужна вечность.
Разбор от performance.dev копает не в магию, а в обычные инженерные трюки: виртуализация списков, агрессивный кэш и аккуратная работа с рендером. Судя по 358 баллам на HN и 162 комментариям, народ любит не только жаловаться на тормоза, но и читать, как их чинят у других.
На GitHub лежит wambook — Tutorial Reconstruction про Warren's Abstract Machine, то есть про классическую машину для выполнения Prolog. Судя по формату, это не очередной «посмотрите мой гениальный блог», а вполне прикладной реконструктор, который полезен тем, кто хочет понять, как такие интерпретаторы реально устроены внутри.
Статья Бернштейна — это разбор того, как компиляторы решают, что инлайнить, а что нет. Без маркетинговой пены: эвристики, стоимость роста кода, влияние на кэш и почему «просто инлайнить всё» обычно заканчивается плохо.
В GCC смержили тюнинг, который отключает некоторые возможности Intel Advanced Performance Extensions для будущих Nova Lake и Diamond Rapids. Причина будничная и неприятная: бенчмарки показали, что часть APX-фич просто не даёт заметного профита.
Статья про охоту на miscompile'ы — случаи, когда компилятор генерирует неправильный код, хотя программа сама по себе корректна. Тема скучная ровно до того момента, пока такой баг не ломает прод в самых веселых местах, а потом уже всем не до шуток: авторы копаются в том, как это ловить и воспроизводить.