The OpenNET Project / Index page

[ новости /+++ | форум | теги | ]

Проект Asterinas развивает ядро на языке Rust, совместимое с Linux

16.10.2024 12:40

Группа разработчиков из Китая развивает ядро Asterinas, написанное на языке Rust и предназначенное для использования в операционных системах общего назначения. Для упрощения интеграции с уже разработанными системными компонентами ядро предоставляет ABI (Application Binary Interface), совместимый с ядром Linux и способный использоваться вместо него. Код проекта распространяется под лицензией MPL (Mozilla Public License).

Проект развивается с осени 2022 года и намерен уже в этом году добиться уровня, пригодного для широкого использования в виртуальных машинах с архитектурой x86-64. Начиная со следующего года основное внимание планируют переключить на реализацию поддержки оборудования и других архитектур CPU. Из приоритетных областей применения называются системы, завязанные на Linux ABI, но требующие более высокого уровня защищённости. Например, Asterinas предлагается использовать для формирования системного окружения защищённых виртуальных машин, для изоляции которых используются такие технологии, как ARM CCA, AMD SEV и Intel TDX, а также на стороне хост-системы, обеспечивающей запуск контейнеров.

Для снижения вероятности появления ошибок при работе с памятью, являющихся главным источником наиболее опасных уязвимостей, при написании Asterinas задействован язык Rust и тактика ограниченного использования unsafe-блоков. Ядро построено с использованием архитектуры framekernel, в которой разработчики попытались совместить возможности изоляции микроядер с эффективностью монолитных ядер.

Компоненты ядра в Asterinas размещаются в общем адресном пространстве, а безопасность достигается на уровне логического разделения безопасного кода и кода в котором не исключено возникновение проблем с безопасностью. Ядро разбито на две части, написанные на Rust: OS Framework и OS Services. В OS Services запрещено применение unsafe-блоков, а все низкоуровневые операции, требующие выполнения кода в блоках unsafe, вынесены в OS Framework и доступны только через высокоуровневый API. Все системные вызовы, файловые системы и драйверы реализуются на уровне OS Services и не могут включать unsafe-блоки.

