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 обязательно


Обсуждение (86) Ajax | 1 уровень | Линейный | +/- | Раскрыть всё | RSS
  • 1.2, Аноним (2), 12:55, 16/10/2024 [ответить] [﹢﹢﹢] [ · · · ]  
  • +7 +/
    Ada spark обеспечила бы не только безопасную работу памяти, но и верификацию кода. Не осилили.
     
     
  • 2.3, Аноним (3), 13:01, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • –11 +/
    Список по каким критериям раст лучше ады 1 Безопасность памяти Rust используе... большой текст свёрнут, показать
     
     
  • 3.4, Аноним (2), 13:10, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +8 +/
    Я тоже могу скопипастить ответ нейронки, как это сделал ты:

    1. Безопасность и надежность: Ada и Spark предлагают более строгую статическую проверку типов и формальные методы верификации, что делает их более подходящими для разработки критически важных систем, где безопасность и надежность являются ключевыми требованиями.

    2. Встроенная поддержка параллелизма и многозадачности: Ada изначально разрабатывалась с учетом параллельных вычислений и многозадачности, что упрощает разработку многопоточных приложений.

    3. Зрелость и промышленное применение: Ada и Spark имеют долгую историю использования в промышленности, особенно в аэрокосмической и оборонной отраслях, где они зарекомендовали себя как надежные и проверенные языки.

    4. Поддержка реального времени: Ada и Spark предлагают встроенную поддержку реального времени, что делает их более подходящими для разработки систем, где важна предсказуемость и детерминированность.

    5. Строгая типизация и модульность: Ada и Spark имеют более строгую типизацию и модульную структуру, что может упростить разработку и поддержку крупных проектов.

    6. Формальная верификация: Spark предлагает мощные инструменты для формальной верификации кода, что позволяет доказывать свойства программ и обеспечивать их соответствие спецификациям.

     
  • 3.6, Аноним (6), 13:13, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +8 +/
    > 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 +/
    Поговорил с ботом - день прошел не зря.
     
  • 4.18, Аноним (3), 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++
     
     
  • 6.79, Вася Пупкин (?), 17:20, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    толсто)
     
  • 6.92, DEF (?), 18:26, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    Какой бред неосиливших COBOL.
     
  • 3.11, Аноним (11), 13:19, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +3 +/
    >Rust имеет более современный и удобочитаемый синтаксис, что облегчает его освоение для новых разработчиков

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

     
     
  • 4.14, Аноним (3), 13:24, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Так это по сравнению с адой, а не си. Посмотри синтаксис ады там адок. Особенно для питониста.
     
     
  • 5.19, Аноним (11), 13:35, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +2 +/
    Аду Торвальдс пока что даже и не рассматривал. А вот некоторое время существования Rust в ядре уже дало ему повод сделать некоторые выводы.
     
     
  • 6.60, Facemaker (?), 16:27, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • –1 +/
    "Пока что"... Оптимист! Я не имел счастья разрабатывать на Аде, но, посмотрев примеры, предполагаю, что добровольно на таком никто не возьмётся программировать. Для армии, может, и подойдёт.

    А вот Rust люди любят, в него влюбляются: https://habr.com/ru/companies/macloud/articles/557792

     
     
  • 7.68, ct (?), 16:39, 16/10/2024 Скрыто ботом-модератором     [к модератору]
  • +/
     
  • 3.20, Аноним (20), 13:35, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    1 Формальная верификация СПАРК разработан с учетом требований формальной вериф... большой текст свёрнут, показать
     
     
  • 4.26, Аноним (3), 13:57, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • –2 +/
    1 Ой, формальная что Это звучит как что-то из научного фильма Но, наверное, е... большой текст свёрнут, показать
     
  • 3.47, BeLord (ok), 15:38, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    1. А можно понятным техническим языком, что такое выразительно? А то, лично для меня, макросы masm выразительны, практически впрямую транслируются в диалекты русского языка.
    2. Синтаксис стоит далеко не на первом месте при долгосрочном обслуживании, раньше стоит понимание прикладной задачи и архитектура решения, я могу на Бейсике сварганить такую хрень, что черт ногу сломит, могу на Perl написать прозрачный и понятный код, есть код на асме он в продакшене
    4. Сообщество штука динамичная сегодня оно активное, завтра пассивное, возвращаемся к долгосрочной перспективе.
    5. Ada тоже кросплатформенное решение. Более того, сама по себе кросплатформенность мало о чем говорит, зависит от того, насколько полно решение работает на разных платформах.
    6. Давайте вернемся к технике, мощные инструменты, развитые возможности это не технические параметры, а скорее продажная шелуха, вы на примерах свою мысль продемонстрировать можете?
     
  • 3.63, Аноним (63), 16:31, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    > 4. Кроссплатформенность:

    Вот тут поподробнее, пожалуйста! Как мне собрать компилятор раста для архитектуры, для которой мозилла не выложила уже готовый бинарник?

     
     
  • 4.69, Аноним (3), 16:47, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    Мозилла уже миллион лет не имеет отношения к расту.
     
  • 3.90, Аноним (90), 17:57, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    Это ChatGPT нагенерил? Особеноно про "Rust предлагает мощные инструменты для асинхронного программирования" смешно.
     
     
  • 4.104, Аноним (20), 18:57, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    Естественно. Собственно, если асинхронные генераторы нормальные когда-нибудь завезут, язык станет вполне юзабельным. Но, что-то у меня сомнения уже, что это когда-то случится. А без этого язык жуткое легаси, на котором писать прикладной код невозможно.
     

  • 1.5, Аноним (5), 13:13, 16/10/2024 [ответить] [﹢﹢﹢] [ · · · ]  
  • +3 +/
    У меня к расту только один вопрос: что мешало сделать C-подобный синтаксис? Зачем постоянно пытаются изобретать кривые велосипеды для годных технологий?
    Так-же и с GoLang, очень хорошая технология, но жуткий синтаксис с неисправимыми болячками.
     
     
  • 2.10, Аноним (3), 13:15, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • –5 +/
    Ваш вопрос о синтаксисе Rust вполне оправдан. Разработчики стремились создать язык, который бы сочетал безопасность и функциональность, внося новшества. Синтаксис Rust может показаться сложным из-за его особенностей управления памятью и параллелизма, но эти меры направлены на избегание распространённых ошибок, делающих код более надежным.
     
     
  • 3.48, Аноним (48), 15:39, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +2 +/
    Хорошая попытка, ИИ. К счастью, это все еще очень заметно даже невооруженным глазом.
     
     
  • 4.53, Аноним (3), 16:02, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    Что тебе заметно? Тут половина комментов ИИ ты только один вычислил. Короткие комменты вычислить практически невозможном.
     
  • 3.67, Аноним (67), 16:36, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • –1 +/
    В сообществе Раст-евангелистов все настолько плохо, что даже пришлось привлечь GPT.
     
  • 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 [^] [^^] [^^^] [ответить]  
  • +1 +/
    golang это вендорлок, нет смысла тратить время на его обсуждение
     
     
  • 4.73, Аноним (73), 16:57, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    Какой вендорлок? Го - свободное ПО, крупных реализаций компилятора даже две, есть от GCC. Репозитория пакетов типа cargo нет. Где лок-то?
     
     
  • 5.82, Аноним (82), 17:23, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    Ты бы почаще в методичку эксперта заглядывал, чтобы такие вопрос не задавать.

    1) Го для глупых программистов 2) его сделал гугл чтобы экономить на них 3) поэтому на го программируют те кто не умеет программировать 4) это выгодно гуглу 5) поэтому го поддерживается гуглом 6) поэтому го зависит от гугла 7) Гугл это M$ №2

     
     
  • 6.85, Аноним (73), 17:28, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Мне пофиг что там выгодно Гуглу, если оно даёт выгоду и мне. Язык рабочий, дела делаются, программы пишутся. А не только сказки про безопасную память сказываются, как у некоторых
     
  • 5.96, Вы забыли заполнить поле Name (?), 18:31, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    > есть от GCC

    Что даже в пробе его используете? Нет? А толку тогда говорить об этом.

     
     
  • 6.108, _ (??), 19:08, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    Дык скорее всего в следующем мэйжор релизе - включат в коллекию...
    И пойдешь ты делать ан@льное харакири :)
     
  • 4.74, голос из леса (?), 16:58, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • –1 +/
    Дарю

    =====
    Copyright (c) 2009 The Go Authors. All rights reserved.

    Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met:

       * Redistributions of source code must retain the above copyright notice, this list of conditions and the following disclaimer.    

       * Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the following disclaimer in the documentation and/or other materials provided with the distribution.    

       * Neither the name of Google Inc. nor the names of its contributors may be used to endorse or promote products derived from this software without specific prior written permission.

    THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.

     
     
  • 5.75, Аноним (2), 17:07, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    Разве речь шла про лицензию? Нет.
     
     
  • 6.77, голос из леса (?), 17:18, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    В таком формате все вендер-лоск. Где-то компания "вендер-лоск", где-то человек или группа.

    >> Разве речь шла про лицензию? Нет.

    Пятками назад? ну-ну

     
     
  • 7.86, Аноним (73), 17:30, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    > В таком формате все вендер-лоск

    Так и где Лок? Редистрибьютить можно, форкать можно. Да все почти можно, что может понадобиться, это ж BSD license

     
  • 5.84, Аноним (73), 17:27, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    И где тут вендор-лок? Как раз тут текст одной из самых свободных лицензий - 3 clause BSD
     
  • 4.106, _ (??), 19:06, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    > golang это вендорлок, нет смысла тратить время на его обсуждение

    Удивительно ... но они нас боятся :)

    Никому не говори - GCC работают на Go и оно в принципе уже работает. Скоро включат в коллкшен.
    Не бойтесь, мы вас по доброму от-иго-гошим, даже нежно! ;-D

     
  • 3.98, Вы забыли заполнить поле Name (?), 18:33, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    > С Растом да, но что с Golang-то не так? У Го как раз-таки хороший и удобный Си-подобный синтаксис. Не даром Кен Томпсон был в команде разработки

    Этот тот язык, где неиспользуемая переменная приводит к ошибке компиляции? Или где форматирование не по гайдам тоже?

     
     
  • 4.110, _ (??), 19:12, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    > Этот тот язык, где неиспользуемая переменная приводит к ошибке компиляции?

    Чтобы ты дубинушка не обоср@лся на ровном месте :) Попробуй своего кумира - раст, тот вообще любит по-жестче :)

    PS: За "волей" дуй в Си. Но на воле сохранность твоего хозяйства - только твоя забота, не уверен ... пиши на JS\Python\Java\C#.

     
  • 2.33, zeecape (ok), 14:18, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Тут дело не в синтаксисе, а привычке с ним работать. Если работаешь с С-подобными языками, то работа с Go или Rust может казаться отвратной из-за непривычных конструкций. (Пы.Сы: Rust на самом деле довольно сильно похож по синтаксису к C/C++)
     
  • 2.66, Facemaker (?), 16:35, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    >У меня к расту только один вопрос: что мешало сделать C-подобный синтаксис?

    Странная претензия. Rust входит в число языков программирования с Си-подобным синтаксисом.

    А если конкретнее? Например, могу пояснить, почему был выбран синтаксис функции с ключевым словом 'fn', а не такой, как в Си.

     
  • 2.65, Аноним (63), 16:34, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    > позволяет писать классный код!

    Толпа требует прувов!

     
  • 2.101, Walker (??), 18:34, 16/10/2024 Скрыто ботом-модератором     [к модератору]
  • +/
     

  • 1.9, Аноним (9), 13:15, 16/10/2024 [ответить] [﹢﹢﹢] [ · · · ]  
  • +3 +/
    > намерен уже в этом году добиться уровня, пригодного для широкого использования в виртуальных машинах с архитектурой 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 [^] [^^] [^^^] [ответить]  
  • +/
    Тут речь о другом Он еще не работает на виртуалке Только собираются дожелать ... большой текст свёрнут, показать
     
     
  • 4.49, Аноним (49), 15:40, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    > Это деформация из-за новостей опен-нет про очередных переписчиков которые или собираются
    > достигнуть паритета или даже не собираются заявляя об избыточности функциональности оригинала.

    Ну, пожелаем им успеха.
    У каждого свое хобби.

    >> Гугл как-то не утонул, и амазон тоже.
    > Они доделали? Или все еще делают?

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

    Ты лучше ответь, ядро линукс оно уже доделано или еще нет)?

     
     
  • 5.56, Аноним (9), 16:11, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    > Они сделали достаточно, чтобы код отправился к пользователям.

    И дал он преимущества этим пользователям?

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

    > Ты лучше ответь, ядро линукс оно уже доделано или еще нет)?

    Сравнил полностью написанное ядро с кусочками переписанного.

    Слабая попытка.

     
     
  • 6.80, Аноним (-), 17:22, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    Да Меньше ошибок и уязвимостей, меньше шансов что товй телефон ломанут прислав ... большой текст свёрнут, показать
     
     
  • 7.88, Аноним (9), 17:40, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    > С хорошим показателем

    Ага. Значит менеджеры щеки надувают.

    И дальше:

    > А когда версия 1.0 вышла, уже было "полностью" или еще кучу версий просто от нечего делать дописали?

    А затем:

    > Ты вертишься как уж на сковородке, а смотреть приятно)

    Явно видно, что осознаешь свое положение.
    Сравнивать полностью функциональное ядро и кусочки кода. А затем сводить тему на версию 1.0.

    Красавец.

    Так доделал google, или нет?

     
     
  • 8.91, Аноним (-), 18:16, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    Т е для тебя отсутсвите багов это менеджеры щеки надувают Твоя логика поражае... большой текст свёрнут, показать
     
     
  • 9.95, Аноним (9), 18:29, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    Я спрашивал что получили пользователи Меньше написанного кода - меньше багов И... текст свёрнут, показать
     
  • 9.100, Аноним (9), 18:34, 16/10/2024 Скрыто ботом-модератором     [к модератору]
  • +/
     
  • 2.24, нах. (?), 13:51, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    > Ага. Значит как и все проекты на rust, пока не доделан.

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

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

    но ресдох...

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

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

     
     
  • 3.94, Аноним (94), 18:28, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • –1 +/
    > команда китайских разработчиков с именами из квадратиков

    У которых безвизовых стран больше чем у тебя)
    Давай лучше про цвета пачпорта шутить.
    Вот у китайцев он красненький.

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

    С MPL лицензией?
    Ты же это не серьезно?

     

  • 1.16, голос из леса (?), 13:28, 16/10/2024 Скрыто ботом-модератором [﹢﹢﹢] [ · · · ]     [к модератору]
  • +6 +/
     

  • 1.30, Аноним (3), 14:05, 16/10/2024 [ответить] [﹢﹢﹢] [ · · · ]  
  • –2 +/
    Эй, мир! 🌍 ОС на Rust — это будущее! Спасибо, Опennet, за поддержку! Хейтеры, ваше время прошло!
     
     
  • 2.83, Аноним (83), 17:23, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    Ага, китайские товарищи тебя уже ждут.
     

  • 1.34, cs (?), 14:20, 16/10/2024 [ответить] [﹢﹢﹢] [ · · · ]  
  • +3 +/
    они хотябы своё пилят и никому не мешают.
    ну и пусть тогда пилят, может что нормальное получится(а нет так нет, нежалко)
     
  • 1.36, Аноним (-), 14:37, 16/10/2024 [ответить] [﹢﹢﹢] [ · · · ]  
  • +2 +/
    > Группа разработчиков из Китая

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

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

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

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

    У китайцев тьма осень талантливых программистов, знающих английский.

    Про автоматизацию, high speed rail и тотальную слежку с системами распознавания лиц может сравниться только Япония.

     

  • 1.37, Аноним (37), 14:37, 16/10/2024 [ответить] [﹢﹢﹢] [ · · · ]  
  • +4 +/
    Это хорошая новость. Теперь все любители внедриться в ядро могут туда сваливать
     
     
  • 2.103, Советский инженер (ok), 18:45, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    >Теперь все любители внедриться в ядро могут туда сваливать

    Купи себе свое ядро и там командуй.
    А в Linux будут командовать уважаемые платиновые спонсоры.

     

  • 1.64, Аноним (67), 16:32, 16/10/2024 [ответить] [﹢﹢﹢] [ · · · ]  
  • +1 +/
    Делайте ваши ставки на то, что из этого получится что-то жизнеспособное. Текущий коэффициент 1:2000
     
     
  • 2.70, Аноним (3), 16:48, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    Если сабж встроят хотя бы в систему управления кофеваркой это уже будет для него победа.  
     

  • 1.71, Аноним (71), 16:50, 16/10/2024 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    Новый тип китайского "микроядра": "микроядро" внутри монолитного ядра.
     
  • 1.76, beck (??), 17:08, 16/10/2024 [ответить] [﹢﹢﹢] [ · · · ]  
  • +1 +/
    > ABI (Application Binary Interface), совместимый с ядром Linux и способный использоваться вместо него

    В линуксе abi постоянно ломается. При этом хак на хаке едет и хаком погоняет.

    Т.е. они хотят сделать ядро, такое же, но другое, потому что в первом есть фатальный недостаток. Даже два.

    И постоянно это ядро переписывать,  потому abi постоянно изменяется.

    Отличная инициатива.

     
  • 1.78, Аноним (78), 17:19, 16/10/2024 [ответить] [﹢﹢﹢] [ · · · ]  
  • +1 +/
    Страшно представить сколько времени такое ядро компилироваться будет.
     
  • 1.81, голос из леса (?), 17:23, 16/10/2024 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    Нет доверяю Я китайским погромистам (C)


    На интуитивном уровне при поиске пакетов избегаю те, где автор(ы) с квадратными именами. Заметил, что он бросают многие репы с багами, тикетами,  недоделками -  просто бросили и все, как умерли.

     
     
  • 2.87, Аноним (87), 17:36, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    А есть еще всякие jin tan'ы - такие еше и уязвимостей напихают
     

  • 1.89, Хру (?), 17:41, 16/10/2024 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    А чем это лучше Maestro? Там на начало 2024 года вроде как была реализована поддержка 115 syscalls
     
  • 1.93, DEF (?), 18:27, 16/10/2024 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    Китайцы? Эти смогут.
     
     
  • 2.99, Вы забыли заполнить поле Name (?), 18:34, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    Только доверия им 0.
     
     
  • 3.113, Dima (??), 19:20, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    Типа к США и Европе больше доверия? :)
     

  • 1.97, Аноним (97), 18:31, 16/10/2024 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    > Компоненты ядра в Asterinas размещаются в общем адресном пространстве, а безопасность достигается на уровне логического разделения безопасного кода и кода в котором не исключено возникновение проблем с безопасностью.

    Т.е. если взять обычное ядро Linux, и пометить функции, в которых 100% всё безопасно, то получится то самое логическое разделения безопасного кода.. И ядро сразу станет безопаснее без какой-либо правки кода!

     
     
  • 2.107, Аноним (71), 19:08, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    > пометить функции, в которых 100% всё безопасно

    Метить может только руст, ой, то есть gptchat, ой, ИИ в смысле машина.

    Человеку нельзя.

     

  • 1.102, Аноним (102), 18:38, 16/10/2024 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    Странная у вас справедливость и что же они возьмут и спишут микро ядро того chromium os 77 , а это магические цифры фактически числа бога семь дней. Не нарушает ли это закон бога что грозит последствиями
     
  • 1.105, Аноним (109), 19:05, 16/10/2024 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    Если это будет иметь stable API/ABI, то оно имеет шанс заменить Линукс.

    Zircon не взлетел, Google не дал, может, это взлетит.

     
  • 1.111, Аноним (111), 19:13, 16/10/2024 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    "широкое использование на виртуальных машинах" - это как? Если есть совместимость с линуксом, то в чем проблема запускать на любых машинах?
     

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



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

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