После полутора лет разработки опубликован выпуск проекта MirageOS 4.0, позволяющего формировать операционные системы одного приложения, в которых приложение поставляется как самодостаточный "unikernel", способный выполняться без применения операционных систем, отдельного ядра ОС и каких-либо прослоек. Для разработки приложений применяется язык OCaml. Код проекта распространяется под свободной лицензией ISC...Подробнее: https://www.opennet.ru/opennews/art.shtml?num=56938
Ocaml какой-то, unikernel - глупость какая-то, изобрели ещё один псевдо-докер?
ну пилят ребята и пилят ) вам то чего или ваше хобби писать про "ненужно" ?)
Докер менее безопасен в сравнении с таким подходом, в нем меньше изоляции. Тут же каждое приложение может сделать по своей файловой системе поверх простого интерфейса гипервизора.
а если у меня куча микроконтролеров через какой-то интерфейс подключено? это может в этом смысле применяться?
В куче микроконтроллеров -- у каждого микроконтроллера нет кучи памяти.
Слава не мальчика, но анонимного эксперта
> и минимальный размер (например, DNS-сервер занимает всего 200 КБ)Интересно, сколько бы занимал бинарник хеллоуворда на расте, содержащий под капотом всё необходимое для работы барахло( хотя бы просто под ОС, но без необходимости ставить растовые библиотеки в систему )
а что, экономишь пространство на дискете? ну купи еще одну дискету, будут у тебя 2.88 Мб.
https://github.com/mirage/ocaml-dns/blob/main/src/duneИнтересно, сколько бы сервер весил при статической линковке всего этого барахла? Уж явно не 200КБ. И это только библиотека DNS, а не сам сервер. В лучших традициях старпёров всё в одном файле на 4.5к строк.
> в которых приложение поставляется как самодостаточный "unikernel",
> способный выполняться без применения операционных систем, отдельного ядра ОС и каких-либо прослоек
> итоговые окружения демонстрируют достаточно неплохую производительность
> и минимальный размер (например, DNS-сервер занимает всего 200 КБ)То ли в новости что-то не так, то ли - ?
По твоей ссылке лежит файл весом в ~200 байт. Причём он вообще ?
Почему OCaml не взлетел?
> Почему OCaml не взлетел?Взлетел. Просто он сначала взлетел в математических пруверах типа Coq. Где-то в начале нулевых народ начал думать "а что это мы на нём и обычный софт не пишем" -- и на нём накидали MLDonkey, чтобы просто показать, что это возможно. Он вроде кстати до сих пор жив. Затем и Jane Street подключились и во многом на нём построили свой бизнес.
Собственно Jane Street и ответственна за то, что язык набрал обороты. В институте INRIA (оттуда OCaml и Coq родом, привет Leroy Xavier) очень неохотно принимали изменения в стандартные библиотеки. В Jane Street просто написали свои, более человеческие, поверх исходных. Взрастили множество хороших специалистов, выпустили серию книг (привет Yaron Minsky), участвовали в развитии opam и dune.
OCaml -- это, скажем так, человеческое приглашение разработчиков в строго типизированное функциональное программирование. Безусловно, функциональщики массовым явлением никогда не будут из-за высокого порога вхождения. Но в среде функциональщиков OCaml прочно стоит на ногах.
>> в среде функциональщиков...2 человека тоже "среда" уже.
как то плохо у них со средой, вакансии всяких функциональщиков годами не могут закрыть.
Многопоточность не очень. Это будет исправлено в пятом окамле.
Большая веха. Я в предверии этого релиза вот уже некоторое время как снова смотрю на OCaml спустя несколько лет перерыва. Экосистема сильно повзрослела за эти годы.Dune выглядит действительно мощной системой. Те, кто ранее пользовался ocamlbuild -- поймут. Теперь сборка стала значительно проще: просто указываешь, что собирать, библиотеки, которые надо прилинковать, и собственно всё.
Да и библиотек стало значительно больше. Я давеча к своему сервису добавлял вывод метрик в Prometheus -- двадцать строчек на конфигурирование сбора метрик, плюс одна на эндпоинт в Cohttp. Раньше было сложнее. Молчу уже о том, что клиентская часть Cohttp без всяких приседаний теперь работает с SSL. Очень радует. Lwt_pool порадовал. Я с его помощью пул дочерних процессов организовывал. Пара строчек и готово.
Ну и библиотеки заматерели. Раньше для подобного функционала нужно было весьма низкоуровневые вещи задействовать, сейчас же высокоуровневые библиотеки человеческим лицом всю экосистему поворачивают, за что большое спасибо Ocsigen-овскому Lwt и JaneStreet-овским Base/Core.
Тем, кто не в курсе, почему это круто (и по-видимому что такое OCaml), объясню просто: строгая типизация, гарантия отсутствия ошибок типа, на 99.9% чисто функционально, не лениво по умолчанию.
А что скажешь про ReasonML который альтернативный фронтенд компилятора окамл с более си-подобным синтаксисом
А о SPARK что можно сказать? С верблюда на него переходят?
Очень недооценная ОС.
Ее очень ценят. Особенно по верху Muen.https://www.nitrokey.com/products/nethsm
ЗЫ: а реально крутые OS уже под санкциями https://muen.sk
Неведома зверушка
Поясните танкисту: оно позволяет запускать только код на OCaml?
> Поясните танкисту: оно позволяет запускать только код на OCaml?Если не брать в расчёт CFFI, то да, только на OCaml.