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


Обсуждение (152) Ajax | 1 уровень | Линейный | +/- | Раскрыть всё | RSS
  • 1.2, Аноним (2), 12:55, 16/10/2024 [ответить] [﹢﹢﹢] [ · · · ]  
  • +11 +/
    Ada spark обеспечила бы не только безопасную работу памяти, но и верификацию кода. Не осилили.
     
     
  • 2.3, Аноним (3), 13:01, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • –12 +/
    Список по каким критериям раст лучше ады 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 [^] [^^] [^^^] [ответить]  
  • +8 +/
    Поговорил с ботом - день прошел не зря.
     
     
  • 5.117, Аноним (117), 19:43, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +1 +/
    >Неудобно? Значит, пора учиться, а не сваливать на инструменты.

    Вот на Brainfuck неудобно писать. Ну чтож, значит, пора научиться, а не сваливать на инструмент.

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


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


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


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


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

     
  • 3.11, Аноним (117), 13:19, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +5 +/
    >Rust имеет более современный и удобочитаемый синтаксис, что облегчает его освоение для новых разработчиков

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

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

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

     
     
  • 7.68, ct (?), 16:39, 16/10/2024 Скрыто ботом-модератором     [к модератору]
  • +3 +/
     
  • 4.140, pda (ok), 22:01, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    Торвальдс-то как раз не против Rust в ядре.
     
     
  • 5.149, _ (??), 00:14, 17/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    Он моргнул дважды! (С)
    Стало быть он давал интервью с элктрошокером в @ - Сатья большой перестраховщик! и знает толк(С):)
     
     
  • 6.184, Аноним (184), 12:31, 17/10/2024 Скрыто ботом-модератором     [к модератору]
  • +/
     
  • 3.20, Аноним (20), 13:35, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    1 Формальная верификация СПАРК разработан с учетом требований формальной вериф... большой текст свёрнут, показать
     
     
  • 4.26, Аноним (3), 13:57, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • –3 +/
    1 Ой, формальная что Это звучит как что-то из научного фильма Но, наверное, е... большой текст свёрнут, показать
     
  • 3.47, BeLord (ok), 15:38, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    1 А можно понятным техническим языком, что такое выразительно А то, лично для ... большой текст свёрнут, показать
     
  • 3.63, Аноним (63), 16:31, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    > 4. Кроссплатформенность:

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

     
     
  • 4.69, Аноним (3), 16:47, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    Мозилла уже миллион лет не имеет отношения к расту.
     
     
  • 5.134, Аноним (134), 21:27, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    > Мозилла уже миллион лет не имеет отношения к расту.

    Ну не завезли еще в отдаленные вербовочные пункты "Военства Супротив Раста" современные методички ...

     
     
  • 6.157, scriptkiddis (?), 00:55, 17/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    Но ответа не последовало.
     
     
  • 7.207, Аноним (134), 21:39, 17/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    > Но ответа не последовало.

    О Великий Воен, судя по постановке вопроса - ответ вам все равно никуда не уперся (потому что из вопроса неясно, подразумевалась ли кросскомпиляция или добавление нового "таргета" или вообще, полноценное портирование компилятора - только вот при втором еще и стд. либу желательно портировать). Ну и да, есть такая штука, как доки - их даже не растовцы придумали:
    https://rustc-dev-guide.rust-lang.org/building/how-to-build-and-run.html

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

    Ну дык - так и быть, разрешаю вместо очередных комментов на опеннете "как надо было правильно!"  показать личным примером (или спонсировать-организовать единомышленников) все преимущества Ада ...
    Или очередной опеннетный "не тактик, а стратег!"?

     
     
  • 3.142, Аноним (142), 22:37, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Пожалуйста:
    https://ironclad.nongnu.org/

    Ironclad is a formally verified, hard real-time capable kernel for general-purpose and embedded uses, written in SPARK and Ada. It is comprised of 100% free software, free in the sense that it respects the user’s freedom.

    Some of the supported features are:

    A familiar POSIX-compatible interface.
    True simultaneous preemptive multitasking.
    Advanced cryptography and a security-centered architecture.
    Mandatory Access Control (MAC).
    Highly configurable, hard real-time scheduling.
    Support for several architectures and boards.

     
  • 2.160, квадратный (?), 01:09, 17/10/2024 [^] [^^] [^^^] [ответить]  
  • +1 +/
    только Haskell/Agda
    галюцинации чатжопаты в топку
     

     ....большая нить свёрнута, показать (27)

  • 1.5, Аноним (5), 13:13, 16/10/2024 [ответить] [﹢﹢﹢] [ · · · ]  
  • +5 +/
    У меня к расту только один вопрос: что мешало сделать C-подобный синтаксис? Зачем постоянно пытаются изобретать кривые велосипеды для годных технологий?
    Так-же и с GoLang, очень хорошая технология, но жуткий синтаксис с неисправимыми болячками.
     
     
  • 2.10, Аноним (3), 13:15, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • –9 +/
    Ваш вопрос о синтаксисе Rust вполне оправдан. Разработчики стремились создать язык, который бы сочетал безопасность и функциональность, внося новшества. Синтаксис Rust может показаться сложным из-за его особенностей управления памятью и параллелизма, но эти меры направлены на избегание распространённых ошибок, делающих код более надежным.
     
     
  • 3.48, Аноним (48), 15:39, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +8 +/
    Хорошая попытка, ИИ. К счастью, это все еще очень заметно даже невооруженным глазом.
     
     
  • 4.53, Аноним (3), 16:02, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    Что тебе заметно? Тут половина комментов ИИ ты только один вычислил. Короткие комменты вычислить практически невозможном.
     
     
  • 5.137, Аноним55 (?), 21:33, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +2 +/
    ИИ вычислить проще простого: формальная грамотность + абсолютная бессмысленность.
     
  • 5.143, Аноним (143), 23:10, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    ИИ не существует.
     
     
  • 6.150, Neon (??), 00:14, 17/10/2024 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Зомбированный евангилист с промытыми мозгами чем не ИИ ?))
     
  • 3.67, Аноним (67), 16:36, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +1 +/
    В сообществе Раст-евангелистов все настолько плохо, что даже пришлось привлечь GPT.
     
  • 2.12, голос из леса (?), 13:23, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Задуматся что с синтаксисом C++ что не ладно корона не позволяет?
     
  • 2.17, Аноним (17), 13:29, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • –3 +/
    У Rust C-подобный синтаксис во всех местах, где только возможно.
     
     
  • 3.21, Аноним (117), 13:37, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +3 +/
    Ну, разве что, основанный на блоках кода, оформляемых скобочками {...}
     
  • 2.27, Аноним (27), 13:58, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +3 +/
    С Растом да, но что с 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 [^] [^^] [^^^] [ответить]  
  • –2 +/
    Ты бы почаще в методичку эксперта заглядывал, чтобы такие вопрос не задавать.

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

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

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

     
  • 4.74, голос из леса (?), 16:58, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    Дарю Copyright c 2009 The Go Authors All rights reserved Redistribut... большой текст свёрнут, показать
     
     
  • 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 [^] [^^] [^^^] [ответить]  
  • –1 +/
    И где тут вендор-лок? Как раз тут текст одной из самых свободных лицензий - 3 clause BSD
     
  • 4.106, _ (??), 19:06, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +1 +/
    > golang это вендорлок, нет смысла тратить время на его обсуждение

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

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

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

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

     
     
  • 4.115, Аноним (73), 19:31, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    Насчет переменной - да, именно так. И что в этом плохого? Странная предъява. Если вдруг нужно реально не использовать какую-то переменную, явно присваиваете в _. Если нужно импортировать пакет без побочных эффектов, аналогично, import _ "package"

    Насчет форматирования - это не актуально, потому что форматирование автоматически делается по стандарту утилитой или твоей IDEшкой. Впрочем, я прогал и без IDE, и ошибок за форматирование никаких никогда не было, это не Питон всё-таки

     
     
  • 5.151, Вы забыли заполнить поле Name (?), 00:14, 17/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    > Насчет переменной - да, именно так. И что в этом плохого? Странная
    > предъява. Если вдруг нужно реально не использовать какую-то переменную, явно присваиваете
    > в _. Если нужно импортировать пакет без побочных эффектов, аналогично, import
    > _ "package"

    При отладке временные неиспользуемые переменные - это ок. В нормальных языках это warning.  

    > Насчет форматирования - это не актуально, потому что форматирование автоматически делается
    > по стандарту утилитой или твоей IDEшкой. Впрочем, я прогал и без
    > IDE, и ошибок за форматирование никаких никогда не было,

    Автоматическое форматирование не отменяет факта, что я могу писать как хочу. clang-format тоже может код отформатировать, но до этого его можно написать и скомпилить в любом стиле.

    > это не
    > Питон всё-таки

    Открывающую скобку нельзя разместить на след. строке из-за особенностей парсера

    > For instance, the opening brace of a function cannot appear on a line by itself.

     
     
  • 6.153, Аноним (73), 00:28, 17/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    > При отладке временные неиспользуемые переменные - это ок. В нормальных языках это warning.

    Ну опять же, добавите _ = если так уж надо, ничего страшного. Обычно всё равно советуют компилировать, что ворнинг = ошибки

    > Автоматическое форматирование не отменяет факта, что я могу писать как хочу.

    И вот зачем вам эта свобода "писать как хочу"? Чтобы что? Вам задачу решать или писать как хочется? Не знаю, вот на мой взгляд эти все решения в Go - пример максимального прагматизма. Язык сосредоточен на том, чтобы решать задачи и не было ничего лишнего. Ни дум о форматировании, ни висящих ненужных переменных

     
     
  • 7.194, Вы забыли заполнить поле Name (?), 14:05, 17/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    >> При отладке временные неиспользуемые переменные - это ок. В нормальных языках это warning.
    > Ну опять же, добавите _ = если так уж надо, ничего страшного.
    > Обычно всё равно советуют компилировать, что ворнинг = ошибки

    Где советуют? У нормальных языков есть разные режимы сборки. В прод — да, в дев — не обязательно.

    >> Автоматическое форматирование не отменяет факта, что я могу писать как хочу.
    > И вот зачем вам эта свобода "писать как хочу"? Чтобы что? Вам
    > задачу решать или писать как хочется? Не знаю, вот на мой
    > взгляд эти все решения в Go - пример максимального прагматизма

    Как раз таки максимальные ограничения — это не про свободу разработки. Но как метод борьбы с дешевыми Кодманками работает.

     
     
  • 8.198, Аноним (73), 15:26, 17/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    Ну вот о чем и речь, нужна не свобода разработки, нужно выполнение задач И в эт... текст свёрнут, показать
     
     
  • 9.200, Вы забыли заполнить поле Name (?), 15:50, 17/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    Смотря для кого Для конторы, чтобы индусы писали код и шаг влево и вправо растр... текст свёрнут, показать
     
  • 7.196, Вы забыли заполнить поле Name (?), 14:21, 17/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    > Ну опять же, добавите _ = если так уж надо, ничего страшного

    Вот есть у меня файл на 500 строк, где-то внизу вызов импортированной функции, я его закомментировал , потому что он временно не нужен, идёт процесс разработки и я не намерен фиксировать такой код. И тут он мне говорит, а вот фиг тебе, неиспользуемый импорт. И вот я как примат с пальмы должен скакать по коду и приводить его в конечный вид, но это НЕ конечный вид!  

    В ту же копилку можно скинуть требование писать комментарий к каждой публичной сущности, из-за чего во многих проектах совершенно прекрасные комментарии в духе

    // это мост
    Мост

     
     
  • 8.199, Аноним (73), 15:29, 17/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    Комментарии к каждой публичной сущности писать необязательно, уж во всяком случа... текст свёрнут, показать
     
  • 6.155, Аноним (73), 00:30, 17/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    Я вдогонку еще вот что скажу. Я на Go профессионально пишу 3 года уже - вы не за те вещи его ругаете. То, за что вы его ругаете - за это я бы похвалил как раз. А вот действительно слабые моменты вы упускаете из виду
     
     
  • 7.195, Вы забыли заполнить поле Name (?), 14:10, 17/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    > Я вдогонку еще вот что скажу. Я на Go профессионально пишу 3
    > года уже - вы не за те вещи его ругаете. То,
    > за что вы его ругаете - за это я бы похвалил
    > как раз. А вот действительно слабые моменты вы упускаете из виду

    Про отсутсвие нормальной системы типов, дурацкую обработку ошибок, паузы в гц?

     
     
  • 8.197, Аноним (73), 15:24, 17/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    С типами да, они слабоваты Обработка ошибок - скорее да, хотя исключения мне не... текст свёрнут, показать
     
  • 5.208, кьяроскуро (?), 23:55, 17/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    Как только вы начинаете использовать препоцессор - начинается лютый оверинжиниринг.
     
  • 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', а не такой, как в Си.

     
     
  • 3.126, Аноним (73), 20:31, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    > Например, могу пояснить, почему был выбран синтаксис функции с ключевым словом 'fn', а не такой, как в Си.

    А почему, действительно?

     
     
  • 4.144, Facemaker (?), 23:37, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    >А почему, действительно?

    Однозначность. Представим себе, что надо нагрепать в C++-проекте все функции...

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

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

     
  • 2.122, Аноним (122), 20:08, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    Вы сиподобный синтаксис видели?
    char *(*(**foo[][8])())[];
    [=, *this]{ };
    [&, i]{};
    A b(c);
    A b(c d);
     
  • 2.164, хлебушек (?), 03:12, 17/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    у Go - тяжкое наследие языка Limbo, который использовался в plan9 ОС. (со-)Автор всех этих вещей - Роб Пайк.
     
  • 2.168, Проходил мимо (?), 07:32, 17/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    Рассказы про "жуткий синтаксис" этих языков сразу указывают, что человек малость не в теме :D

    1. Синтаксис Rust очень близок по стилю к синтаксису Си++. В нем единственно реально неудачная вещь - это задание времени жизни (к счастью, это в реальном коде требуется делать достаточно редко).
    2. Синтаксис GoLang очень простой и понятный, единственная реальная претензия - требование писать открывающую фигурную скобку на той же строке, где находится if, for, название структуры/функции и т.п.

     
  • 2.176, Соль земли (?), 11:42, 17/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    Опять нытьё про синтаксис. Ничего нового.
     

     ....большая нить свёрнута, показать (44)

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

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

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

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

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

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

     
     
  • 2.23, Аноним (-), 13:50, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +1 +/
    >> намерен уже в этом году добиться уровня, пригодного для широкого использования в виртуальных машинах с архитектурой 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 [^] [^^] [^^^] [ответить]  
  • +/
    Я спрашивал что получили пользователи Меньше написанного кода - меньше багов И... текст свёрнут, показать
     
     
  • 10.132, Аноним (-), 21:10, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    Тогда ты наверное советуешь пользователям какой-то FreeDOS Типа чем меньше кода... большой текст свёрнут, показать
     
     
  • 11.165, Аноним (165), 03:18, 17/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    За мыслью уследить не смог Прости Я не телепат Причем тут желчь Я вижу реаль... большой текст свёрнут, показать
     
     
  • 12.177, Аноним (-), 11:59, 17/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    Не страшно Я вижу что ты стараешься как можешь Ты написал Меньше написанного ... большой текст свёрнут, показать
     
     
  • 13.190, Аноним (9), 13:33, 17/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    Опять подмена понятий Имеют преимущество, очевидно, же Меньше кода - легче под... большой текст свёрнут, показать
     
  • 11.166, Аноним (165), 03:27, 17/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    И да Какая разница кого что волнует Главное достоверность источника информации... текст свёрнут, показать
     
  • 9.100, Аноним (9), 18:34, 16/10/2024 Скрыто ботом-модератором     [к модератору]
  • +/
     
  • 3.152, _ (??), 00:18, 17/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    > Миллиард китайцев и не доделают?

    Ну ты чё как маленький? Расту в китае ловит нечего, там главный пахан - Си 8-)

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

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

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

    но ресдох...

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

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

     

     ....большая нить свёрнута, показать (16)

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

  • 1.34, cs (?), 14:20, 16/10/2024 [ответить] [﹢﹢﹢] [ · · · ]  
  • +6 +/
    они хотябы своё пилят и никому не мешают.
    ну и пусть тогда пилят, может что нормальное получится(а нет так нет, нежалко)
     
     
  • 2.116, Диды (?), 19:34, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • –1 +/
    Диды поддерживают!
    Вот пишут же сами, а не других заставляют.
    Удачи ребятам. Клёво будет, если у них получится. А не получится - тоже не плохо - опыта набирутся.
    В любом случае продвинут к ответу вопрос - а можно-ли на rust чёнить сложное написать.
     

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

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

     
     
  • 3.183, Аноним (184), 12:28, 17/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    А вы себе, так понимаю, купили Астра Линукс? Нет, не лицензию на использование, а в собственность? ;)
     
     
  • 4.188, Советский инженер (ok), 13:18, 17/10/2024 [^] [^^] [^^^] [ответить]  
  • +1 +/
    > А вы себе, так понимаю, купили Астра Линукс? Нет, не лицензию на
    > использование, а в собственность? ;)

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


     

  • 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 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    Новый тип китайского "микроядра": "микроядро" внутри монолитного ядра.
     
     
  • 2.163, seyko (??), 02:29, 17/10/2024 [^] [^^] [^^^] [ответить]  
  • +1 +/
    У них микроархитектура в одном адресном пространстве. Защита сервисов и ядра от ненадежного кода возлагается на проверки RUST. В общем, правильно. Ядро Linux тоже предпочитает работать в одном адресном пространстве. Да и подпроцессы имеет. Однако отсутствует явное деление на основу и сервисы и обмен между ними сообщениями. Новая архитектура предполагает, что и пользовательские программы, написанные на Rust, можно будет запускать в том же адресном пространстве: real time user space

    PS: genode OS вполне себе здравствует, имеет кучу разных совместимых микроядер. Но до запуска ядра и сервисов в одном адресном пространсте пока не дошло.

     

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

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

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

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

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

     
     
  • 2.141, X512 (?), 22:11, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Речь идёт о UABI -- ABI используемое программами режима пользователя, а не внутреннее ABI компонентов и модулей ядра. UABI в Линуксе стабильное.
     

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


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

     
     
  • 2.87, Аноним (87), 17:36, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    А есть еще всякие jin tan'ы - такие еше и уязвимостей напихают
     
     
  • 3.148, голос из леса (?), 23:58, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    Китайское поделие не всегда, но имеет шанс взлететь, если начальство бьет палками по пяткам.

    Если это проект "китайских товарищей на доверии", то 100% - забросят.

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


    Короче: пиво, фисташки, чипсики и наблюдаем за попыткой товарищей продаться.

     
     
  • 4.175, пох. (?), 10:45, 17/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    Проблема что как только начальство меняется - палки начинают бить других китайцев и старый проект летит в помойку, потому что никто не помнит этих квадратиков. Кто вон еще помнит - tengine ? А как дысал, как дысал...

    > Шанс что подхватят корпы есть, потому и пиарят. Благо сейчас деглобализация, и прочей.

    нету шанса. Есть шанс что глупые китайские спекулянты деньгами дадут немножко прямщас. Через неделю забудут.

    Т.е. нонеймам из квадратиков оно поможет купить плошку риса и смазку для кошкожены, один раз. А нам с тобой толку вообще ровно ноль.

     
  • 2.139, Аноним (139), 21:35, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Это не интуитивный уровень, а расистский. Надо отучаться.
     
  • 2.173, Соль земли (?), 10:09, 17/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    Китайцы почти в каждой репе на гитхабе есть. Просто не всегда создатели репы.
     
  • 2.182, Аноним (184), 12:25, 17/10/2024 Скрыто ботом-модератором     [к модератору]
  • +/
     

  • 1.89, Хру (?), 17:41, 16/10/2024 [ответить] [﹢﹢﹢] [ · · · ]  
  • +1 +/
    А чем это лучше Maestro? Там на начало 2024 года вроде как была реализована поддержка 115 syscalls
     
  • 1.93, DEF (?), 18:27, 16/10/2024 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    Китайцы? Эти смогут.
     
  • 1.97, Аноним (97), 18:31, 16/10/2024 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    > Компоненты ядра в Asterinas размещаются в общем адресном пространстве, а безопасность достигается на уровне логического разделения безопасного кода и кода в котором не исключено возникновение проблем с безопасностью.

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

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

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

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

     
  • 2.174, Соль земли (?), 10:10, 17/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    Well yes, but actually no.
     

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

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

     
     
  • 2.124, Аноним (117), 20:25, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    Ага, а кто модули ядра для железок им писать будет? Скорее всего, будут лепить внутрядерную прослойку с ABI/API Линукса для использования модулей оного. Ну и приводить в соотвествии там это с каждым мажорным релизом ядра Linux.
    А-а, они будут делать совместимость только с ядрами LTS. Так и сам Линукс с LTS неплохо живёт. Вобщем, по затратности человеко-часов ничем не лучше оригинала.
     
     
  • 3.202, Аноним (105), 16:48, 17/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    > Ага, а кто модули ядра для железок им писать будет? Скорее всего,
    > будут лепить внутрядерную прослойку с ABI/API Линукса для использования модулей оного.
    > Ну и приводить в соотвествии там это с каждым мажорным релизом
    > ядра Linux.
    > А-а, они будут делать совместимость только с ядрами LTS. Так и сам
    > Линукс с LTS неплохо живёт. Вобщем, по затратности человеко-часов ничем не
    > лучше оригинала.

    Они с ума сойдут повторять изменения API ядра. Это титаническая неблагодарная работа.

    Скорее, будет так: изначально чисто enterprise с поддержкой стандартов (EFI, ACPI, TIMERS, AHCI, NVME, USB 2/3), и популярных сетевых карт.

    Потом, если взлетит, ведоры подсуетятся или кто-то портирует драйвера из ОС с более permissive license, i.e. FreeBSD).

    // b.

     
  • 2.138, Аноним (139), 21:34, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    А когда это в линуксе отменили стейбл апи? С этого момента поподробнее.
     
     
  • 3.201, Аноним (105), 16:43, 17/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    В ядре есть два API: internal and userspace (aka Linux syscalls).

    Первое - 100% unstable, Google: Stable API nonsense.
    Второе - 100% stable.

    Все это гуглится за 3 минуты. Почему анонимы задают тупые вопросы - я не знаю.

    В Windows internal API стальной стабильно для минимум одной версии ОС, по факту часто гораздо больше.

    Некоторые драйверы для win 8 работают в win 10. Win 11 не проверял.

     

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

  • 1.114, neo one (?), 19:31, 16/10/2024 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    дизайн выглядит намного жизнеспособнее redox
     
  • 1.120, kusb (?), 19:52, 16/10/2024 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    Есть ядро написанное на Ada.
     
     
  • 2.125, Аноним (125), 20:29, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    Какое?
     
     
  • 3.127, kusb (?), 20:34, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +1 +/
    https://ironclad.nongnu.org/
     
     
  • 4.161, мяв (?), 01:23, 17/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    вот это реально круто. судя по новостям в rss, проект живет.
    спасибо за ссылку.
     
     
  • 5.170, Карлос Сношайтилис (ok), 08:30, 17/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    Четыре релиза за прошлый год, ни одного за текущий.

    Уже не очень живёт

     
     
  • 6.189, мяв (?), 13:33, 17/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    если Вы из тех, кто жизнь измеряет по принципу "сколько раз за годик бафнули версию", то.. идите дальше под новости про systemd !
     
     
  • 7.192, мяв (?), 13:42, 17/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    Зы. причина бугурта в том, что эти <слов цензурных нет> убрали возможность определения работы tomoyo через Condition из за того, что "проект не развивается".
    при том, *****, что неапстримовые версии живут активной жизнью, а апстримовая уже 10 дет бьется головой об lsm, безуспешно пытаясь патчи в него протолкнуть для полноценной функциональности путеоснованных MACов.
    спрашивается, **** они тебе там, *******, сделают, если, *****, линус рога выставил? ядро **** форкнут?
    и это лично поцтеринг сделал.
    до стх пор бомбит. вот по такой логике и действуюет "новая волна программистов", как я вижу
     
     
  • 8.193, мяв (?), 13:49, 17/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    а тут все еще проще некоторые вещи дольше и сложнее реализуются, чем другие и ... текст свёрнут, показать
     
  • 5.178, Аноним (184), 12:13, 17/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    Кто вкурсе. Что такое SPARK: фреймворк на Ada, расширение Ada?
     
     
  • 6.191, мяв (?), 13:35, 17/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    это язык-надстройка.
     
  • 2.129, Аноним (165), 20:52, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    Если посмотреть их сайт. То еще не написанное.

    0.5.0 2023-Oct-31 Not stable

    И почти год нет релизов.
    Значит и не будет написано.

     

  • 1.130, Аноним (130), 20:58, 16/10/2024 [ответить] [﹢﹢﹢] [ · · · ]  
  • +2 +/
    Попутного им ветра. Пусть расцветают сто цветов, победит сильнейший и всё такое. И, вдогонку, большая просьба — пускай заодно заберут с собой тех сидоров, которые сейчас пихают Rust в ядро.
     
     
  • 2.133, Аноним (-), 21:13, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • –1 +/
    > Попутного им ветра. Пусть расцветают сто цветов, победит сильнейший и всё такое.

    О, здравая мысль.
    Именно поэтому у линукс столько ДЕ.

    > И, вдогонку, большая просьба — пускай заодно заберут с собой тех сидоров, которые сейчас пихают Rust в ядро.

    А это просто эпичная тупость.
    Пока престарелые 321ы ставят палки в колеса новому языку.
    Это понятно, так можно делать CVEшки и испралять их. А если раст в ядро попадет, то всю эту шоблу отправят на пенсию.

    Но это не страшно, диды не вечны, может Тцо скоро помрет или в деменцию впадет.


     
     
  • 3.154, _ (??), 00:29, 17/10/2024 [^] [^^] [^^^] [ответить]  
  • +1 +/
    > Но это не страшно, диды не вечны, может Тцо скоро помрет или в деменцию впадет.

    ППЦ... __единственная__ надежда ржавчикофф :-)

    Вас вон тупица линус в ядро пустил (пусть и не по своей воле) - и что?
    А сбежали, типо у нас - лапки :)

     
  • 3.180, Аноним (184), 12:19, 17/10/2024 Скрыто ботом-модератором     [к модератору]
  • +/
     
     
  • 4.181, Аноним (-), 12:24, 17/10/2024 Скрыто ботом-модератором     [к модератору]
  • +/
     
  • 2.136, Аноним (139), 21:32, 16/10/2024 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Это Линуса что ли? А то ведь это он пушит, если ты не знал)
     

  • 1.158, Аноним (158), 01:01, 17/10/2024 Скрыто ботом-модератором [﹢﹢﹢] [ · · · ]     [к модератору]
  • +3 +/
     
  • 1.171, Ember (?), 09:39, 17/10/2024 [ответить] [﹢﹢﹢] [ · · · ]  
  • –1 +/
    Шёл 2024 год, а мыши всё продолжали переписывать операционную ситему из 60-х годов прошлого столетия.
     
     
  • 2.186, Аноним (184), 12:38, 17/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    Во-первых, из 1990-х.
    Во-вторых, так принципиально других-то и нет.
     
     
  • 3.203, _ (??), 17:01, 17/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    Здрасьте вам - нет?! Полно. Просто ни одна _настолько_ не взлетела, это да :)
     
     
  • 4.205, Аноним (184), 17:52, 17/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    А что вы считаете _принципиально_ другим: FreeBSD, OpenBSD? :) И родом они тоже из 1990-х. Да даже Хайка, в ней тоже - всё есть файл.
     
  • 3.206, Ember (?), 21:15, 17/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    GNU/Linux - это клон того самого древнейшего UNIX из конца 60-х годов. Туда же относятся все *BSD и прочие Unix-like системы.
     
  • 3.209, кьяроскуро (?), 23:58, 17/10/2024 [^] [^^] [^^^] [ответить]  
  • +/
    Как нету ?? MacOS ! Мэйнфреймы !!
     

  • 1.204, Аноним 80_уровня (ok), 17:49, 17/10/2024 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    Kerla-2: иногда они возвращаются.
     
  • 1.210, cheburnator9000 (ok), 06:13, 18/10/2024 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    >>> Ядро разбито на две части, написанные на Rust: OS Framework и OS Services. В OS Services запрещено применение unsafe-блоков, а все низкоуровневые операции, требующие выполнения кода в блоках unsafe, вынесены в OS Framework и доступны только через высокоуровневый API. Все системные вызовы, файловые системы и драйверы реализуются на уровне OS Services и не могут включать unsafe-блоки.

    Ничего что OS Services будет вызывать OS Framework который вызывает unsafe код? И в этом все растоящеры. Как будто на других ЯП нельзя вынести 'unsafe' код в отдельную библиотеку и работать через нее. Они реально считают это каким-то своим личным достижением. Вот только как было обращение с unsafe коду в проекте оно так и осталось.

     

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



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

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