Comptime: Возможность генерировать код и проверять типы на этапе компиляции в ядре экономит кучу места и времени.
В Zig нет скрытых аллокаций. Если функция что-то выделяет — она просит аллокатор. В Ring 0 — ты контролируешь каждый байт.
Интероп с C/ASM: Zig умеет импортировать C-хедеры напрямую, а работа с ассемблерными вставками гораздо приятнее, чем в классическом GCC.

После C/C++ Zig ощущается как «Си, который наконец-то починили». Нет нужды в заголовочных файлах, есть нормальные слайсы и отличная система обработки ошибок.

Lezvix 15 фев в 11:03

Антон, вы все ответы на комментарии через ЧатГПТ прогоняете?

MinecAnton209 16 фев в 15:34

Да, я использовал ИИ для помощи в написании статьи, не перечу, но не так чтобы каждое слово написано ИИ, но комментарии я анализирую сам, и отвечаю на них тоже сам.

domix32 11 фев в 11:19

Да жив и развивается. Но пока всё ещё в бете. Не так давно IO обновили, добавив IOContext из которого уже можно собирать поллинг всех цветов фломастеров и соотвественно асинхронные экзекуторы. А штуки типа Bun и Tiger Beetle DB поддерживают спрос в проде.

Siemargl 16 фев в 13:20

Не так давно IO обновили

Только zig doc теперь из-за этого не собирается

domix32 16 фев в 19:27

Поэтому оно и не 1.0

Siemargl 16 фев в 20:06

Это как бы понятно. Но выкатывать какой никакой релиз, в котором не билдится основа, это не ок.

Ну блин, изобрели же всякие для этого всякие си-сд,

Перековыряли кстати, .std.Io.net так основательно, что малой кровью поправить не удалось. Надо переписывать на новый WebServer или пихать во все вызовы ввода вывода какую то новую непонятную структуру io// v0.16.0-dev.1484

Siemargl 18 фев в 21:07

Upd. Я немного не домучил задачу, как выяснилось. Можно поправить исходник для 0.60 согласно этому пуллреквесту, хотя он и отменен (скорее всего влит позже или продублирован)

Annsky 11 фев в 16:40

Не знаю живой он или нет, но кросскомпиляция из коробки за 200мб под любую архитектуру и ОС это киллер-фича лично для меня.

tooshcan4ik 11 фев в 09:11

Красавчик! Звезду тебе на гитхабе поставил!

MinecAnton209 11 фев в 09:21

Спасибо большое за поддержку! Очень приятно, что проект нашел отклик.

MasterMentor 11 фев в 10:52

Статья/карма/подписка: +/+/+.

PS неплохой пэт проект для самообразования!

MinecAnton209 11 фев в 20:45

Спасибо за поддержку и подписку! Именно для самообразования проект и задумывался. Рад, что формат статьи зашел.

hurdos 11 фев в 13:41

Впечатляет! Starred!

Жаль только перспективы туманны, хотя наверное это в чистом виде пет-проект.

Но кто знает, возможно станет на уровне linux когда-нибудь.

MinecAnton209 11 фев в 20:46

Спасибо за звезду на GitHub! На данный момент это действительно пет-проект. Но кто знает, во что это может вырасти с поддержкой сообщества. В планах как раз создание стабильной базы, на которой можно будет запускать изолированные пользовательские приложения.

Number_One_890 11 фев в 15:01

Очень хорошая статья, для меня ценная.

Supme 11 фев в 19:31

time - Show current date and time

Жаль что не date это делает, а time засекает время выполнения команды. Уже привычка в *nix у всех.

MinecAnton209 11 фев в 20:47

Справедливое замечание. В v0.24 обязательно добавлю алиас date для вывода времени, а логику time переделаю под замер длительности выполнения команд.

maxscitech 11 фев в 21:38

Очень круто. И спасибо что напомнил про Zig.

eoanermine 12 фев в 06:18

Zig — стал для меня золотой серединой.
— Нет скрытых аллокаций
— Comptime
— Взаимодействие ASM

А как это помогает избежать ошибок при работе с памятью? Только благодаря наличию в языке defer?

MinecAnton209 12 фев в 14:42

Defer— это отличный инструмент для предотвращения утечек, но безопасность Zig в ядре строится на более фундаментальных вещах:

Слайсы: В C мы передаем char* и надеемся, что не вылетим за пределы. В Zig []u8 — это структура из указателя и длины. Компилятор (и рантайм-чеки в дебаге) просто не дадут тебе обратиться к data[limit + 1].
Optional Types (?T): В Zig нельзя просто так разыменовать указатель, который может быть null. Язык заставляет тебя сначала проверить его (if (ptr) |p| ...). Это убивает целый класс ошибок «NULL Pointer Dereference» еще на этапе написания кода.
Явные аллокаторы: В ядре нет «магической» кучи. Каждая функция, которой нужна память, принимает аллокатор как аргумент.
Error Unions: Ошибки — это часть системы типов. Ты не можешь проигнорировать результат read_sector, компилятор заставит тебя обработать возможный error.DiskFailure.

Так что нет, это не только defer. Это комбинация строгого контроля типов и отсутствия неявного поведения.

ykomi 12 фев в 14:36

Не боишься того, что в будущем возможно придётся переписывать тонну кода на "новый" Zig? Он же не в релизе ещё, а значит оттуда могут спокойно выпилить что угодно. Даже я с этим столкнулся когда его начал изучать на маленьких проектах, а ОС вообще большой проект

MinecAnton209 12 фев в 14:46

Риск есть, и я с ним уже сталкивался. Но для OSDev это скорее плюс, чем минус:

Язык развивается в сторону упрощения: Каждое крупное изменение в Zig обычно выпиливает какой-то магический кусок из C или делает синтаксис более логичным. Обновлять код под новые версии помогает лучше понять, как работают внутренности компилятора.
Малый объем синтаксиса: Zig очень компактный. Даже если завтра изменят способ объявления export fn, пройтись по 11к строкам и поправить это — задача на один вечер, зато профит от использования comptime и отсутствия legacy-мусора C перекрывает эти затраты.
Архитектура важнее синтаксиса: Основная сложность моей ОС — это логика SMP, работа с таблицами страниц и ACPI. Это всё не изменится от того, что в Zig поменяют название ключевого слова.

Alexey2026habr 15 фев в 11:35

Отличная статья и главное вовремя! Сам думаю о том же. Было бы очень интересно почитать более подробно о том как организованы и работают SMP, планировщик и виртуальная память. Спасибо!

n0kkster 16 фев в 05:31

Честно говоря, статья попахивает нейрослопом. От ответов автора в комментариях несет им еще сильнее.

Зарегистрируйтесь на Хабре, чтобы оставить комментарий