The OpenNET Project / Index page

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

форумы
правила/FAQ
поиск
регистрация
вход/выход
слежка
RSS


"Проект Asterinas развивает ядро на языке Rust, совместимое с Linux"
Вариант для распечатки  
Пред. тема | След. тема 
Форум Разговоры, обсуждение новостей
Изначальное сообщение [ Отслеживать ]

"Проект Asterinas развивает ядро на языке Rust, совместимое с Linux"  +/–
Сообщение от opennews (??), 16-Окт-24, 12:51 
Группа разработчиков из Китая развивает ядро Asterinas,  написанное на языке Rust и предназначенное для использования в операционных системах общего назначения. Для упрощения интеграции с уже разработанными системными компонентами ядро предоставляет ABI (Application Binary Interface), совместимый с ядром Linux и способный использоваться вместо него. Код проекта распространяется под лицензией MPL (Mozilla Public License)...

Подробнее: https://www.opennet.me/opennews/art.shtml?num=62061

Ответить | Правка | Cообщить модератору

Оглавление

Сообщения [Сортировка по времени | RSS]


2. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +11 +/–
Сообщение от Аноним (2), 16-Окт-24, 12:55 
Ada spark обеспечила бы не только безопасную работу памяти, но и верификацию кода. Не осилили.
Ответить | Правка | Наверх | Cообщить модератору

3. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  –10 +/–
Сообщение от Аноним (3), 16-Окт-24, 13:01 
Список по каким критериям раст лучше ады.

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

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

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

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

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

Ответить | Правка | Наверх | Cообщить модератору

4. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +7 +/–
Сообщение от Аноним (2), 16-Окт-24, 13:10 
Я тоже могу скопипастить ответ нейронки, как это сделал ты:

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

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

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

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

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

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

Ответить | Правка | Наверх | Cообщить модератору

6. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +8 +/–
Сообщение от Аноним (6), 16-Окт-24, 13:13 
> 1. Безопасность памяти: Rust использует систему владения, которая предотвращает множество ошибок, связанных с памятью, таких как утечки и гонки данных, без необходимости в сборщиках мусора. Ada/Spark также предлагает безопасность, но Rust реализует эти концепции более гибко и выразительно.

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

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

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

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

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

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

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

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

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

Ответить | Правка | К родителю #3 | Наверх | Cообщить модератору

13. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +6 +/–
Сообщение от Аноним (13), 16-Окт-24, 13:23 
Поговорил с ботом - день прошел не зря.
Ответить | Правка | Наверх | Cообщить модератору

117. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +/–
Сообщение от Аноним (117), 16-Окт-24, 19:43 
>Неудобно? Значит, пора учиться, а не сваливать на инструменты.

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

Ответить | Правка | Наверх | Cообщить модератору

18. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  –1 +/–
Сообщение от Аноним (3), 16-Окт-24, 13:32 
1. А вот и нет! Rust — это не просто оболочка вокруг LLVM. Его концепции и философия разрабатывались независимо от C++.


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


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


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


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

Ответить | Правка | К родителю #6 | Наверх | Cообщить модератору

11. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +5 +/–
Сообщение от Аноним (117), 16-Окт-24, 13:19 
>Rust имеет более современный и удобочитаемый синтаксис, что облегчает его освоение для новых разработчиков

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

Ответить | Правка | К родителю #3 | Наверх | Cообщить модератору

14. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +1 +/–
Сообщение от Аноним (3), 16-Окт-24, 13:24 
Так это по сравнению с адой, а не си. Посмотри синтаксис ады там адок. Особенно для питониста.
Ответить | Правка | Наверх | Cообщить модератору

19. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +3 +/–
Сообщение от Аноним (117), 16-Окт-24, 13:35 
Аду Торвальдс пока что даже и не рассматривал. А вот некоторое время существования Rust в ядре уже дало ему повод сделать некоторые выводы.
Ответить | Правка | Наверх | Cообщить модератору

60. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  –2 +/–
Сообщение от Facemaker (?), 16-Окт-24, 16:27 
"Пока что"... Оптимист! Я не имел счастья разрабатывать на Аде, но, посмотрев примеры, предполагаю, что добровольно на таком никто не возьмётся программировать. Для армии, может, и подойдёт.

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

Ответить | Правка | Наверх | Cообщить модератору

68. Скрыто модератором  +1 +/–
Сообщение от ct (?), 16-Окт-24, 16:39 
Ответить | Правка | Наверх | Cообщить модератору

140. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +/–
Сообщение от pda (ok), 16-Окт-24, 22:01 
Торвальдс-то как раз не против Rust в ядре.
Ответить | Правка | К родителю #11 | Наверх | Cообщить модератору

149. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +/–
Сообщение от _ (??), 17-Окт-24, 00:14 
Он моргнул дважды! (С)
Стало быть он давал интервью с элктрошокером в @ - Сатья большой перестраховщик! и знает толк(С):)
Ответить | Правка | Наверх | Cообщить модератору

20. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +/–
Сообщение от Аноним (20), 16-Окт-24, 13:35 

1. Формальная верификация: СПАРК разработан с учетом требований формальной верификации. Она позволяет разработчикам доказывать отсутствие определенных классов ошибок (таких как исключения во время выполнения, гонки данных и переполнения буфера) с помощью формальных методов. Это может привести к повышению надежности критически важных систем, например, используемых в аэрокосмической промышленности и медицине.


2. Безопасность и надежность: СПАРК обеспечивает строгую типизацию и предоставляет функции, которые помогают предотвратить распространенные ошибки программирования. Его дизайн поощряет написание безопасного кода, что может иметь решающее значение в системах с высокой степенью надежности. Хотя Rust также делает упор на безопасность, возможности формальной верификации СПАРК обеспечивают дополнительный уровень гарантии.


3. Детерминированное поведение: Дизайн СПАРК способствует детерминированному поведению, что очень важно для приложений реального времени и приложений, критичных к безопасности. Возможности языка помогают обеспечить предсказуемость поведения программы, что может быть сложнее гарантировать в Rust из-за его модели параллелизма.


4. Отсутствие исключений во время выполнения: СПАРК разработан для устранения исключений во время выполнения, которые могут быть источником непредсказуемости в системах. Это особенно важно для критически важных приложений, где неожиданное поведение может иметь серьезные последствия.


5. Программирование на основе контрактов: СПАРК поддерживает программирование на основе контрактов, позволяя разработчикам указывать предварительные и последующие условия, а также инварианты. Это может повысить надежность и удобство сопровождения кода, поскольку позволяет определить предполагаемое поведение функций.

6. Устаревшие и специфичные для конкретного домена приложения: СПАРК имеет долгую историю применения в таких областях, как аэрокосмическая, оборонная и автомобильная промышленность, где часто требуются формальные методы. Для проектов в этих областях СПАРК может быть более подходящим из-за его устоявшегося использования и наличия инструментов для формальной верификации.


7. Инструментарий для верификации: СПАРК поставляется со специализированными инструментами для формальной верификации, такими как набор инструментов SPARK Pro, который может анализировать код на предмет корректности. Хотя в Rust есть инструменты для статического анализа и тестирования, возможности формальной верификации в SPARK более развиты.


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

Ответить | Правка | К родителю #3 | Наверх | Cообщить модератору

26. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  –3 +/–
Сообщение от Аноним (3), 16-Окт-24, 13:57 
1. Ой, формальная что? Это звучит как что-то из научного фильма! Но, наверное, если это помогает не ошибаться, то круто!

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

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

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

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

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

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

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

Ответить | Правка | Наверх | Cообщить модератору

47. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +/–
Сообщение от BeLord (ok), 16-Окт-24, 15:38 
1. А можно понятным техническим языком, что такое выразительно? А то, лично для меня, макросы masm выразительны, практически впрямую транслируются в диалекты русского языка.
2. Синтаксис стоит далеко не на первом месте при долгосрочном обслуживании, раньше стоит понимание прикладной задачи и архитектура решения, я могу на Бейсике сварганить такую хрень, что черт ногу сломит, могу на Perl написать прозрачный и понятный код, есть код на асме он в продакшене
4. Сообщество штука динамичная сегодня оно активное, завтра пассивное, возвращаемся к долгосрочной перспективе.
5. Ada тоже кросплатформенное решение. Более того, сама по себе кросплатформенность мало о чем говорит, зависит от того, насколько полно решение работает на разных платформах.
6. Давайте вернемся к технике, мощные инструменты, развитые возможности это не технические параметры, а скорее продажная шелуха, вы на примерах свою мысль продемонстрировать можете?
Ответить | Правка | К родителю #3 | Наверх | Cообщить модератору

63. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +/–
Сообщение от Аноним (63), 16-Окт-24, 16:31 
> 4. Кроссплатформенность:

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

Ответить | Правка | К родителю #3 | Наверх | Cообщить модератору

69. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +/–
Сообщение от Аноним (3), 16-Окт-24, 16:47 
Мозилла уже миллион лет не имеет отношения к расту.
Ответить | Правка | Наверх | Cообщить модератору

134. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +/–
Сообщение от Аноним (134), 16-Окт-24, 21:27 
> Мозилла уже миллион лет не имеет отношения к расту.

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

Ответить | Правка | Наверх | Cообщить модератору

157. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +/–
Сообщение от scriptkiddis (?), 17-Окт-24, 00:55 
Но ответа не последовало.
Ответить | Правка | Наверх | Cообщить модератору

90. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +/–
Сообщение от Аноним (90), 16-Окт-24, 17:57 
Это ChatGPT нагенерил? Особеноно про "Rust предлагает мощные инструменты для асинхронного программирования" смешно.
Ответить | Правка | К родителю #3 | Наверх | Cообщить модератору

104. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +/–
Сообщение от Аноним (20), 16-Окт-24, 18:57 
Естественно. Собственно, если асинхронные генераторы нормальные когда-нибудь завезут, язык станет вполне юзабельным. Но, что-то у меня сомнения уже, что это когда-то случится. А без этого язык жуткое легаси, на котором писать прикладной код невозможно.
Ответить | Правка | Наверх | Cообщить модератору

156. Скрыто модератором  +/–
Сообщение от scriptkiddis (?), 17-Окт-24, 00:53 
Ответить | Правка | К родителю #3 | Наверх | Cообщить модератору

131. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +/–
Сообщение от Аноним (134), 16-Окт-24, 21:07 
> Ada spark обеспечила бы не только безопасную работу памяти, но и верификацию
> кода. Не осилили.

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

Ответить | Правка | К родителю #2 | Наверх | Cообщить модератору

142. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +/–
Сообщение от Аноним (142), 16-Окт-24, 22:37 
Пожалуйста:
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.

Ответить | Правка | Наверх | Cообщить модератору

160. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +/–
Сообщение от квадратный (?), 17-Окт-24, 01:09 
только Haskell/Agda
галюцинации чатжопаты в топку
Ответить | Правка | К родителю #2 | Наверх | Cообщить модератору

5. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +4 +/–
Сообщение от Аноним (5), 16-Окт-24, 13:13 
У меня к расту только один вопрос: что мешало сделать C-подобный синтаксис? Зачем постоянно пытаются изобретать кривые велосипеды для годных технологий?
Так-же и с GoLang, очень хорошая технология, но жуткий синтаксис с неисправимыми болячками.
Ответить | Правка | Наверх | Cообщить модератору

10. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  –5 +/–
Сообщение от Аноним (3), 16-Окт-24, 13:15 
Ваш вопрос о синтаксисе Rust вполне оправдан. Разработчики стремились создать язык, который бы сочетал безопасность и функциональность, внося новшества. Синтаксис Rust может показаться сложным из-за его особенностей управления памятью и параллелизма, но эти меры направлены на избегание распространённых ошибок, делающих код более надежным.
Ответить | Правка | Наверх | Cообщить модератору

48. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +3 +/–
Сообщение от Аноним (48), 16-Окт-24, 15:39 
Хорошая попытка, ИИ. К счастью, это все еще очень заметно даже невооруженным глазом.
Ответить | Правка | Наверх | Cообщить модератору

53. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +/–
Сообщение от Аноним (3), 16-Окт-24, 16:02 
Что тебе заметно? Тут половина комментов ИИ ты только один вычислил. Короткие комменты вычислить практически невозможном.
Ответить | Правка | Наверх | Cообщить модератору

137. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +1 +/–
Сообщение от Аноним55 (?), 16-Окт-24, 21:33 
ИИ вычислить проще простого: формальная грамотность + абсолютная бессмысленность.
Ответить | Правка | Наверх | Cообщить модератору

143. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +/–
Сообщение от Аноним (143), 16-Окт-24, 23:10 
ИИ не существует.
Ответить | Правка | К родителю #53 | Наверх | Cообщить модератору

150. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +/–
Сообщение от Neon (??), 17-Окт-24, 00:14 
Зомбированный евангилист с промытыми мозгами чем не ИИ ?))
Ответить | Правка | Наверх | Cообщить модератору

67. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +/–
Сообщение от Аноним (67), 16-Окт-24, 16:36 
В сообществе Раст-евангелистов все настолько плохо, что даже пришлось привлечь GPT.
Ответить | Правка | К родителю #10 | Наверх | Cообщить модератору

12. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +2 +/–
Сообщение от голос из леса (?), 16-Окт-24, 13:23 
Задуматся что с синтаксисом C++ что не ладно корона не позволяет?
Ответить | Правка | К родителю #5 | Наверх | Cообщить модератору

17. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  –2 +/–
Сообщение от Анонимemail (17), 16-Окт-24, 13:29 
У Rust C-подобный синтаксис во всех местах, где только возможно.
Ответить | Правка | К родителю #5 | Наверх | Cообщить модератору

21. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +2 +/–
Сообщение от Аноним (117), 16-Окт-24, 13:37 
Ну, разве что, основанный на блоках кода, оформляемых скобочками {...}
Ответить | Правка | Наверх | Cообщить модератору

27. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +2 +/–
Сообщение от Аноним (27), 16-Окт-24, 13:58 
С Растом да, но что с Golang-то не так? У Го как раз-таки хороший и удобный Си-подобный синтаксис. Не даром Кен Томпсон был в команде разработки
Ответить | Правка | К родителю #5 | Наверх | Cообщить модератору

39. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +1 +/–
Сообщение от Аноним (-), 16-Окт-24, 14:43 
golang это вендорлок, нет смысла тратить время на его обсуждение
Ответить | Правка | Наверх | Cообщить модератору

73. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +/–
Сообщение от Аноним (73), 16-Окт-24, 16:57 
Какой вендорлок? Го - свободное ПО, крупных реализаций компилятора даже две, есть от GCC. Репозитория пакетов типа cargo нет. Где лок-то?
Ответить | Правка | Наверх | Cообщить модератору

82. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  –1 +/–
Сообщение от Аноним (82), 16-Окт-24, 17:23 
Ты бы почаще в методичку эксперта заглядывал, чтобы такие вопрос не задавать.

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

Ответить | Правка | Наверх | Cообщить модератору

85. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +2 +/–
Сообщение от Аноним (73), 16-Окт-24, 17:28 
Мне пофиг что там выгодно Гуглу, если оно даёт выгоду и мне. Язык рабочий, дела делаются, программы пишутся. А не только сказки про безопасную память сказываются, как у некоторых
Ответить | Правка | Наверх | Cообщить модератору

96. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +/–
Сообщение от Вы забыли заполнить поле Name (?), 16-Окт-24, 18:31 
> есть от GCC

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

Ответить | Правка | К родителю #73 | Наверх | Cообщить модератору

74. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +/–
Сообщение от голос из леса (?), 16-Окт-24, 16:58 
Дарю

=====
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.

Ответить | Правка | К родителю #39 | Наверх | Cообщить модератору

75. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +/–
Сообщение от Аноним (2), 16-Окт-24, 17:07 
Разве речь шла про лицензию? Нет.
Ответить | Правка | Наверх | Cообщить модератору

77. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +/–
Сообщение от голос из леса (?), 16-Окт-24, 17:18 
В таком формате все вендер-лоск. Где-то компания "вендер-лоск", где-то человек или группа.

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

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

Ответить | Правка | Наверх | Cообщить модератору

86. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +/–
Сообщение от Аноним (73), 16-Окт-24, 17:30 
> В таком формате все вендер-лоск

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

Ответить | Правка | Наверх | Cообщить модератору

146. Скрыто модератором  +/–
Сообщение от голос из леса (?), 16-Окт-24, 23:49 
Ответить | Правка | Наверх | Cообщить модератору

84. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  –1 +/–
Сообщение от Аноним (73), 16-Окт-24, 17:27 
И где тут вендор-лок? Как раз тут текст одной из самых свободных лицензий - 3 clause BSD
Ответить | Правка | К родителю #74 | Наверх | Cообщить модератору

106. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +1 +/–
Сообщение от _ (??), 16-Окт-24, 19:06 
> golang это вендорлок, нет смысла тратить время на его обсуждение

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

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

Ответить | Правка | К родителю #39 | Наверх | Cообщить модератору

98. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +1 +/–
Сообщение от Вы забыли заполнить поле Name (?), 16-Окт-24, 18:33 
> С Растом да, но что с Golang-то не так? У Го как раз-таки хороший и удобный Си-подобный синтаксис. Не даром Кен Томпсон был в команде разработки

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

Ответить | Правка | К родителю #27 | Наверх | Cообщить модератору

115. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +/–
Сообщение от Аноним (73), 16-Окт-24, 19:31 
Насчет переменной - да, именно так. И что в этом плохого? Странная предъява. Если вдруг нужно реально не использовать какую-то переменную, явно присваиваете в _. Если нужно импортировать пакет без побочных эффектов, аналогично, import _ "package"

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

Ответить | Правка | Наверх | Cообщить модератору

151. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +/–
Сообщение от Вы забыли заполнить поле Name (?), 17-Окт-24, 00:14 
> Насчет переменной - да, именно так. И что в этом плохого? Странная
> предъява. Если вдруг нужно реально не использовать какую-то переменную, явно присваиваете
> в _. Если нужно импортировать пакет без побочных эффектов, аналогично, import
> _ "package"

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

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

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

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

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

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

Ответить | Правка | Наверх | Cообщить модератору

153. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +/–
Сообщение от Аноним (73), 17-Окт-24, 00:28 
> При отладке временные неиспользуемые переменные - это ок. В нормальных языках это warning.

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

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

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

Ответить | Правка | Наверх | Cообщить модератору

155. Скрыто модератором  +/–
Сообщение от Аноним (73), 17-Окт-24, 00:30 
Ответить | Правка | К родителю #151 | Наверх | Cообщить модератору

33. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +1 +/–
Сообщение от zeecape (ok), 16-Окт-24, 14:18 
Тут дело не в синтаксисе, а привычке с ним работать. Если работаешь с С-подобными языками, то работа с Go или Rust может казаться отвратной из-за непривычных конструкций. (Пы.Сы: Rust на самом деле довольно сильно похож по синтаксису к C/C++)
Ответить | Правка | К родителю #5 | Наверх | Cообщить модератору

66. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +/–
Сообщение от Facemaker (?), 16-Окт-24, 16:35 
>У меня к расту только один вопрос: что мешало сделать C-подобный синтаксис?

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

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

Ответить | Правка | К родителю #5 | Наверх | Cообщить модератору

126. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +/–
Сообщение от Аноним (73), 16-Окт-24, 20:31 
> Например, могу пояснить, почему был выбран синтаксис функции с ключевым словом 'fn', а не такой, как в Си.

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

Ответить | Правка | Наверх | Cообщить модератору

144. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +/–
Сообщение от Facemaker (?), 16-Окт-24, 23:37 
>А почему, действительно?

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

Ответить | Правка | Наверх | Cообщить модератору

65. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +/–
Сообщение от Аноним (63), 16-Окт-24, 16:34 
> позволяет писать классный код!

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

Ответить | Правка | К родителю #5 | Наверх | Cообщить модератору

122. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +/–
Сообщение от Аноним (122), 16-Окт-24, 20:08 
Вы сиподобный синтаксис видели?
char *(*(**foo[][8])())[];
[=, *this]{ };
[&, i]{};
A b(c);
A b(c d);
Ответить | Правка | К родителю #5 | Наверх | Cообщить модератору

9. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +3 +/–
Сообщение от Аноним (9), 16-Окт-24, 13:15 
> намерен уже в этом году добиться уровня, пригодного для широкого использования в виртуальных машинах с архитектурой x86-64

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

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

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

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

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

Ответить | Правка | Наверх | Cообщить модератору

23. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +1 +/–
Сообщение от Аноним (-), 16-Окт-24, 13:50 
>> намерен уже в этом году добиться уровня, пригодного для широкого использования в виртуальных машинах с архитектурой x86-64
> Ага. Значит как и все проекты на rust, пока не доделан.

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

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

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

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

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


Ответить | Правка | Наверх | Cообщить модератору

46. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +/–
Сообщение от Аноним (9), 16-Окт-24, 15:14 
> Если в проект не вносят изменения, то этот некрокод уже никому не нужен)

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

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

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

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

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

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

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

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

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

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

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

Ответить | Правка | Наверх | Cообщить модератору

49. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +/–
Сообщение от Аноним (49), 16-Окт-24, 15:40 
> Это деформация из-за новостей опен-нет про очередных переписчиков которые или собираются
> достигнуть паритета или даже не собираются заявляя об избыточности функциональности оригинала.

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

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

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

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

Ответить | Правка | Наверх | Cообщить модератору

56. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +/–
Сообщение от Аноним (9), 16-Окт-24, 16:11 
> Они сделали достаточно, чтобы код отправился к пользователям.

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

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

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

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

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

Ответить | Правка | Наверх | Cообщить модератору

80. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +/–
Сообщение от Аноним (-), 16-Окт-24, 17:22 
> И дал он преимущества этим пользователям?

Да. Меньше ошибок и уязвимостей, меньше шансов что товй телефон ломанут прислав специально оформленную картинку или видео.
Следовательно пользователям лучше.

Вот можешь почитать security.googleblog.com/2024/09/eliminating-memory-safety-vulnerabilities-Android.html

А вот относительно старая статья про 13 дроид security.googleblog.com/2022/12/memory-safe-languages-in-android-13.html
С хорошим показателем
"To date, there have been zero memory safety vulnerabilities discovered in Android’s Rust code."

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

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

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

Ты вертишься как уж на сковородке, а смотреть приятно)
И это я молчу про регулярные дыры с повышением привилегий или запуском левого кода.

Ответить | Правка | Наверх | Cообщить модератору

88. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +/–
Сообщение от Аноним (9), 16-Окт-24, 17:40 
> С хорошим показателем

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

И дальше:

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

А затем:

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

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

Красавец.

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

Ответить | Правка | Наверх | Cообщить модератору

91. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +/–
Сообщение от Аноним (-), 16-Окт-24, 18:16 
> Ага. Значит менеджеры щеки надувают.

Т.е для тебя отсутсвите багов это "менеджеры щеки надувают"?
Твоя логика поражает воображение.
А CVEшки менеджеры находят или может они их пишут?

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

Раз у тебя проблемы с пониманием спрошу еще раз, постараюсь максимально прямо:
ядро версии 6.11 это "функциональное ядро" и в него не придется дописывать код или нет ?

