Я познаю @world

Today I've contributed to the Gentoo wiki for the first time.

Вот бы ещё сделали похожий сайт про компиляторные оптимизации, да. Типа isSBCLperformant.fancy_domain

It looks like that Muchnick's book is the most simillar to thing that I described in this post. Alghought having some online resource with interactive examples would be quite nice too.

GCC List Of Compiler Books

https://gcc.gnu.org/wiki/ListOfCompilerBooks

Turns out that developers of GCC also have their own list of books with notes about quality of each.

To me it is notable here how they wouldn’t quite like Muchnick's book on optimizations. They also recommended Appel's book «Modern Compiler implementation in C/Java/ML», noting that it's preferable to read the ML version of this book. Opinion very similar to one I stumbled upon in Russian
@CompilerDev chat and in the list of literature made by most active chat members.

There is also review of the «Dragon Book» on a separate wiki page and it's not very positive:
https://gcc.gnu.org/wiki/Review_of_the_second_addition_of_the_Dragon_Book.

Another nifty thing is a reccomendation to read «Hacker's Delight». It is not exactly compiler textbook, but it was recommended here to one writing compiler backends and optimization passes.

Я не стал выбирать memory safety. По какой причине ? Какие могут быть причины когда есть слоган only two remote holes in a heck
of a long time?

If you truly want to know my opinion regarding the security of *BSD systems...

#mostly_irrelevant
#exploit_mitigations

Long story short — I think that the most secure *BSD operating system out there now is a CheriBSD.

https://www.cheribsd.org/

It is based on FreeBSD, but it is irrelevant. They could choose to use any other *BSD operating system OpenBSD, NetBSD, DragonFlyBSD, you name it.

You can look at the description of this project at this site and outline the most important part:

CheriBSD is a Capability Enabled, Unix-like Operating System that extends FreeBSD to take advantage of Capability Hardware on Arm’s Morello and CHERI-RISC-V platforms

Like with the FIL-C they use capability system to ensure memory safety of the almost entire software stack, but they do that using the features of the specific hardware and try to protect the kernel space too.

That it also simillar to what is being done in Graphene OS with hardware backed pointer authentication.

Unfortunately like with the Graphene OS usage of CHERI-BSD is limited by the subset of hardware with implemented features.

https://github.com/j4niwzis/modulizer

Опубликован переписывальщик проектов на модули C++20.

Он проверен на гугл тестах: https://github.com/j4niwzis/googletest-modules

#проект_подписчика

Тяжело быть фанатом метапрограммирования в мире победившего вайбкодинга.

Кажется, что если ты хочешь переписать код проекта с одного диалекта языка на другой, то сейчас тебе это скажут делать с помощью llm агента для написания кода. При том, что метапрограммирование, то есть написание программ, которые в свою очередь генерируют другие программы, существовало давно. И результат такой генерации более детерменирован, чем результат работы над проектом с агентом.

И поэтому меня радует факт существования этого проекта подписчика. Транслятор из C++ в C++ с модулями использующий libtooling от llvm. Круто что кто-то ещё занимается таким сегодня.

EGCS

If you the one interested in irrelevant things such as computer science history and the reason why logotype of GCC looks like GNU antelope escaping cracked egg, you may be interested in this post too.

#mostly_irrelevant
#history_of_computer_science
#gnu_compiler_collection

Egcs is an old fork of gcc that despite being a fork eventually consumed gcc itself.

Quote from some site created to track forks of popular opensource projects:

Impact

EGCS is the rare fork that didn't just succeed—it consumed the original. The fork-then-merge pattern it established became a template for other projects, most notably when the community fork proves more vigorous than the official version. The GCC Steering Committee model that emerged from EGCS still governs GCC today.

The fork also demonstrated that even the FSF's flagship projects weren't immune to community pressure. It shifted power from a single organization to a broader community of stakeholders, establishing a governance precedent that influenced numerous subsequent projects.

And from the English wikipedia:

Daniel Robbins and the other contributors experimented with a fork of GCC known as EGCS, developed by Cygnus Solutions. It was at this point that "Enoch" was renamed "Gentoo" Linux. The modifications to EGCS eventually became part of the official GCC (version 2.95); Gentoo and other Linux distros benefited from similar speed increases.[11]

After problems with a bug on his own system, Robbins halted Gentoo development and switched to FreeBSD for several months, later saying, "I decided to add several FreeBSD features to make our autobuild system (now called Portage) a true next-generation ports system."[12]

So, here the story about a compiler with the biggest number of supported platforms.

And in turn it is a story about a distro with one of the most capable package managers out there.

Other references to dive in for the most interested:
https://gcc.gnu.org/egcs-1.1/
https://gcc.gnu.org/news/announcement.html
https://lwn.net/2001/0816/a/egcs.php3


Messages from the usenet/mailing-lists of that time mentioning egcs:
- 27 y. ago
https://perforce-user.perforce.narkive.com/iUIKk0EO/speaking-of-webkeeper
- 21 y. ago
https://perl.perl5.porters.narkive.com/Xk5AuNpS/perl-38207-useless-localization-of-constant-in-getopts-pl