При разработке системных сервисов и модулей ядра предлагается использовать инструментарий OSDK (Operating System Development Kit), предоставляющий утилиту cargo-osdk для создания, сборки, тестирования и запуска компонентов операционной системы. Для разработчиков подготовлен набор библиотек OSTD (Operating System Standard Library), представляющий собой редакцию стандартных библиотек Rust(crate std), адаптированную для использования в компонентах операционной системы.

  1. Главная ссылка к новости (https://news.ycombinator.com/i...)
  2. OpenNews: Препятствия при продвижении Rust в ядро Linux
  3. OpenNews: Продвижение кода на языке Rust в ядро Linux происходит медленнее, чем ожидалось
  4. OpenNews: Ядро Maestro, написанное на Rust и частично совместимое с Linux
  5. OpenNews: В Китае запущен спутник с real-time подсистемой ядра Linux, написанной на Rust
  6. OpenNews: Компания Microsoft добавит код на Rust в ядро Windows 11
Лицензия: CC BY 3.0
Короткая ссылка: https://opennet.ru/62061-asterinas
Ключевые слова: asterinas, rust, kernel, linux
При перепечатке указание ссылки на opennet.ru обязательно


Обсуждение (46) Ajax | 1 уровень | Линейный | +/- | Раскрыть всё | RSS
  • 1.1, Аноним (1), 12:51, 16/10/2024 [ответить] [﹢﹢﹢] [ · · · ]  
  • +11 +/
    Rust – это волшебный язык, который летает в облаках синтаксиса и безопасности. Его заяц-параллелизм прыгает через огонь гонок, а контроль за памятью танцует на лужайке. Крипто-доллары и разработчики используют его, чтобы создавать высокопроизводительные библиотеки для загадочных проектов, где ошибки исчезают, как тени под ультрафиолетом. Программируйте смело!
     
     
  • 2.35, похнапоха. (?), 14:21, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • –1 +/
    Я бы перефразировал "Программируйте СЛЕПО", ведь именно на этом сделан акцент языка, мол, пиши как можешь, а мы уже обо всем позаботися!
     

  • 1.2, Аноним (2), 12:55, 16/10/2024 [ответить] [﹢﹢﹢] [ · · · ]  
  • +4 +/
    Ada spark обеспечила бы не только безопасную работу памяти, но и верификацию кода. Не осилили.
     
     
  • 2.3, Аноним (1), 13:01, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • –8 +/
    Список по каким критериям раст лучше ады 1 Безопасность памяти Rust используе... большой текст свёрнут, показать
     
     
  • 3.4, Аноним (2), 13:10, 16/10/2024 Скрыто ботом-модератором     [к модератору]
  • +4 +/
     
  • 3.6, Аноним (6), 13:13, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +3 +/
    > 1. Безопасность памяти: Rust использует систему владения, которая предотвращает множество ошибок, связанных с памятью, таких как утечки и гонки данных, без необходимости в сборщиках мусора. Ada/Spark также предлагает безопасность, но Rust реализует эти концепции более гибко и выразительно.

    Это заслуга С++ного LLVM-бекенда, которым этот "выразительный" брейнфак собирается.

    > 2. Современный синтаксис: Rust имеет более современный и удобочитаемый синтаксис, что облегчает его освоение для новых разработчиков. Это может способствовать более быстрому написанию кода и его обслуживанию в долгосрочной перспективе.

    Это реально смешно.

    > 3. Экосистема и сообщество: Rust обладает активным сообществом и богатой экосистемой библиотек (крэтов), что позволяет разработчикам эффективно решать разнообразные задачи. Ada/Spark имеет более ограниченное количество доступных библиотек.

    Активно сообщество, к-е так ничего до сих пор не родило, только рассуждают и всячески о себе заявляют.

    > 4. Кроссплатформенность: Rust разработан с учетом кроссплатформенной совместимости и отлично работает на различных операционных системах. Это делает его удобным для разработки приложений, которые должны функционировать на разных платформах.

    Это заслуга С++ного LLVM-бекенда, которым этот "выразительный" брейнфак собирается.

    > 5. Асинхронное программирование: Rust предлагает мощные инструменты для асинхронного программирования, что делает его подходящим для написания высокопроизводительных сетевых приложений. Ada/Spark также поддерживает параллелизм, но Rust имеет более развитые возможности в этой области.

    Это заслуга С++ного LLVM-бекенда, которым этот "выразительный" брейнфак собирается.

     
     
  • 4.13, Аноним (13), 13:23, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    Поговорил с ботом - день прошел не зря.
     
  • 4.18, Аноним (1), 13:32, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +1 +/
    1. А вот и нет! Rust — это не просто оболочка вокруг LLVM. Его концепции и философия разрабатывались независимо от C++.


    2. Не переоценивай роль LLVM! Это лишь инструмент. Сам язык задания и его безопасность — это заслуга разработчиков Rust.


    3. В чем проблема? Если LLVM помогает, то это только плюс! Какой язык не использует мощные инструменты для оптимизации?


    4. Выразительность языка — это его сила, а не слабость. Проблема, если не понимаешь, как это работает.


    5. Неудобно? Значит, пора учиться, а не сваливать на инструменты. Rust даёт больше возможностей, чем ты думаешь.

     
     
  • 5.32, bOOster (ok), 14:12, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • –1 +/
    Какой бред не осиливших C++
     
  • 3.7, qrKot (?), 13:14, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +3 +/
    Так и знал, что за раст нейросети топят...
     
  • 3.11, Аноним (11), 13:19, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +1 +/
    >Rust имеет более современный и удобочитаемый синтаксис, что облегчает его освоение для новых разработчиков

    По этому пункту Линус Торвальдс с вами не согласился.

     
     
  • 4.14, Аноним (1), 13:24, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    Так это по сравнению с адой, а не си. Посмотри синтаксис ады там адок. Особенно для питониста.
     
     
  • 5.19, Аноним (11), 13:35, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Аду Торвальдс пока что даже и не рассматривал. А вот некоторое время существования Rust в ядре уже дало ему повод сделать некоторые выводы.
     
  • 3.20, Аноним (20), 13:35, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    1 Формальная верификация СПАРК разработан с учетом требований формальной вериф... большой текст свёрнут, показать
     
     
  • 4.26, Аноним (1), 13:57, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +1 +/
    1. Ой, формальная что? Это звучит как что-то из научного фильма! Но, наверное, если это помогает не ошибаться, то круто!

    2. Безопасность — это важно, особенно когда речь идет о жизни и смерти! Но я не знаю, что такое строгая типизация, звучит сложно!

    3. Детерминированное поведение? Это как когда ты всегда знаешь, что будет на ужин? Звучит удобно!

    4. Убрать исключения? О, боже, это как убрать слезы из комедии! Значит, все будет предсказуемо?

    5. Программирование на основе контрактов? Это как когда ты на кухне записываешь, что готовишь по рецепту! Умно, наверное!

    6. Устаревшие вещи — это как старая сумка из гардероба! Но если она работает в аэрокосмосе, значит, она, наверное, супер надёжная!

    7. Инструменты для верификации? Как отвертка для программистов! Если они помогают проверять, то здорово!

    В целом, звучит, как будто Раст просто не дотягивает до сложности всего этого!

     
     
  • 5.28, Аноним (2), 14:01, 16/10/2024 Скрыто ботом-модератором     [к модератору]
  • +/
     

     ....ответы скрыты (13)

  • 1.5, Аноним (5), 13:13, 16/10/2024 [ответить] [﹢﹢﹢] [ · · · ]  
  • +1 +/
    У меня к расту только один вопрос: что мешало сделать C-подобный синтаксис? Зачем постоянно пытаются изобретать кривые велосипеды для годных технологий?
    Так-же и с GoLang, очень хорошая технология, но жуткий синтаксис с неисправимыми болячками.
     
     
  • 2.10, Аноним (1), 13:15, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • –2 +/
    Ваш вопрос о синтаксисе Rust вполне оправдан. Разработчики стремились создать язык, который бы сочетал безопасность и функциональность, внося новшества. Синтаксис Rust может показаться сложным из-за его особенностей управления памятью и параллелизма, но эти меры направлены на избегание распространённых ошибок, делающих код более надежным.
     
  • 2.12, голос из леса (?), 13:23, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • –2 +/
    Задуматся что с синтаксисом C++ что не ладно корона не позволяет?
     
  • 2.17, Аноним (17), 13:29, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • –1 +/
    У Rust C-подобный синтаксис во всех местах, где только возможно.
     
     
  • 3.21, Аноним (11), 13:37, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Ну, разве что, основанный на блоках кода, оформляемых скобочками {...}
     
  • 2.27, Аноним (27), 13:58, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +1 +/
    С Растом да, но что с Golang-то не так? У Го как раз-таки хороший и удобный Си-подобный синтаксис. Не даром Кен Томпсон был в команде разработки
     
     
  • 3.39, Аноним (-), 14:43, 16/10/2024 Скрыто ботом-модератором     [к модератору]
  • +/
     
  • 2.33, zeecape (ok), 14:18, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    Тут дело не в синтаксисе, а привычке с ним работать. Если работаешь с С-подобными языками, то работа с Go или Rust может казаться отвратной из-за непривычных конструкций. (Пы.Сы: Rust на самом деле довольно сильно похож по синтаксису к C/C++)
     

  • 1.8, Аноним (1), 13:14, 16/10/2024 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    Мне очень нравится Rust! Он безопасный, быстрый и позволяет писать классный код!
     
     
  • 2.15, Chel (?), 13:25, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +1 +/
    А я его еще больше ку!
     

  • 1.9, Аноним (9), 13:15, 16/10/2024 [ответить] [﹢﹢﹢] [ · · · ]  
  • +1 +/
    > намерен уже в этом году добиться уровня, пригодного для широкого использования в виртуальных машинах с архитектурой x86-64

    Ага. Значит как и все проекты на rust, пока не доделан.

    > Начиная со следующего года основное внимание планируют переключить на реализацию поддержки оборудования и других архитектур CPU

    А вот это зря. Значит и не доделают.

    Вот запуск в одной архитектуре с одним набором оборудования (в данном случае виртуальных машин) - задача которая rust'у по плечу.

    Как только от неё отойдут - утонут в лавине кода.

     
     
  • 2.23, Аноним (-), 13:50, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    >> намерен уже в этом году добиться уровня, пригодного для широкого использования в виртуальных машинах с архитектурой x86-64
    > Ага. Значит как и все проекты на rust, пока не доделан.

    Если в проект не вносят изменения, то этот некрокод уже никому не нужен)
    Ну и обобщение "как и все проекты на rust" классическая манипуляция.

    > А вот это зря. Значит и не доделают.

    Миллиард китайцев и не доделают?

    > Вот запуск в одной архитектуре с одним набором оборудования (в данном случае виртуальных машин) - задача которая rust'у по плечу.
    > Как только от неё отойдут - утонут в лавине кода.

    Гугл как-то не утонул, и амазон тоже.
    Хотя может китайцам достаточно одной архитектуры лонгсунги)


     
     
  • 3.46, Аноним (9), 15:14, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    > Если в проект не вносят изменения, то этот некрокод уже никому не нужен)

    Тут речь о другом. Он еще не работает на виртуалке. Только собираются дожелать.

    > Ну и обобщение "как и все проекты на rust" классическая манипуляция.

    Это деформация из-за новостей опен-нет про очередных переписчиков которые или собираются достигнуть паритета или даже не собираются заявляя об избыточности функциональности оригинала.

    Все вопросы к тем кто эти новости писал.

    > Миллиард китайцев и не доделают?

    У них сейчас новая игрушка от Ху... кхм Хуавея.

    > Гугл как-то не утонул, и амазон тоже.

    Они доделали? Или все еще делают?

    > Хотя может китайцам достаточно одной архитектуры лонгсунги)

    Судя по новости, кто то идеально выбрал нишу для rust: работа в виртуалке прокладкой.

    Но пришел менеджер и все испортил.

     
  • 2.24, нах. (?), 13:51, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    > Ага. Значит как и все проекты на rust, пока не доделан.

    Но CoC.md-то уже есть! Что еще надо для освоения средствов?!

    > Вот запуск в одной архитектуре с одним набором оборудования (в данном случае виртуальных машин)
    > - задача которая rust'у по плечу.

    но ресдох...

    А в целом новость надо читать (как обычно с новостями про хруст): команда китайских разработчиков с именами из квадратиков собралась начать переписывать линукс на хрусте и уже родила нечто, что канпелируется, но не работает даже на виртуалочке.

    Планов у них громадье, дарагие инвесторы, несите денег мешками и побольше мешки выбирайте!

     

  • 1.16, голос из леса (?), 13:28, 16/10/2024 Скрыто ботом-модератором [﹢﹢﹢] [ · · · ]     [к модератору]
  • +3 +/
     
  • 1.22, Аноним (22), 13:47, 16/10/2024 [ответить] [﹢﹢﹢] [ · · · ]  
  • –2 +/
    Китайцы тоже поняли в чём сила - сила в Расте
     
     
  • 2.25, Аноним (1), 13:55, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • –1 +/
    Да, точно! Раст — это мощный инструмент, который объединяет и вдохновляет! 🌟
     
  • 2.29, Аноним (27), 14:05, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    Я простой китайский программист город Бейджин. Раст сила язык программирование хороший память безопасный программа быстрый.
     
     
  • 3.31, Аноним (1), 14:05, 16/10/2024 Скрыто ботом-модератором     [к модератору]
  • +/
     
  • 3.38, Аноним (-), 14:39, 16/10/2024 Скрыто ботом-модератором     [к модератору]
  • +1 +/
     

     ....ответы скрыты (4)

  • 1.30, Аноним (1), 14:05, 16/10/2024 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    Эй, мир! 🌍 ОС на Rust — это будущее! Спасибо, Опennet, за поддержку! Хейтеры, ваше время прошло!
     
  • 1.34, cs (?), 14:20, 16/10/2024 [ответить] [﹢﹢﹢] [ · · · ]  
  • +2 +/
    они хотябы своё пилят и никому не мешают.
    ну и пусть тогда пилят, может что нормальное получится(а нет так нет, нежалко)
     
  • 1.36, Аноним (-), 14:37, 16/10/2024 [ответить] [﹢﹢﹢] [ · · · ]  
  • +2 +/
    > Группа разработчиков из Китая

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

    мертворожденное

    про качество китайского кода я вообще молчу

     
     
  • 2.42, Аноним (1), 14:57, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    Китай самый перспективный рынок для подобных поделок. А уже словив господдержку можно пилить сколько угодно долго.
     

  • 1.37, Аноним (37), 14:37, 16/10/2024 [ответить] [﹢﹢﹢] [ · · · ]  
  • +1 +/
    Это хорошая новость. Теперь все любители внедриться в ядро могут туда сваливать
     
  • 1.40, nume (ok), 14:45, 16/10/2024 [ответить] [﹢﹢﹢] [ · · · ]  
  • +1 +/
    Сколько троллей из-под моста внезапно вылезло
     
     
  • 2.41, Аноним (1), 14:56, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    Под мостом мрак и тень,
    Вылезай, и не теряй день.
    Свет надежды ждет впереди,
    Смело в путь, не огляди!
     
  • 2.44, Аноним (44), 14:58, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    > Сколько троллей из-под моста внезапно вылезло

    Мы всегда тут жили, это вы мосты строите где попало!
    А вообще тема годная, почти как с китайским же раст-спутником))

     

  • 1.43, Аноним (43), 14:57, 16/10/2024 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    Какое то взаимо воровство не указываются источники по чему они так придумали ? Может докер в хромиум ос дал им схемы DTD что может означать default library ? Или нет. Ну конечно удобно взять готовый темпелейт когда не любишь системничать подбирать флаги , а только получать деньги сиона что то новое чуть изучив это и дав обоснования что бы не обвинили в надумывании.
     
  • 1.45, Аноним (45), 15:07, 16/10/2024 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    китайская подделка
     

     Добавить комментарий
    Имя:
    E-Mail:
    Текст:



    Партнёры:
    PostgresPro
    Inferno Solutions
    Hosting by Hoster.ru
    Хостинг:

    Закладки на сайте
    Проследить за страницей
    Created 1996-2024 by Maxim Chirkov
    Добавить, Поддержать, Вебмастеру