LINUX.ORG.RU

Продемонстрирована возможность разработки частей Linux на Rust

 , ,


4

9

Французский программист написал статью, в которой рассмотрел возможность переписывания ядра Linux на Rust.

В статье отмечено, что данный язык хорошо подходит для системного программирования, будучи достаточно низкоуровневым и при этом лишённым многих недостатков C, и уже используется для написания новых ОС. Однако автор не считает создание ОС с нуля перспективным для серьёзного применения, и последовательный перенос отдельных частей Linux на Rust для решения различных проблем безопасности кажется ему более целесообразным.

В качестве «Proof of Concept» была приведена реализация системного вызова, содержащая вставки на Assembler внутри unsafe-блоков. Код компилируется в объектный файл, не связанный с библиотеками и интегрируемый в ядро во время сборки. Работа производилась на основе исходного кода Linux 4.8.17.

>>> Статья



Проверено: Shaman007 ()
Последнее исправление: sudopacman (всего исправлений: 5)
Ответ на: комментарий от www_linux_org_ru

все эти тормоза

походу ты кроме shared_ptr ничего больше не знаешь. неудивительно что С++ срет тебе в шаровары

ckotinko ☆☆☆
()
Ответ на: комментарий от ckotinko

Эт точно, даже в стандарте написано: «Все фекальные массы, найденные в шароварах Пользователя, после прочтения и использования Стандарта, являются собственностью Пользователя. Комитет не несёт ответственности за прямые, косвенные, репутационные и все прочие издержки, связанные с наличием вышеупомянутых масс, включая, но не ограничиваясь случаями, вызванными низким качеством бумаги печатного издания Стандарта».

red75prim ★★★
()
Ответ на: комментарий от ckotinko

походу ты кроме shared_ptr ничего больше не знаешь. неудивительно что С++ срет тебе в шаровары

телепат из тебя явно никакой; а по сути дела какие-то возражения будут?

может ты утверждаешь, что упомянутые тобой «мегавещи» не являются тормозами? (в том смысле, что они допускают эффективную реализацию на с++)

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

вторая претензия в том, что он не готов принять от меня имеющуюся у меня информацию, но с этим частично можно бороться кодогенерацией

www_linux_org_ru ★★★★★
()
Последнее исправление: www_linux_org_ru (всего исправлений: 4)
Ответ на: комментарий от red75prim

Эт точно, даже в стандарте написано: «Все фекальные массы

ты говоришь это так, как будто в расте ситуация чем-то лучше

www_linux_org_ru ★★★★★
()
Ответ на: комментарий от www_linux_org_ru

Уже и посмеяться нельзя. Впрочем, стандарта у Rust'а нет.

red75prim ★★★
()
Ответ на: комментарий от www_linux_org_ru

Да, если safe Rust'у удастся насрать вам в шаровары, то можете писать баг репорт.

red75prim ★★★
()
Ответ на: комментарий от www_linux_org_ru

я тебе уже сказал, что кроме shared_ptr ты ничего не знаешь. поэтому «тормоза». не пиши на С++, пиши на жабе.

ckotinko ☆☆☆
()
Ответ на: комментарий от ckotinko

я тебе уже сказал, что кроме shared_ptr ты ничего не знаешь. поэтому «тормоза». не пиши на С++, пиши на жабе.

гыгыгы

да ты упорный как я погляжу

ну расскажи мне, как на жабе делать ассемблерные вставки AVX... только не надо втирать мне про jni, т.к. там, в общем-то, main из одного вызова jni и будет состоять

еще мне интересно, как на яве сделать L0/L1/L2 cache pin (в том смысле, что мне нужно, чтобы никто определенный кусочек кэша не засирал, несмотря на то, что общий объем обмена с памятью будет исчисляться терабайтами)

и наконец, как на яве написать что-то вроде something<512> — там же дженерики, а не шаблоны (а про отсутствие в яве перегрузки операторов сам догадаешься, или как?)

www_linux_org_ru ★★★★★
()
Последнее исправление: www_linux_org_ru (всего исправлений: 5)
Ответ на: комментарий от www_linux_org_ru

лол, додумался спрашивать технические вопросы по java у человека который ее ненавидит, и отправляет на ней писать всех кто ему не нравится.

pftBest ★★★★
()
Ответ на: комментарий от pftBest

лол, додумался спрашивать технические вопросы по java у человека который ее ненавидит, и отправляет на ней писать всех кто ему не нравится.

ну так это же я так в ответ мщу ему... разве не ясно?

www_linux_org_ru ★★★★★
()
Последнее исправление: www_linux_org_ru (всего исправлений: 1)
Ответ на: комментарий от pftBest

кстати, я если он не образумится, я его и дальше троллить попробую — лет 5 назад плюсовые компиляторы генерили такой тормозной код для исключений, что жабские исключения работали в 10-100 раз быстрее

не знаю правда как щас

этап «Б» — это привести этот код, замеры времени, и долго рассказывать о том, как я ему благодарен за отличный совет «переписать все на жабе», гы-гы-гы

www_linux_org_ru ★★★★★
()
Последнее исправление: www_linux_org_ru (всего исправлений: 1)
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.