Ядро хотят переписать на Rust

Это хорошая идея? Мне интересно.

Хотелка большая, но в диалоге в Линусом может легко нарваться на пару ласковых. Хотя если они хотят переписывать с нуля, то флаг им в руки, лишь бы в настоящий кернел не нагадили.

почему «гадили»?

Линус уже слышал? Полагаю, реакция будет примерно такая.

Рано или поздно всё на Расте перепишут. Учитывая его сильные стороны - это хорошо. С другой стороны - ЯП слишком молодой, не все им ещё толком владеют. Так что время покажет

Лучше бы дишечку взяли, раз на то пошло.

В комментариях хорошо подметили:

написан на языке Rust с ассемблерными вставками, оформленными в виде unsafe-блоков

Rust прежде всего вызван предоставляемыми языком возможностями по безопасному программированию, избавляющими от проблем, возникающих в Си из-за низкоуровневой работы с памятью, таких как обращение к области памяти после её освобождения, разыменование нулевых указателей и выход за границы буфера

типичное деление на нуль.

... на Rust

А почему не на D?

А чем D лучше?

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

чем руст

У меня после чтения «The Rustonomicon» создалось впечатление, что всё это — лишь иллюзия безопасности.

Хотя ХЗ, практического опыта написания кода на Rust нет.

Но FFI для вызова кода на C, имхо, просто ужасен.

Александреску же.

А не какие-то непонятные перцы из Mozilla Foundation.

А если серьёзно — попробуй обратиться к C-коду из D и из Rust (в отсутствие готового crate). И вот тогда можно говорить предметно.

Я надеялся что-то более внятное услышать. Я одинаково не знаю ни Раст, и Д. Но я читал о преимуществах Раста в сравнении с Си. Потому и вывод делаю что он лучше Си.

Автор ведь сказал что название статьи это шутка, и никто ничего переписывать не собирается

Интерес к Rust прежде всего вызван предоставляемыми языком возможностями по безопасному программированию, избавляющими от проблем, возникающих в Си из-за низкоуровневой работы с памятью

Чтобы не выглядеть голословным Dominus Carnufex подготовил рабочий прототип реализации интегрируемого в ядро системного вызова, код которого написан на языке Rust с ассемблерными вставками, оформленными в виде unsafe-блоков

В голос

Анонимных экспертов с лораопеннета не интересуют подобные тонкости.

Я надеялся что-то более внятное услышать. Я одинаково не знаю ни креационизм, и теорию эволюции. Но я читал о преимуществах креационизма в сравнении с ТЭ. Потому и вывод делаю что он лучше ТЭ.

Потому что: если работает - не трожь. У ядра очень продуманная и далекоидущая структура с хорошей скоростью и стабильной совместимостью даже с самым древнючим юзерспейсом.

Хотя есть уверенность, что не взлетит совсем-совсем, даже шасси едва проедутся.

Креационизм особо не противоречит теории эволюции, т.к. последняя затрагивает биологические виды, но не говорит о происхождении вселенной вцелом

А кто будет оплачивать банкет переписывания кода? ИМХО, не взлетит пока всякие Intel не будут Rust во все поля юзать.

А ядро уже нормально собирается на clang? А то двумя компиляторами компиляторов компилять ядро придется

Ну придумай более абсурдные X и Y. Мой посыл был не в этом.

А в чем проблема с обращением к Си-коду из раст?

Ну пусть, работы у них на десятилетие. Посмотрим, что получится.

прямо лезет наружу аналогия с ВАЗ и мерседесом.

         if (pointer as usize) < 1024    {

             Syscall::Useless(data, ref mut ret) => *ret = Some(data + 15),

pub fn asm_syscall(ptr : *mut Syscall)  {
    unsafe  {
        asm!("syscall"
         : : "{rax}"(ptr)
           : "rcx", "r11", "memory"
           : "intel", "volatile"
        );
    }
}

Nuff said.

Вообще-то противоречит. То, что ты описываешь, не является креационизмом, точнее креационисты замахиваются на непосредственное творения всего и вся лично кем-то вроде Макаронного монстра, но гораздо более устаревшего.

В комментариях хорошо подметили:

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

ох лол. браузер-то уже может ЛОР показать, не зависая с 337ю потоками?

Долго придется переписывать. Почему бы просто не писать на русте модули для ядра.

выделяются, их можно просмотреть более тщательно

Субъективно и ни о чём не говорит.
При каком соотношении SLOC безопасного к небезопасному для тебя твоё же утверждение будет верно? А для Васяна? А для бабы Нюры?

Или ты по дефолту подразумеваешь граничное условие при котором unsafe стремится к нулю? И как, будет оно выполняться для ядра?

В том, что для каждой вызываемой функции на C ты должен явно писать (и поддерживать) обёртку для Rust.

А где-то иначе? В руби с пхп вон вообще нет ffi и обертку для си придется писать на си

Суть в том, что это ещё одна тема, на которую можно смотреть вечно: Как корячит фанатов C/C++ когда кто-то или что-то угрожает подвинуть их любимый язык.

в руби ... нет ffi

Ага, ну да. https://github.com/ffi/ffi/wiki/Examples

Это как hurd - вроде и есть, а пользоваться нельзя.

Он хочет сделать из не самого лучшего по архитектуре продукта совсем говно.
Интересно, почему идею видвинул не Поттеринг, он в этом направление успешно продвигается?

Если оно не безупречно, значит ничем ни лучше?

Это отдельный проект. А значит не все биндингописатели его используют. Поэтому толку от него мало

может хочет, а не хотят?

значит ничем ни лучше?

При каких условиях?

Думаю, на планете есть ещё как минимум 1 желающий переписать Линукс на Расте

Иначе.

В C++, Objective-C и D.

Интересно, почему идею видвинул не Поттеринг, он в этом направление успешно продвигается?

Тише ты... Не зови лихо.

а безопасность остального гарантирует компилятор

как он может помочь в случае логических ошибок?

А где-то иначе?

в плюсах

И этот житель — уже овощ/кактус?

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

На то они и надмножества си, со всеми его недостатками