> Красавец.

Конечно.

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

Полностью? Нет.
Но стало ли лучше для юзеров? Да.
Так же как и ядро. Или любая другая программа.

Но твой глупейший вброс "Значит как и все проекты на rust, пока не доделан" с обобщением, так и остался вбросом.
Старайся лучше.


Ответить | Правка | Наверх | Cообщить модератору

95. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +/–
Сообщение от Аноним (9), 16-Окт-24, 18:29 
Я спрашивал что получили пользователи. Меньше написанного кода - меньше багов.
И толстые щеки у менеджера.

>  в него не придется дописывать код или нет ?

Придется или нет - не важно. Важно полнота. Да оно полностью завершенное - рабочее.
Кусочки кода по определению не могут быть полностью завершенными.

> Полностью? Нет.
> Но стало ли лучше для юзеров? Да.

Это было в отчетах менеджеров которые своими таблицами оправдывали свое решение перед начальством и акционерами?

Ответить | Правка | Наверх | Cообщить модератору

132. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +/–
Сообщение от Аноним (-), 16-Окт-24, 21:10 
> Я спрашивал что получили пользователи. Меньше написанного кода - меньше багов.

Тогда ты наверное советуешь пользователям какой-то FreeDOS?
Типа чем меньше кода, тем меньше багов.
У тебя просто генитальная логика.

> И толстые щеки у менеджера.

Возможно.
Тебя менеджер чем-то обидел? Ну там мамку твою из семьи увел или на ногу наступил и не извинился?
Откуда столько желчи?

> Придется или нет - не важно. Важно полнота. Да оно полностью завершенное - рабочее.

Ядро в котором есть такое "позволяющая локальному пользователю выполнить код на уровне ядра и поднять свои привилегии в системе" (opennet.ru/opennews/art.shtml?num=60860)
или эпичные "уязвимости, которые позволяют удалённо без прохождения аутентификации добиться выполнения своего кода с правами ядра" (opennet.ru/opennews/art.shtml?num=60668)

это еще "рабочее" или уже ближе к "кусок овнокода"?

> Это было в отчетах менеджеров которые своими таблицами оправдывали свое решение перед начальством и акционерами?

Не знаю. Это у тебя нездоровый интерес к менеджерам.
То что там решают акционеры меня мало волнует.
А меня интересует, чтобы код был не такой дырявый как был раньше.

Ответить | Правка | Наверх | Cообщить модератору

100. Скрыто модератором  +/–
Сообщение от Аноним (9), 16-Окт-24, 18:34 
Ответить | Правка | К родителю #91 | Наверх | Cообщить модератору

152. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +/–
Сообщение от _ (??), 17-Окт-24, 00:18 
> Миллиард китайцев и не доделают?

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

Ответить | Правка | К родителю #23 | Наверх | Cообщить модератору

24. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +1 +/–
Сообщение от нах. (?), 16-Окт-24, 13:51 
> Ага. Значит как и все проекты на rust, пока не доделан.

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

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

но ресдох...

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

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

Ответить | Правка | К родителю #9 | Наверх | Cообщить модератору

16. Скрыто модератором  +6 +/–
Сообщение от голос из леса (?), 16-Окт-24, 13:28 
Ответить | Правка | Наверх | Cообщить модератору

52. Скрыто модератором  +1 +/–
Сообщение от Аноним (52), 16-Окт-24, 16:01 
Ответить | Правка | Наверх | Cообщить модератору

34. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +4 +/–
Сообщение от cs (?), 16-Окт-24, 14:20 
они хотябы своё пилят и никому не мешают.
ну и пусть тогда пилят, может что нормальное получится(а нет так нет, нежалко)
Ответить | Правка | Наверх | Cообщить модератору

116. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +/–
Сообщение от Дидыemail (?), 16-Окт-24, 19:34 
Диды поддерживают!
Вот пишут же сами, а не других заставляют.
Удачи ребятам. Клёво будет, если у них получится. А не получится - тоже не плохо - опыта набирутся.
В любом случае продвинут к ответу вопрос - а можно-ли на rust чёнить сложное написать.
Ответить | Правка | Наверх | Cообщить модератору

36. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +5 +/–
Сообщение от Аноним (-), 16-Окт-24, 14:37 
> Группа разработчиков из Китая

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

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

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

Ответить | Правка | Наверх | Cообщить модератору

42. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +/–
Сообщение от Аноним (3), 16-Окт-24, 14:57 
Китай самый перспективный рынок для подобных поделок. А уже словив господдержку можно пилить сколько угодно долго.
Ответить | Правка | Наверх | Cообщить модератору

109. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +1 +/–
Сообщение от Аноним (109), 16-Окт-24, 19:09 
Китайская LLM, написанная с нуля, недавно ворвалась в top 10 самых умных LLM мира.

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

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