С другой стороны это впервые когда я как-то пусть и косвенно (я только немного тестил, а код не писал, в резюме ничего не написать) участвовал над работой над крупным проектом с открытым исходным и этот проект действительно продвинулся в том направлении, которое мне интересно было.

Теперь я радоваться должен, наверное.

looking_tired.jpg ну жесть le ebin B1, looks_tired.jpg там должно быть конечно.

canvas-browser

https://github.com/Daskeladden/canvas-browser

Пакет использующий chromium в headless режиме, чтобы открывать веб в емаксе.

В емакс_ру я кратко пересказал инструкции по сборке из репозитория. Смотрите не обляпайтесь.

Жёлтый электролюминесцентный терминал, что же на него можно вывести....

Паша меня могает снова

Напишу ещё пару-тройку таких постов про возможности portage и будет пост про разработку компилятора, кросскомпиляторы, эмуляцию и arch-chroot.

source, installsources, noclean

1. /usr/share/emacs/30.2/src/

Если нажать в Emacs (describe-function #'%), то есть C-h f % в дефолтных настройках, то откроется документация к функции % берущей остаток от деления. Про неё будет также будет написано, что это primitive-function in src/data.c

Нажав на строчку src/data.c подсвечиваемую как cсылку мене перекидывает в каталог /usr/share/emacs/версия_емакса/src и файл data.c и вот такую функцию:

DEFUN ("%", Frem, Srem, 2, 2, 0,
       doc: /* Return remainder of X divided by Y.
Both must be integers or markers.  */)
  (Lisp_Object x, Lisp_Object y)
{
  x = check_integer_coerce_marker (x);
  y = check_integer_coerce_marker (y);
  return integer_remainder (x, y, false);
}

Попадание данных сишных исходников в нужный елисп-функции describe-function каталог в portage регулируется с помощью use-флага source:
https://packages.gentoo.org/useflags/source

2. /usr/src/debug/app-editors/emacs-30.2-r7/emacs-30.2/src

Этот каталог нужен главным образом, когда Emacs упадёт.

Дело в том, что я использую следующие FEATURES в /etc/portage/make.conf:
splitdebug compressdebug binpkg-dostrip installsources

Фича splitdebug позволяет положить в отдельный каталог отладочный символы. Отладочные символы, нужны отладчику, чтобы соотносить место с в отлаживаемом бинарнике со строчкой в исходном коде из которого бинарник был собран.

compressdebug позволяет отладочные символы сжать, чтобы они много места не занимали.

installsources устанавлиает те самые исходники, которые видны из отладчика за счёт отладочных файлов.

binpkg-dostrip применяет к файлам команду strip из состава binutils, чтобы отделить отладочные символы в отдельный каталог. Необходима чтобы фича installsources работала.

Вот только нюанс — вернуться в этот каталог, чтобы запустить билд систему и собрать что-то из этих исходников нельзя.

3. (source-directory)

"/var/tmp/portage/app-editors/emacs-30.2-r3/work/emacs-30.2"

Вообще каталог /var/tmp/portage/ используется portage для того, чтобы в моменте сборки программы из исходников хранить их там.

Чаще всего они после этого удаляются.

Но не у меня! Я же пользуюсь app-emacs/portage::akater, чтобы устанавливать пакеты, что позволяет мне от ошибок компиляции в логе сборки переходить прям на строчки, которые ошибку вызывали. Такое работает и с warning'ами и note, если включить фичу noclean. У меня был для про это скринкаст: https://youtu.be/9QM3JX29lXw

Однако не стоит всё же включать эту фичу. Или по крайней мере не стоит включать эту фичу на все пакеты по умолчанию. Потому что в какой-то момент в результате того, что я компилировал telegram и llvm подкаталоги в которых собирались эти программы заполнились настолько, что мне пришлось грузиться в live CD и увеличивать размер корневого раздела c помощью команды lvresize из состава sys-fs/lvresize.

Потом я понял, что можно было просто эти каталоги поудалять и я их удалил, но ладно... Было приятно доказать себе, что я могу использовать логические разделы lvm, чтобы менять размер раздела, если мне надо его увеличить.

Тем не менее, как я уже сказал можно включить фичу noclean попакетно:

$ cat /etc/portage/env/noclean 
FEATURES="${FEATURES} noclean"
$ cat /etc/portage/package.env/noclean 
sys-kernel/* noclean
app-emacs/* noclean
app-editors/emacs noclean
app-shells/bash noclean
app-admin/doas noclean
x11-misc/slstatus noclean

В итоге в /var/tmp/portage можно будет открывать каталоги с исходным кодом программ в том виде, из которого они собираются системой сборки. Там можно найти интерсные файлики, которых в предыдущих двух локациях не будет, типа .clang-format, AGENTS.md или .gdbinit. А ещё можно продолжить сборку прям оттуда с определёнными опциями запустив комманду ebuild.