Как разработчик TeaVMЧитать полностью »
Рубрика «compilers»
Почему WebAssembly плохо годится для Java
2023-08-27 в 12:07, admin, рубрики: compilers, java, jvm, webassemblyC++23 — финал, C++26 — начало
2023-02-20 в 9:00, admin, рубрики: C, c++, c++23, c++26, c23, compilers, exception, exception handling, iso, ranges, stacktrace, standard library, Блог компании Яндекс, Компиляторы, Программирование, С++, с++23, с++26, с23
С момента моей прошлой публикации состоялось уже две встречи международного комитета по стандартизации C++.
Комитет занимался полировкой C++23:
static operator[];static constexprвconstexpr-функциях;- безопасный range-based for;
- взаимодействие
std::printс другими консольными выводами; - монадический интерфейс для
std::expected; static_assert(false)и прочее.
И прорабатывал новые фичи C++26:
std::getиstd::tuple_sizeдля агрегатов;#embed;- получение
std::stacktraceиз исключений; - stackful-корутины.
Самый быстрый компилятор aka compiler-benchmark
2020-11-13 в 11:24, admin, рубрики: compilers, D, dlang, Компиляторы, ПрограммированиеОт переводчика: все началось с топика на форуме D.
После оценки скорости компиляции D по сравнению с другими языками мне было интересно, существует ли какой-нибудь язык, который компилируется в нативный код почти так же быстро или быстрее, чем D, за исключением C?
Если да, то скорее всего, он должен использовать бэкэнд, отличный от LLVM.
Я думаю, что Jai способен на это, но он еще не вышел в релиз.
Бенчмарки скорости компиляции различных комбинаций языков и компиляторов. Поддерживаемые языки:
Компиляторы в нативный код
Парсеры Пратта для чайников
2020-03-27 в 12:16, admin, рубрики: AST, compilers, Go, golang, parser, Компиляторы, ПрограммированиеРекурсивный спуск работает идеально, когда вы можете принимать решение относительно разбираемого куска кода с помощью текущего контекста и токена.
Картину портят выражения: постфиксные, инфиксные и прочие. Проблема: вы не можете понять, какого типа выражение вы обрабатываете до тех пор, пока не разберёте его первую половину. Зачастую для вас также важны приоритет операции и её ассоциативность, чтобы построенное AST имело правильную структуру.
После хаков для того, чтобы успешно парсить инфиксные выражения в рекурсивном спуске, через код становится трудно разглядеть разбираемую парсером грамматику.
В этой статье мы напишем парсер для диалекта Go, особенности которого мы рассмотрим чуть ниже. Как вы сможете убедиться, алгоритм Пратта решает большинство наших проблем.
Внутренности Go: оборачиваем переменные цикла в замыкании
2019-09-26 в 10:01, admin, рубрики: assembly, AST, compilers, Go, programming languages, Блог компании Badoo, высокая производительность, замыкания, Программирование, указатели
Сегодня я решил перевести для вас небольшую статью о внутренностях реализации так называемых замыканий или closures. В дополнение вы узнаете о том, как Go пытается автоматически определить, нужно ли использовать указатель/ссылку или значение в разных случаях. Понимание этих вещей позволит избежать ошибок. Да и просто все эти внутренности чертовски интересны, как мне кажется!
А еще я хотел бы пригласить вас на Golang Conf 2019, которая пройдет 7 октября в Москве. Я член программного комитета конференции, и мы с коллегами выбрали много не менее хардкорных и очень, очень интересных докладов. То, что я люблю!
Под катом передаю слово автору.
Дефективное встраивание функций в Go
2019-02-05 в 12:30, admin, рубрики: compilers, Go, golang, open source, optimizations, performance, высокая производительность, Компиляторы, системное программирование
Эквивалентен ли по производительности код, представленный ниже?
// (A). Вызов HasPrefix будет встроен.
return strings.HasPrefix(s, "#")
// (B). Ручное встраивание тела HasPrefix.
return len(s) >= len("#") && s[:len("#")] == "#"Ответ: нет.
За подробностями и объяснениями прошу под кат.
Компилятор Go: язык описания правил SSA оптимизаций
2018-06-30 в 14:09, admin, рубрики: compilers, dancing-gopher, Go, golang, open source, optimization, s-expressions, ssa, Компиляторы, Программирование, системное программирование
В компиляторе gc для описания Static Single Assignment (SSA) правил оптимизаций используется специальный Лисп-подобный предметно-ориентированный язык (DSL).
Предлагаю разобрать основные элементы этого языка, его особенности и ограничения.
В качестве упражнения, добавим в Go компилятор генерацию инструкции, которую он раньше не генерировал, оптимизируя выражение a*b+c.
Это первая статья из серии про внутренности Go SSA compiler backend, поэтому помимо обзора самого DSL описания правил мы рассмотрим связанные компоненты, чтобы создать необходимую базу для нашей следующей сессии.
Как JVM аллоцирует объекты?
2017-08-01 в 8:23, admin, рубрики: compilers, hotspot, java, jvm, system programming, virtual machine, системное программирование, что вообще происходит
Как JVM создает новые объекты? Что именно происходит, когда вы пишете new Object()?
На конференциях периодически рассказывают, что для аллокации объектов используются TLAB'ы (thread-local allocation buffer): области памяти, выделенные эксклюзивно каждому потоку, создание объектов в которых очень быстрое за счет отсутствия синхронизации.
Но как правильно подобрать размер TLAB'а? Что делать, если нужно выделить 10% от размера TLAB'а, а свободно только 9%? Может ли объект быть аллоцирован вне TLAB'а? Когда (если) обнуляется выделенная память?
Задавшись этими вопросами и не найдя всех ответов, я решил написать статью, чтобы исправить ситуацию.
Перед прочтением полезно вспомнить как работает какой-нибудь сборщик мусора (например, прочитав этот цикл статей).
Альтернатива Emacs Lisp’у
2017-06-18 в 9:29, admin, рубрики: compilers, emacs, emacs lisp, Go, Компиляторы
Вы когда-нибудь искали альтернативу Emacs Lisp'у? Давайте попробуем добавить в Emacs ещё один язык программирования.
В этой статье:
- Потенциальные преимущества, которые будут получены при возможности расширять Emacs на Go;
- Определим способы взаимодействия Go и Emacs Lisp;
- Затронем некоторые детали реализации описанного транскомпилятора;
Статья может заинтересовать пользователей Emacs'а, а также тех, кому небезразличны все эти бесчисленные реализации бесчисленных языков программирования.
В самом конце статьи представлена ссылка на work in progress проект, который позволяет конвертировать Go в Emacs Lisp.
Повесть о невозможном баге: big.LITTLE и кэширование
2017-01-24 в 14:38, admin, рубрики: arm64, big.LITTLE, compilers, jit, Mono, Mono и Moonlight, Компиляторы, отладка, Программирование, разработка мобильных приложенийКогда кто-то произносит слово многоядерный, то мы бессознательно подразумеваем SMP. Это успешно срабатывало для нас до недавнего времени, пока ARM не объявила о big.LITTLE. Архитектура ARM big.LITTLE является первым массово производимым примером архитектуры AMP, и как мы увидим далее, она поднимает планку сложности многоядерного программирования еще выше.
Читать полностью »