The OpenNET Project / Index page

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



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

"Выпуск MirageOS 4.0, платформы для запуска приложений поверх гипервизора "  +/
Сообщение от opennews (??), 30-Мрт-22, 11:48 
После полутора лет разработки опубликован выпуск проекта MirageOS 4.0, позволяющего формировать операционные системы одного приложения, в которых приложение поставляется как самодостаточный "unikernel", способный выполняться без применения операционных систем, отдельного ядра ОС и каких-либо прослоек. Для разработки приложений применяется язык OCaml. Код проекта распространяется под свободной лицензией ISC...

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

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

Оглавление

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

1. Сообщение от Аноним (1), 30-Мрт-22, 11:48   –12 +/
Ocaml какой-то, unikernel - глупость какая-то, изобрели ещё один псевдо-докер?
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #4, #16, #24

2. Сообщение от Бывалый смузихлёб (?), 30-Мрт-22, 11:55   +3 +/
>  и минимальный размер (например, DNS-сервер занимает всего 200 КБ)

Интересно, сколько бы занимал бинарник хеллоуворда на расте, содержащий под капотом всё необходимое для работы барахло( хотя бы просто под ОС, но без необходимости ставить растовые библиотеки в систему )

Ответить | Правка | Наверх | Cообщить модератору
Ответы: #3, #9

3. Сообщение от Аноним (3), 30-Мрт-22, 12:05   –4 +/
а что, экономишь пространство на дискете? ну купи еще одну дискету, будут у тебя 2.88 Мб.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #2

4. Сообщение от Аноним (4), 30-Мрт-22, 12:21   +14 +/
ну пилят ребята и пилят ) вам то чего или ваше хобби писать про "ненужно" ?)
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #1

5. Сообщение от Аноним (5), 30-Мрт-22, 12:33   +/
Почему OCaml не взлетел?
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #7, #12

6. Сообщение от freehckemail (ok), 30-Мрт-22, 12:38   +10 +/
Большая веха. Я в предверии этого релиза вот уже некоторое время как снова смотрю на OCaml спустя несколько лет перерыва. Экосистема сильно повзрослела за эти годы.

Dune выглядит действительно мощной системой. Те, кто ранее пользовался ocamlbuild -- поймут. Теперь сборка стала значительно проще: просто указываешь, что собирать, библиотеки, которые надо прилинковать, и собственно всё.

Да и библиотек стало значительно больше. Я давеча к своему сервису добавлял вывод метрик в Prometheus -- двадцать строчек на конфигурирование сбора метрик, плюс одна на эндпоинт в Cohttp. Раньше было сложнее. Молчу уже о том, что клиентская часть Cohttp без всяких приседаний теперь работает с SSL. Очень радует. Lwt_pool порадовал. Я с его помощью пул дочерних процессов организовывал. Пара строчек и готово.

Ну и библиотеки заматерели. Раньше для подобного функционала нужно было весьма низкоуровневые вещи задействовать, сейчас же высокоуровневые библиотеки человеческим лицом всю экосистему поворачивают, за что большое спасибо Ocsigen-овскому Lwt и JaneStreet-овским Base/Core.

Тем, кто не в курсе, почему это круто (и по-видимому что такое OCaml), объясню просто: строгая типизация, гарантия отсутствия ошибок типа, на 99.9% чисто функционально, не лениво по умолчанию.

Ответить | Правка | Наверх | Cообщить модератору
Ответы: #8, #10

7. Сообщение от freehckemail (ok), 30-Мрт-22, 12:55   +8 +/
> Почему OCaml не взлетел?

Взлетел. Просто он сначала взлетел в математических пруверах типа Coq. Где-то в начале нулевых народ начал думать "а что это мы на нём и обычный софт не пишем" -- и на нём накидали MLDonkey, чтобы просто показать, что это возможно. Он вроде кстати до сих пор жив. Затем и Jane Street подключились и во многом на нём построили свой бизнес.

