LINUX.ORG.RU

Основатель CentOS и Rocky Linux за 11 дней навайбкодил ядро Ginux на Rust

 , , , ,


0

3

Грегори Курцер (Gregory Kurtzer), основатель дистрибутивов CentOS и Rocky Linux, представил проект Ginux, развивающий ядро операционной системы на языке Rust, нацеленное на достижение совместимости с ядром Linux. Опубликованный исследовательский прототип уже способен загрузить системное окружение дистрибутивов Alpine с BusyBox и Rocky Linux 10 с systemd в многопользовательском консольном режиме. Код проекта распространяется под лицензией Apache 2.0. Поддерживается работа на системах с архитектурой x86-64.

Прототип создан за 11 дней в рамках эксперимента по применению техники разработки HDAE (Human-Directed Agentic Engineering) для создания сложных проектов, уровня ядра Linux. При использовании метода HDAE код генерируется AI-агентом (использован Codex c моделью GPT-5.6 Sol), а человек сосредоточен на разработке архитектуры, принятии решений, координации работы, формировании плана разработки и определении критериев готовности развиваемых компонентов. AI-агенты также привлекаются для тестирования, рецензирования и диагностики проблем.

Проект не пытается копировать технологии из ядра Linux, а создаёт собственные совместимые реализации с оглядкой на них. Ginux предоставляет независимые систему управления памятью, планировщик задач, загрузочный процесс, модель процессов, файловые системы, сетевой стек, драйверы устройств и слой для совместимости с Linux ABI. Ядро Ginux загружается напрямую через UEFI без привлечения хостовой Linux-системы.

Ginux пока не претендует на замену Linux и не готов для использования в рабочих системах, но уже пригоден для проведения экспериментов и тестирования. В долгосрочной перспективе проект рассматривается как операционная система для запуска в изолированных контейнерах компонентов для AI-инфраструктуры. Имя Ginux сформировано как комбинация из слов GPT/Gregory и Linux. Основой платформой для тестирования является запускаемая при помощи гипервизора KVM виртуальная машина Q35 (Intel Q35/ICH) с OVMF (Open Virtual Machine Firmware), Intel IOMMU и virtio-устройствами.

Из 375 системных вызовов ядра Linux 6.12 полностью реализовано 82, частично - 245 и заблокировано из соображений безопасности - 48. Для выявления сбоев, которые невозможно выявить в синтетических тестах, работа ядра оценивается при запуске реальных приложений и библиотек, таких как musl, glibc, BusyBox и systemd.

Среди планов:

Обеспечение запуска компонентов пользовательского пространства Linux-дистрибутивов без использования ядра Linux. Возможность создания изолированных доменов со своими наборами процессов, адресным пространством, файловыми системами, устройствами, ресурсами и независимым жизненным циклом. Подготовка самодостаточного загрузочного образа. Предоставление минимального управляющего окружения в пространстве пользователя (userspace control plane), позволяющего управлять ядром без выполнения кода на нулевом кольце защиты. Система управления доступом, работающая на уровне именованных объектов. Поддержка изолированного запуска образов контейнеров в формате OCI.

https://www.opennet.ru/opennews/art.shtml?num=66562

★

Последнее исправление: dynamic_cast (всего исправлений: 1)

развивающий ядро операционной системы на языке Rust, нацеленное на достижение совместимости с ядром Linux

Так Redox же уже есть

devl547 ★★★★★
()

Следующая новость, племянник миллиардера после уроков сгенерировал ОС за 11 минут по шаблону.
Если взглянуть сугубо технически, весь вопрос в линейном масштабировании процесса перефразированного дублирования уже имеющегося, выражающегося в итоговой скорости получения результирующего вывода. Тогда зачем вообще строить долгосрочные планы развития? Неужели он и подобные реально считают что это сделали они и они контролируют как текущее состояние итогового результата и любые перспективы его скажем так изменения в будущем? Контроль где, хотя бы минимальный?


Дядя разрешил нажать кнопку и запустить карусель, мальчик потом всем рассказывал что у него есть парк аттракционов и он им сам управляет.

anonymous
()

а человек сосредоточен на разработке архитектуры, принятии решений, координации работы, формировании плана разработки и определении критериев готовности развиваемых компонентов

И на выходе получается чёрный ящик с магией.

Radjah ★★★★★
()
Ответ на: комментарий от anonymous

Дядя разрешил нажать кнопку и запустить карусель, мальчик потом всем рассказывал что у него есть парк аттракционов и он им сам управляет.

Вообще-то, дяде занесли подачку (скорее всего меньше чем яфину), чтоб тот вот так развизжался на везь мир как оно OCя клепает в режиме конвейера. То, что оригинальный роки особо никому не вперся, не говоря уже об этом поделии, не интересно никому.

