Представлен (https://hermitcore.org/2018/06/06/A-Rust-based-Unikernel/) первый экспериментальный выпуск проекта libOS (https://hermitcore.org/) (HermitCore), развивающего специализированное ядро (unikernel), предоставляющее runtime для сборки самодостаточных приложений, способных работать без дополнительных прослоек поверх гипервизора. При сборке приложение связывается с библиотекой, которая самостоятельно реализует всю необходимую функциональность, не привязываясь к ядру ОС и системным библиотекам. Код проекта распространяется (https://github.com/hermitcore/libhermit-rs) под лицензией BSD.
Изначально проект начал (https://github.com/hermitcore/libhermit) развиваться на языке Си, но затем было решено переписать ядро на языке Rust. Ожидается, что использование Rust позволит повысить безопасность работы с памятью, упростить сопровождение кодовой базы и сделать ядро более расширяемым. Использование языка Rust также отличает от libOS от других реализаций unikernel (например, MirageOS (https://www.opennet.me/opennews/art.shtml?num=42515), MiniPython (https://github.com/sysml/minipython), ClickOS (https://github.com/sysml/clickos), McKernel (https://www.pccluster.org/en/mckernel/index.html), HaLVM (https://galois.com/project/halvm/), IncludeOS (https://www.opennet.me/opennews/art.shtml?num=43444), OSv (https://www.opennet.me/opennews/art.shtml?num=37936) и Xen Unikraft (https://www.opennet.me/opennews/art.shtml?num=47691)).
В настоящее время основной код уже переписан, но реализация на Rust ещё немного отстаёт по функциональности от версии на языке Си. IP-стек и гипервизор на базе KVM API (uhyve) прока остаются на языке Си. Не входящие в ядро сопутствующие компоненты для поддержки языков программирования продолжают развиваться на языках C, C++, Go и Fortran.
Проектом также развивается вспомогательная прослойка, названная proxy, которая позволяет запускать libOS-приложения в виртуальной машине или поверх оборудования x86_64 из штатного окружения Linux, по аналогии с запуском традиционных Linux-программ. Proxy позволяет выбрать тип виртуальной машины (поддерживаются KVM и QEMU), размер выделяемой памяти и число vCPU, а также настроить параметры сетевого доступа. Для организации сетевого взаимодействия на стороне хоста требуется настроить tap-интерфейс.
В форме unikernel могут быть собраны приложения на языках C/C++, Fortran и Go, поддерживаются библиотеки Pthreads, OpenMP и iRCCE (http://www.lfbs.rwth-aachen.de/publications/files/iRCCE.pdf). Для кросс-компиляции приложений используется GCC. Работа протестирована в дистрибутиве Ubuntu 18.04, для которого подготовлены (https://dl.bintray.com/hermitcore/ubuntu) готовые пакеты для сборки приложений в форме unikernel. Для остальных систем предложен образ для Docker ("docker pull rwthos/hermitcore-rs").
Для установки в Ubuntu 18.04 можно выполнить:
$ echo "deb [trusted=yes] https://dl.bintray.com/hermitcore/ubuntu bionic main" | sudo tee -a /etc/apt/sources.list
$ sudo apt-get -qq update
$ sudo apt-get install binutils-hermit newlib-hermit pte-hermit-rs gcc-hermit libhermit-rs
Далее можно собрать и запустить набор тестов stream при помощи QEMU или KVM:HERMIT_ISLE=qemu HERMIT_KVM=0 /opt/hermit/bin/proxy /opt/hermit/x86_64-hermit/extra/benchmarks/stream
HERMIT_ISLE=uhyve /opt/hermit/bin/proxy /opt/hermit/x86_64-hermit/extra/benchmarks/streamURL: https://hermitcore.org/2018/06/06/A-Rust-based-Unikernel/
Новость: https://www.opennet.me/opennews/art.shtml?num=48740
Лучше б Linux на Rust переписали...
Глупее ничего не придумал?
А что здесь глупого?
Лайнус не согласится.
Это тот, который ютуб канал Linus Tech Tips ведет?
Согласится однозначно, он за все модное-молодежное, в том числе за десяточку.
Серьёзный ответ: Ощутимо снизит количество поддерживаемых платформ. Т.к. у Rust бэкендом работает llvm, который в плане платформ прилично уступает gcc.
> Глупее ничего не придумал?Ну если нужно глупо то на JAVA. :3
на node.js
Уже давно: http://jslinux.org/
К этому всё идёт.
Ну, всё-таки ядру нужна производительность. Поэтому оно и написано на си и асме) вот когда Раст сделают быстрее чем си - тогда уверен начнется переписывание )))
> когда Раст сделают быстрее чем сиРазве что в манямирке растофанатов.
>> когда Раст сделают быстрее чем си
> Разве что в манямирке растофанатов.То ли дело манямирок самопровозглашенных Си-Экспертусов!
Если бы еще они знали, что им на разработчиков компиляторо си вообще молиться следует, т.к. результат компиляции "Шыдевров" не тормозит, не смотря на все их, Ыкспертусов, потуги.
Ни си, ни асм, не есть синоним "производительность". Архитектура нынче куда сложнее, чем таковая была в 80-е годы. Но почему-то народ до сих пор верит, что 3 команды на асме работают быстрее, чем скомпиленное в 5 асм команд из си кода, игнорируя и конвеер, и прочие плюшки (угу, в том числе и приведшие в мелтдаунам и спектрам).
Расскажи это разработчикам KalibriOS
Она лагает и в ней ну очень много багов
> Расскажи это разработчикам KalibriOSВо-первых, KolibiOS. Во-вторых - кто и о чем должен рассказать? Соптимизнуть под конкретную архитектуру, сделав лучше, чем компилятор, еще лет десять назад, на 32-битах было уже не так и просто. Просто "write it in asm!!" уже не катило. В основном, SIMDы и прочее еще поддавались ручному тюнингу, а для остального кода овчинка не стоила выделки (+10%-20% при полной привязке к конкретной модели ЦПУ).
> Ни си, ни асм, не есть синоним "производительность". Архитектура нынче куда сложнее,
> чем таковая была в 80-е годы. Но почему-то народ до сих пор верит, что 3 команды на асме работают быстрее, чем скомпиленное в 5 асм команд из си кода,Да ладно. В начале 2000х любимейший совет на вопрос "код тормозит, что делать?" было "перепиши на асме, летать будет!". Но уже много лет как "асму" заменили на "могучий и волшебный Си".
>> Но почему-то народ до сих пор верит, что 3 команды на асме работают быстрее, чем скомпиленное в 5 асм команд из си кода,Какбэ, команда в asm выполняется за определенное, заранее известное количество тактов процессора. Например, та же mov [],eax/ebx вполне себе ровно за 2 такта. Поэтому, например, в подавляющем числе случаев, 3 ассемблерных инструкции выполнятся быстрее, чем 5 таких же инструкций...
И в чём Rust медленнее?
>Лучше б Linux на Rust переписали...Перст Торвальдса животворящий тебе.
...в шоколадный глаз
Однако, опасная тенденция,- начали на С, а закончили на Rust. Так сишники скоро и без работы останутся.
вы о чем? Детская поделка так и останется в куче с D и другими "убийцами" C
Такую детскую поделку ни один сишник или цппшник наваять не способен, ибо как известно в CS средний сишник ноль без палочки, который только байтики умеет перекладывать согласно спеке МК.
Не способен? Как бэ, собственно, Rust вполне себе сишник написал.
> Однако, опасная тенденция,- начали на С, а закончили на Rust.ничего опасного - закончили, закaпывай, следууууущий!
"но реализация на Rust ещё немного отстаёт по функциональности от версии на языке Си"
- и так у них - все.> Так сишники скоро и без работы останутся.
а-а, ты в этом смысле. Да, могут. А мы без нормального софта, и это время уже близко.
Очень хорошая тенденция.
C++ > rust > C > go
Что хорошего? В крестах сложнее выстрелить себе в ногу, чем в сях
А у вас обезьяны с пистолетами или программисты с опытом, точно форумом не ошиблись?
Так чтобы не стрелять в ногу на C++ нужно иметь программистов с бесконечным опытом и бесконечно прямыми руками.
Худшие программисты это те, которые не считают себя обезьяной с пистолетом.
программисты которые не считают себя обезьяной с пистолетом - это не программисты, а психически нездоровые субъекты.
А кто говорил щито мы нормальные!?
вы много раз работу сишником искали (так чтобы без плюсов)? последние лет 20 её почти не найти, ибо бизнесу оно не надо (могущие спецы стоят слишком дорого, скорость разработки новых фич низкая)за Растом лежат прекрасные идеи, но он какой-то отталкивающий и неготовый. промышленной разработки на нём никто не ведет (да, я знаю, о том что некоторые части чего-то там переписаны на нём, но если мы посчитаем проекты, написанные на Rust от и до, и используемые миллионами людей, то насчитаем 0)
да ладно ...
Вы просто плохо искали.Я на опеннете постил вакансию на C программиста. Но там был нужен именно программист, а не "что-то слышал и книжку прочитал".
> да ладно ...
> Вы просто плохо искали.Миллионник. За пол года на всю область чисто Си вакансия была только для эмбеда (с оплатой на уровне дворника). Чисто си разработка слишком узкая ниша. А для бизнеса, так вообще убыточная.
Бизнесу нужна прибыль, а значит шарпы, обжективы, явы.
Напиши в www.raidix.ru, если конечно ты разбираешься в ядре и файловых системах.
Интересно у вас там. Свои СХД и все такое.
Я правда сейчас несколько другим занимаюсь, realtime positioning и сети типа lora. Но все что связано с разработкой по ядро всегда интересно.
Говорить в 2к18 говорить про сишников. Я думал подобных непроходимых носорогов уже не осталось, но нет, вылазят откуда-то.Если бы ты смог в Си или хотя бы бы знаком с тру-сишниками, то ты бы понимал что тенмир "сишник" выглядит глупо в понимании "чистого си". Кто в теме тот знает, а вам детали не к чему.
>> В настоящее время основной код уже переписанА как же реализация на JS? Без JS нехипстерски.