Собственно Jane Street и ответственна за то, что язык набрал обороты. В институте INRIA (оттуда OCaml и Coq родом, привет Leroy Xavier) очень неохотно принимали изменения в стандартные библиотеки. В Jane Street просто написали свои, более человеческие, поверх исходных. Взрастили множество хороших специалистов, выпустили серию книг (привет Yaron Minsky), участвовали в развитии opam и dune.

OCaml -- это, скажем так, человеческое приглашение разработчиков в строго типизированное функциональное программирование. Безусловно, функциональщики массовым явлением никогда не будут из-за высокого порога вхождения. Но в среде функциональщиков OCaml прочно стоит на ногах.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #5 Ответы: #18

8. Сообщение от gavr (ok), 30-Мрт-22, 14:45   +/
А что скажешь про ReasonML который альтернативный фронтенд компилятора окамл с более си-подобным синтаксисом
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #6

9. Сообщение от НяшМяш (ok), 30-Мрт-22, 15:01   –2 +/
https://github.com/mirage/ocaml-dns/blob/main/src/dune

Интересно, сколько бы сервер весил при статической линковке всего этого барахла? Уж явно не 200КБ. И это только библиотека DNS, а не сам сервер. В лучших традициях старпёров всё в одном файле на 4.5к строк.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #2 Ответы: #13

10. Сообщение от Аноним (10), 30-Мрт-22, 15:29   +/
А о SPARK что можно сказать? С верблюда на него переходят?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #6

11. Сообщение от Ан (??), 30-Мрт-22, 15:49   +1 +/
Очень недооценная ОС.
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #15

12. Сообщение от Ан (??), 30-Мрт-22, 15:50   +/
Многопоточность не очень. Это будет исправлено в пятом окамле.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #5

13. Сообщение от Бывалый смузихлёб (?), 30-Мрт-22, 16:24   –1 +/
> в которых приложение поставляется как самодостаточный "unikernel",
> способный выполняться без применения операционных систем, отдельного ядра ОС и каких-либо прослоек
> итоговые окружения демонстрируют достаточно неплохую производительность
> и минимальный размер (например, DNS-сервер занимает всего 200 КБ)

То ли в новости что-то не так, то ли - ?

По твоей ссылке лежит файл весом в ~200 байт. Причём он вообще ?

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

15. Сообщение от Аноним (10), 30-Мрт-22, 17:10   –1 +/
Ее очень ценят. Особенно по верху Muen.

https://www.nitrokey.com/products/nethsm

ЗЫ: а реально крутые OS уже под санкциями https://muen.sk

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

16. Сообщение от Аноним (-), 30-Мрт-22, 20:36   +3 +/
Докер менее безопасен в сравнении с таким подходом, в нем меньше изоляции. Тут же каждое приложение может сделать по своей файловой системе поверх простого интерфейса гипервизора.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #1 Ответы: #20

18. Сообщение от OO (?), 30-Мрт-22, 20:51   –2 +/
>> в среде функциональщиков...

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

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

20. Сообщение от Старшина (?), 30-Мрт-22, 22:43   +1 +/
а если у меня куча микроконтролеров через какой-то интерфейс подключено? это может в этом смысле применяться?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #16 Ответы: #22

22. Сообщение от Брат Анон (ok), 31-Мрт-22, 07:53   +/
В куче микроконтроллеров -- у каждого микроконтроллера нет кучи памяти.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #20

23. Сообщение от Аноним12345 (?), 31-Мрт-22, 08:29   –1 +/
Неведома зверушка
Ответить | Правка | Наверх | Cообщить модератору

24. Сообщение от Аноним (24), 31-Мрт-22, 09:37   +1 +/
Слава не мальчика, но анонимного эксперта
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #1

25. Сообщение от yurikoles (ok), 31-Мрт-22, 16:38   +/
Поясните танкисту: оно позволяет запускать только код на OCaml?
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #26

26. Сообщение от freehckemail (ok), 01-Апр-22, 13:10   +/
> Поясните танкисту: оно позволяет запускать только код на OCaml?

Если не брать в расчёт CFFI, то да, только на OCaml.

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


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

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




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

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