Ответить | Правка | К родителю #36 | Наверх | Cообщить модератору

123. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +/–
Сообщение от черныйВетер (?), 16-Окт-24, 20:16 
>опять будут иероглифы в репах и в комментах

Google Translate поможет лаоваю. Я с помощью его и Gemini вообще тесты на китайском проходил в BiliBili, хотя в китайском ни ногой

Ответить | Правка | К родителю #36 | Наверх | Cообщить модератору

37. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +5 +/–
Сообщение от Аноним (37), 16-Окт-24, 14:37 
Это хорошая новость. Теперь все любители внедриться в ядро могут туда сваливать
Ответить | Правка | Наверх | Cообщить модератору

103. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +/–
Сообщение от Советский инженер (ok), 16-Окт-24, 18:45 
>Теперь все любители внедриться в ядро могут туда сваливать

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

Ответить | Правка | Наверх | Cообщить модератору

64. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +1 +/–
Сообщение от Аноним (67), 16-Окт-24, 16:32 
Делайте ваши ставки на то, что из этого получится что-то жизнеспособное. Текущий коэффициент 1:2000
Ответить | Правка | Наверх | Cообщить модератору

70. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +/–
Сообщение от Аноним (3), 16-Окт-24, 16:48 
Если сабж встроят хотя бы в систему управления кофеваркой это уже будет для него победа.  
Ответить | Правка | Наверх | Cообщить модератору

71. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +/–
Сообщение от Аноним (71), 16-Окт-24, 16:50 
Новый тип китайского "микроядра": "микроядро" внутри монолитного ядра.
Ответить | Правка | Наверх | Cообщить модератору

76. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +1 +/–
Сообщение от beck (??), 16-Окт-24, 17:08 
> ABI (Application Binary Interface), совместимый с ядром Linux и способный использоваться вместо него

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

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

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

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

Ответить | Правка | Наверх | Cообщить модератору

141. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +/–
Сообщение от X512 (?), 16-Окт-24, 22:11 
Речь идёт о UABI -- ABI используемое программами режима пользователя, а не внутреннее ABI компонентов и модулей ядра. UABI в Линуксе стабильное.
Ответить | Правка | Наверх | Cообщить модератору

78. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +1 +/–
Сообщение от Аноним (78), 16-Окт-24, 17:19 
Страшно представить сколько времени такое ядро компилироваться будет.
Ответить | Правка | Наверх | Cообщить модератору

81. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +1 +/–
Сообщение от голос из леса (?), 16-Окт-24, 17:23 
Нет доверяю Я китайским погромистам (C)


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

Ответить | Правка | Наверх | Cообщить модератору

87. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +/–
Сообщение от Аноним (87), 16-Окт-24, 17:36 
А есть еще всякие jin tan'ы - такие еше и уязвимостей напихают
Ответить | Правка | Наверх | Cообщить модератору

148. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +/–
Сообщение от голос из леса (?), 16-Окт-24, 23:58 
Китайское поделие не всегда, но имеет шанс взлететь, если начальство бьет палками по пяткам.

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

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


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

Ответить | Правка | Наверх | Cообщить модератору

139. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +/–
Сообщение от Аноним (139), 16-Окт-24, 21:35 
Это не интуитивный уровень, а расистский. Надо отучаться.
Ответить | Правка | К родителю #81 | Наверх | Cообщить модератору

145. Скрыто модератором  +1 +/–
Сообщение от голос из леса (?), 16-Окт-24, 23:45 
Ответить | Правка | Наверх | Cообщить модератору

89. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +/–
Сообщение от Хру (?), 16-Окт-24, 17:41 
А чем это лучше Maestro? Там на начало 2024 года вроде как была реализована поддержка 115 syscalls
Ответить | Правка | Наверх | Cообщить модератору

93. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +/–
Сообщение от DEF (?), 16-Окт-24, 18:27 
Китайцы? Эти смогут.
Ответить | Правка | Наверх | Cообщить модератору

97. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +/–
Сообщение от Аноним (97), 16-Окт-24, 18:31 
> Компоненты ядра в Asterinas размещаются в общем адресном пространстве, а безопасность достигается на уровне логического разделения безопасного кода и кода в котором не исключено возникновение проблем с безопасностью.

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

Ответить | Правка | Наверх | Cообщить модератору

107. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +/–
Сообщение от Аноним (71), 16-Окт-24, 19:08 
> пометить функции, в которых 100% всё безопасно

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

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

Ответить | Правка | Наверх | Cообщить модератору

102. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +/–
Сообщение от Аноним (102), 16-Окт-24, 18:38 
Странная у вас справедливость и что же они возьмут и спишут микро ядро того chromium os 77 , а это магические цифры фактически числа бога семь дней. Не нарушает ли это закон бога что грозит последствиями
Ответить | Правка | Наверх | Cообщить модератору

105. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +1 +/–
Сообщение от Аноним (109), 16-Окт-24, 19:05 
Если это будет иметь stable API/ABI, то оно имеет шанс заменить Линукс.

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

Ответить | Правка | Наверх | Cообщить модератору

124. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +/–
Сообщение от Аноним (117), 16-Окт-24, 20:25 
Ага, а кто модули ядра для железок им писать будет? Скорее всего, будут лепить внутрядерную прослойку с ABI/API Линукса для использования модулей оного. Ну и приводить в соотвествии там это с каждым мажорным релизом ядра Linux.
А-а, они будут делать совместимость только с ядрами LTS. Так и сам Линукс с LTS неплохо живёт. Вобщем, по затратности человеко-часов ничем не лучше оригинала.
Ответить | Правка | Наверх | Cообщить модератору

138. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +/–
Сообщение от Аноним (139), 16-Окт-24, 21:34 
А когда это в линуксе отменили стейбл апи? С этого момента поподробнее.
Ответить | Правка | К родителю #105 | Наверх | Cообщить модератору

111. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +/–
Сообщение от Аноним (111), 16-Окт-24, 19:13 
"широкое использование на виртуальных машинах" - это как? Если есть совместимость с линуксом, то в чем проблема запускать на любых машинах?
Ответить | Правка | Наверх | Cообщить модератору

121. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +/–
Сообщение от kusb (?), 16-Окт-24, 19:52 
Может драйверов нет а совместимость бинарная с бинарниками...
Ответить | Правка | Наверх | Cообщить модератору

114. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +/–
Сообщение от neo one (?), 16-Окт-24, 19:31 
дизайн выглядит намного жизнеспособнее redox
Ответить | Правка | Наверх | Cообщить модератору

120. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +/–
Сообщение от kusb (?), 16-Окт-24, 19:52 
Есть ядро написанное на Ada.
Ответить | Правка | Наверх | Cообщить модератору

125. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +/–
Сообщение от Аноним (125), 16-Окт-24, 20:29 
Какое?
Ответить | Правка | Наверх | Cообщить модератору

127. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  –1 +/–
Сообщение от kusb (?), 16-Окт-24, 20:34 
https://ironclad.nongnu.org/
Ответить | Правка | Наверх | Cообщить модератору

161. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +/–
Сообщение от мявemail (?), 17-Окт-24, 01:23 
вот это реально круто. судя по новостям в rss, проект живет.
спасибо за ссылку.
Ответить | Правка | Наверх | Cообщить модератору

129. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +1 +/–
Сообщение от Аноним (129), 16-Окт-24, 20:52 
Если посмотреть их сайт. То еще не написанное.

0.5.0     2023-Oct-31     Not stable

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

Ответить | Правка | К родителю #120 | Наверх | Cообщить модератору

130. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +/–
Сообщение от Аноним (130), 16-Окт-24, 20:58 
Попутного им ветра. Пусть расцветают сто цветов, победит сильнейший и всё такое. И, вдогонку, большая просьба — пускай заодно заберут с собой тех сидоров, которые сейчас пихают Rust в ядро.
Ответить | Правка | Наверх | Cообщить модератору

133. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  –1 +/–
Сообщение от Аноним (-), 16-Окт-24, 21:13 
> Попутного им ветра. Пусть расцветают сто цветов, победит сильнейший и всё такое.

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

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

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

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


Ответить | Правка | Наверх | Cообщить модератору

154. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +/–
Сообщение от _ (??), 17-Окт-24, 00:29 
> Но это не страшно, диды не вечны, может Тцо скоро помрет или в деменцию впадет.

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

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

Ответить | Правка | Наверх | Cообщить модератору

136. "Проект Asterinas развивает ядро на языке Rust, совместимое с..."  +/–
Сообщение от Аноним (139), 16-Окт-24, 21:32 
Это Линуса что ли? А то ведь это он пушит, если ты не знал)
Ответить | Правка | К родителю #130 | Наверх | Cообщить модератору

147. Скрыто модератором  +/–
Сообщение от Аноним (147), 16-Окт-24, 23:51 
Ответить | Правка | Наверх | Cообщить модератору

158. Скрыто модератором  +/–
Сообщение от Аноним (158), 17-Окт-24, 01:01 
Ответить | Правка | Наверх | Cообщить модератору

159. Скрыто модератором  +/–
Сообщение от квадратный (?), 17-Окт-24, 01:03 
Ответить | Правка | Наверх | Cообщить модератору

Архив | Удалить

Рекомендовать для помещения в FAQ | Индекс форумов | Темы | Пред. тема | След. тема




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

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