slew
()
Ответ на: комментарий от Radjah

С заказной разработкой ведь примерно так же. Вот заказал ты разработку ПО для своих нужд и тебе дали этот самый черный ящик. И никто кроме разработчика не знает как оно работает

r0ck3r ★★★★★
()
Последнее исправление: r0ck3r (всего исправлений: 1)

Вау, новая операционная система!

Ginux пока не претендует на замену Linux и не готов для использования в рабочих системах

Да что вы говорите. Но ведь будет, да? Будет же?

thesis ★★★★★
()
Ответ на: комментарий от r0ck3r

С него хотя бы спросить можно, а тут бредогенератор фигни напишет и бровью не поведёт.

Radjah ★★★★★
()
Ответ на: комментарий от r0ck3r

С заказной разработкой ведь примерно так же

С заказной разработкой, когда заказчику чего-то там не понравилось, или просто показалось и померещилось, тот прибегает с воплями и эскалацией к разработчику. А в случае с нейровысером куда побежит заказчик, в опенаи прочие антрофики?

slew
()
Ответ на: комментарий от slew

А в случае с нейровысером куда побежит заказчик, в опенаи прочие антрофики?

Туда же в чатик с GPT плакаться, конечно. Причём у LLM, наверное, даже побольше шансов его успокоить или переделать так, чтобы ему на этот раз померещилось нормально…

CrX ★★★★★
()

Грегори Курцер (Gregory Kurtzer), основатель дистрибутивов CentOS

Хм… Вроде ж должен совсем взрослый дядька быть, раз успел в основании CentOS поучаствовать. Чего это он? Такой хернёй вроде только студенты на первых курсах страдают…

CrX ★★★★★
()
Ответ на: комментарий от CrX

Туда же в чатик с GPT плакаться, конечно

Тут пока в тех gpt-ях какой-то аттракцион невиданной щедрости, вбухивают реку бабла уже десяток лет, чтоб всякие хомячки там резвились как хочется. Но сдается мне, что начнут однажды считать токены на вес золота (а оно примерно так и стоит в реале), и тогда много не наплачешься, и много не напеределываешься

slew
()
Ответ на: комментарий от slew

Но сдается мне, что начнут однажды считать токены на вес золота (а оно примерно так и стоит в реале), и тогда много не наплачешься, и много не напеределываешься

Может быть. А может и нет. Деньги — не единственное, что можно поиметь с пользователя. Ну точнее деньги напрямую в качестве оплаты этой услуги — не единственное — можно их поиметь и косвенными методами. Личные данные могут тоже быть на вес золота, или даже дороже. А ещё у LLM просто невероятный потенциал влияния на умы. Пока он толком не используется, за исключением каких-то редких робких попыток — идёт этап подсаживания на иглу. Но этого, неизбежно, будет всё больше и больше. Если на обычную, примитивную рекламу тратятся огромные деньги, и они отбиваются, то представь, сколько будут готовы тратить бизнесы на продвижение более тонкое — когда юзеру невзначай с использованием всех знаний о нём, включая его настроение прямо в данный момент, пока он в чате, будет невзначай «вкладываться в голову» мысль, что он хочет то-то и то-то, или считает так-то и так-то. Простор для манипуляций, причём так, чтобы юзер даже толком ничего не заметил, и считал решение купить именно вот эту вот безделушку, собственным. А ведь помимо бизнесов тут и политические силы могут интересы иметь (сколько тратится на ботофермы…). В общем, не факт, что они реально сделают токены платными полностью и на любых моделях — далеко не факт. Могут пойти по другому, причём в перспективе гораздо более выгодному для себя пути.

CrX ★★★★★
()
Последнее исправление: CrX (всего исправлений: 1)
Ответ на: комментарий от CrX

Личные данные могут тоже быть на вес золота, или даже дороже

Это уже пройденный варик. Все что нужно было стащили в эпоху соцсетей.

А ещё у LLM просто невероятный потенциал влияния на умы

А вот это уже ближе к правде. Переформатирование цивилизации через нейросети-это одна из гипотез вливания реки бабла туда со стороны рептилоидов. Причем речь идет не про рекламу, тут и обычная вполне себе справляется. Тут про создание принципиально нового устройства. Скорее всего ведут с разделению популяции человеков на феодалов и чернь.

slew
()
Последнее исправление: slew (всего исправлений: 1)
  • Markdown
Пустая строка (два раза Enter) начинает новый абзац. Знак '>' в начале абзаца выделяет абзац курсивом цитирования.
Внимание: прочитайте описание разметки Markdown.
Используйте Ctrl-Enter для размещения комментария