forum.opennet.ru - "Выпуск MirageOS 4.0, платформы для запуска приложений поверх гипервизора " (22)

"Выпуск MirageOS 4.0, платформы для запуска приложений поверх гипервизора "

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

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

Оглавление

Ocaml какой-то, unikernel - глупость какая-то, изобрели ещё один псевдо-докер , Аноним (1), 11:48 , 30-Мрт-22, (1) –12

ну пилят ребята и пилят вам то чего или ваше хобби писать про ненужно , Аноним (4), 12:21 , 30-Мрт-22, (4) +14
Докер менее безопасен в сравнении с таким подходом, в нем меньше изоляции Тут ж, Аноним (-), 20:36 , 30-Мрт-22, (16) +3

а если у меня куча микроконтролеров через какой-то интерфейс подключено это мож, Старшина (?), 22:43 , 30-Мрт-22, (20) +1

В куче микроконтроллеров -- у каждого микроконтроллера нет кучи памяти , Брат Анон (ok), 07:53 , 31-Мрт-22, (22)

Слава не мальчика, но анонимного эксперта, Аноним (24), 09:37 , 31-Мрт-22, (24) +1

Интересно, сколько бы занимал бинарник хеллоуворда на расте, содержащий под капо, Бывалый смузихлёб (?), 11:55 , 30-Мрт-22, (2) +3

а что, экономишь пространство на дискете ну купи еще одну дискету, будут у тебя, Аноним (3), 12:05 , 30-Мрт-22, (3) –4
https github com mirage ocaml-dns blob main src duneИнтересно, сколько бы серв, НяшМяш (ok), 15:01 , 30-Мрт-22, (9) –2

То ли в новости что-то не так, то ли - По твоей ссылке лежит файл весом в 200 , Бывалый смузихлёб (?), 16:24 , 30-Мрт-22, (13) –1

Почему OCaml не взлетел , Аноним (5), 12:33 , 30-Мрт-22, (5)

Взлетел Просто он сначала взлетел в математических пруверах типа Coq Где-то в , freehck (ok), 12:55 , 30-Мрт-22, (7) +8

2 человека тоже среда уже как то плохо у них со средой, вакансии всяких функци, OO (?), 20:51 , 30-Мрт-22, (18) –2

Многопоточность не очень Это будет исправлено в пятом окамле , Ан (??), 15:50 , 30-Мрт-22, (12)

Большая веха Я в предверии этого релиза вот уже некоторое время как снова смотр, freehck (ok), 12:38 , 30-Мрт-22, (6) +10

А что скажешь про ReasonML который альтернативный фронтенд компилятора окамл с б, gavr (ok), 14:45 , 30-Мрт-22, (8)
А о SPARK что можно сказать С верблюда на него переходят , Аноним (10), 15:29 , 30-Мрт-22, (10)

Очень недооценная ОС , Ан (??), 15:49 , 30-Мрт-22, (11) +1

Ее очень ценят Особенно по верху Muen https www nitrokey com products nethsmЗ, Аноним (10), 17:10 , 30-Мрт-22, (15) –1

Неведома зверушка, Аноним12345 (?), 08:29 , 31-Мрт-22, (23) –1
Поясните танкисту оно позволяет запускать только код на OCaml , yurikoles (ok), 16:38 , 31-Мрт-22, (25)

Если не брать в расчёт CFFI, то да, только на OCaml , freehck (ok), 13:10 , 01-Апр-22, (26)

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

1. "Выпуск MirageOS 4.0, платформы для запуска приложений поверх..." –12 +/–

Сообщение от Аноним (1), 30-Мрт-22, 11:48

Ocaml какой-то, unikernel - глупость какая-то, изобрели ещё один псевдо-докер?

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

4. "Выпуск MirageOS 4.0, платформы для запуска приложений поверх..." +14 +/–

Сообщение от Аноним (4), 30-Мрт-22, 12:21

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

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

16. "Выпуск MirageOS 4.0, платформы для запуска приложений поверх..." +3 +/–

Сообщение от Аноним (-), 30-Мрт-22, 20:36

Докер менее безопасен в сравнении с таким подходом, в нем меньше изоляции. Тут же каждое приложение может сделать по своей файловой системе поверх простого интерфейса гипервизора.

Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору

20. "Выпуск MirageOS 4.0, платформы для запуска приложений поверх..." +1 +/–

Сообщение от Старшина (?), 30-Мрт-22, 22:43

а если у меня куча микроконтролеров через какой-то интерфейс подключено? это может в этом смысле применяться?

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

22. "Выпуск MirageOS 4.0, платформы для запуска приложений поверх..." +/–

Сообщение от Брат Анон (ok), 31-Мрт-22, 07:53

В куче микроконтроллеров -- у каждого микроконтроллера нет кучи памяти.

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

24. "Выпуск MirageOS 4.0, платформы для запуска приложений поверх..." +1 +/–

Сообщение от Аноним (24), 31-Мрт-22, 09:37

Слава не мальчика, но анонимного эксперта

Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору

2. "Выпуск MirageOS 4.0, платформы для запуска приложений поверх..." +3 +/–

Сообщение от Бывалый смузихлёб (?), 30-Мрт-22, 11:55

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

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

3. "Выпуск MirageOS 4.0, платформы для запуска приложений поверх..." –4 +/–

Сообщение от Аноним (3), 30-Мрт-22, 12:05

а что, экономишь пространство на дискете? ну купи еще одну дискету, будут у тебя 2.88 Мб.

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

9. "Выпуск MirageOS 4.0, платформы для запуска приложений поверх..." –2 +/–

Сообщение от НяшМяш (ok), 30-Мрт-22, 15:01

https://github.com/mirage/ocaml-dns/blob/main/src/dune
Интересно, сколько бы сервер весил при статической линковке всего этого барахла? Уж явно не 200КБ. И это только библиотека DNS, а не сам сервер. В лучших традициях старпёров всё в одном файле на 4.5к строк.

Ответить | Правка | К родителю #2 | Наверх | Cообщить модератору

13. "Выпуск MirageOS 4.0, платформы для запуска приложений поверх..." –1 +/–

Сообщение от Бывалый смузихлёб (?), 30-Мрт-22, 16:24

> в которых приложение поставляется как самодостаточный "unikernel",
> способный выполняться без применения операционных систем, отдельного ядра ОС и каких-либо прослоек
> итоговые окружения демонстрируют достаточно неплохую производительность
> и минимальный размер (например, DNS-сервер занимает всего 200 КБ)
То ли в новости что-то не так, то ли - ?
По твоей ссылке лежит файл весом в ~200 байт. Причём он вообще ?

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

5. "Выпуск MirageOS 4.0, платформы для запуска приложений поверх..." +/–

Сообщение от Аноним (5), 30-Мрт-22, 12:33

Почему OCaml не взлетел?

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

7. "Выпуск MirageOS 4.0, платформы для запуска приложений поверх..." +8 +/–

Сообщение от freehck (ok), 30-Мрт-22, 12:55

> Почему OCaml не взлетел?
Взлетел. Просто он сначала взлетел в математических пруверах типа Coq. Где-то в начале нулевых народ начал думать "а что это мы на нём и обычный софт не пишем" -- и на нём накидали MLDonkey, чтобы просто показать, что это возможно. Он вроде кстати до сих пор жив. Затем и Jane Street подключились и во многом на нём построили свой бизнес.
Собственно Jane Street и ответственна за то, что язык набрал обороты. В институте INRIA (оттуда OCaml и Coq родом, привет Leroy Xavier) очень неохотно принимали изменения в стандартные библиотеки. В Jane Street просто написали свои, более человеческие, поверх исходных. Взрастили множество хороших специалистов, выпустили серию книг (привет Yaron Minsky), участвовали в развитии opam и dune.
OCaml -- это, скажем так, человеческое приглашение разработчиков в строго типизированное функциональное программирование. Безусловно, функциональщики массовым явлением никогда не будут из-за высокого порога вхождения. Но в среде функциональщиков OCaml прочно стоит на ногах.

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

18. "Выпуск MirageOS 4.0, платформы для запуска приложений поверх..." –2 +/–

Сообщение от OO (?), 30-Мрт-22, 20:51

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

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

12. "Выпуск MirageOS 4.0, платформы для запуска приложений поверх..." +/–

Сообщение от Ан (??), 30-Мрт-22, 15:50

Многопоточность не очень. Это будет исправлено в пятом окамле.

Ответить | Правка | К родителю #5 | Наверх | Cообщить модератору

6. "Выпуск MirageOS 4.0, платформы для запуска приложений поверх..." +10 +/–

Сообщение от freehck (ok), 30-Мрт-22, 12:38

Большая веха. Я в предверии этого релиза вот уже некоторое время как снова смотрю на OCaml спустя несколько лет перерыва. Экосистема сильно повзрослела за эти годы.
Dune выглядит действительно мощной системой. Те, кто ранее пользовался ocamlbuild -- поймут. Теперь сборка стала значительно проще: просто указываешь, что собирать, библиотеки, которые надо прилинковать, и собственно всё.
Да и библиотек стало значительно больше. Я давеча к своему сервису добавлял вывод метрик в Prometheus -- двадцать строчек на конфигурирование сбора метрик, плюс одна на эндпоинт в Cohttp. Раньше было сложнее. Молчу уже о том, что клиентская часть Cohttp без всяких приседаний теперь работает с SSL. Очень радует. Lwt_pool порадовал. Я с его помощью пул дочерних процессов организовывал. Пара строчек и готово.
Ну и библиотеки заматерели. Раньше для подобного функционала нужно было весьма низкоуровневые вещи задействовать, сейчас же высокоуровневые библиотеки человеческим лицом всю экосистему поворачивают, за что большое спасибо Ocsigen-овскому Lwt и JaneStreet-овским Base/Core.
Тем, кто не в курсе, почему это круто (и по-видимому что такое OCaml), объясню просто: строгая типизация, гарантия отсутствия ошибок типа, на 99.9% чисто функционально, не лениво по умолчанию.

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

8. "Выпуск MirageOS 4.0, платформы для запуска приложений поверх..." +/–

Сообщение от gavr (ok), 30-Мрт-22, 14:45

А что скажешь про ReasonML который альтернативный фронтенд компилятора окамл с более си-подобным синтаксисом

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

10. "Выпуск MirageOS 4.0, платформы для запуска приложений поверх..." +/–

Сообщение от Аноним (10), 30-Мрт-22, 15:29

А о SPARK что можно сказать? С верблюда на него переходят?

Ответить | Правка | К родителю #6 | Наверх | Cообщить модератору

11. "Выпуск MirageOS 4.0, платформы для запуска приложений поверх..." +1 +/–

Сообщение от Ан (??), 30-Мрт-22, 15:49

Очень недооценная ОС.

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

15. "Выпуск MirageOS 4.0, платформы для запуска приложений поверх..." –1 +/–

Сообщение от Аноним (10), 30-Мрт-22, 17:10

Ее очень ценят. Особенно по верху Muen.
https://www.nitrokey.com/products/nethsm
ЗЫ: а реально крутые OS уже под санкциями https://muen.sk

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

23. "Выпуск MirageOS 4.0, платформы для запуска приложений поверх..." –1 +/–

Сообщение от Аноним12345 (?), 31-Мрт-22, 08:29

Неведома зверушка

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

25. "Выпуск MirageOS 4.0, платформы для запуска приложений поверх..." +/–

Сообщение от yurikoles (ok), 31-Мрт-22, 16:38

Поясните танкисту: оно позволяет запускать только код на OCaml?

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

26. "Выпуск MirageOS 4.0, платформы для запуска приложений поверх..." +/–

Сообщение от freehck (ok), 01-Апр-22, 13:10

> Поясните танкисту: оно позволяет запускать только код на OCaml?
Если не брать в расчёт CFFI, то да, только на OCaml.

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

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

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

Партнёры:

Хостинг:

Закладки на сайте
Проследить за страницей

Created 1996-2025 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру

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


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


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


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


	22. "Выпуск MirageOS 4.0, платформы для запуска приложений поверх..."	+/–
	Сообщение от Брат Анон (ok), 31-Мрт-22, 07:53
	В куче микроконтроллеров -- у каждого микроконтроллера нет кучи памяти.
	Ответить \| Правка \| Наверх \| Cообщить модератору


	24. "Выпуск MirageOS 4.0, платформы для запуска приложений поверх..."	+1 +/–
	Сообщение от Аноним (24), 31-Мрт-22, 09:37
	Слава не мальчика, но анонимного эксперта
	Ответить \| Правка \| К родителю #1 \| Наверх \| Cообщить модератору

2. "Выпуск MirageOS 4.0, платформы для запуска приложений поверх..."	+3 +/–
Сообщение от Бывалый смузихлёб (?), 30-Мрт-22, 11:55
> и минимальный размер (например, DNS-сервер занимает всего 200 КБ) Интересно, сколько бы занимал бинарник хеллоуворда на расте, содержащий под капотом всё необходимое для работы барахло( хотя бы просто под ОС, но без необходимости ставить растовые библиотеки в систему )
Ответить \| Правка \| Наверх \| Cообщить модератору


	3. "Выпуск MirageOS 4.0, платформы для запуска приложений поверх..."	–4 +/–
	Сообщение от Аноним (3), 30-Мрт-22, 12:05
	а что, экономишь пространство на дискете? ну купи еще одну дискету, будут у тебя 2.88 Мб.
	Ответить \| Правка \| Наверх \| Cообщить модератору


	9. "Выпуск MirageOS 4.0, платформы для запуска приложений поверх..."	–2 +/–
	Сообщение от НяшМяш (ok), 30-Мрт-22, 15:01
	https://github.com/mirage/ocaml-dns/blob/main/src/dune Интересно, сколько бы сервер весил при статической линковке всего этого барахла? Уж явно не 200КБ. И это только библиотека DNS, а не сам сервер. В лучших традициях старпёров всё в одном файле на 4.5к строк.
	Ответить \| Правка \| К родителю #2 \| Наверх \| Cообщить модератору


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

5. "Выпуск MirageOS 4.0, платформы для запуска приложений поверх..."	+/–
Сообщение от Аноним (5), 30-Мрт-22, 12:33
Почему OCaml не взлетел?
Ответить \| Правка \| Наверх \| Cообщить модератору


	7. "Выпуск MirageOS 4.0, платформы для запуска приложений поверх..."	+8 +/–
	Сообщение от freehck (ok), 30-Мрт-22, 12:55
	> Почему OCaml не взлетел? Взлетел. Просто он сначала взлетел в математических пруверах типа Coq. Где-то в начале нулевых народ начал думать "а что это мы на нём и обычный софт не пишем" -- и на нём накидали MLDonkey, чтобы просто показать, что это возможно. Он вроде кстати до сих пор жив. Затем и Jane Street подключились и во многом на нём построили свой бизнес. Собственно Jane Street и ответственна за то, что язык набрал обороты. В институте INRIA (оттуда OCaml и Coq родом, привет Leroy Xavier) очень неохотно принимали изменения в стандартные библиотеки. В Jane Street просто написали свои, более человеческие, поверх исходных. Взрастили множество хороших специалистов, выпустили серию книг (привет Yaron Minsky), участвовали в развитии opam и dune. OCaml -- это, скажем так, человеческое приглашение разработчиков в строго типизированное функциональное программирование. Безусловно, функциональщики массовым явлением никогда не будут из-за высокого порога вхождения. Но в среде функциональщиков OCaml прочно стоит на ногах.
	Ответить \| Правка \| Наверх \| Cообщить модератору


	18. "Выпуск MirageOS 4.0, платформы для запуска приложений поверх..."	–2 +/–
	Сообщение от OO (?), 30-Мрт-22, 20:51
	>> в среде функциональщиков... 2 человека тоже "среда" уже. как то плохо у них со средой, вакансии всяких функциональщиков годами не могут закрыть.
	Ответить \| Правка \| Наверх \| Cообщить модератору


	12. "Выпуск MirageOS 4.0, платформы для запуска приложений поверх..."	+/–
	Сообщение от Ан (??), 30-Мрт-22, 15:50
	Многопоточность не очень. Это будет исправлено в пятом окамле.
	Ответить \| Правка \| К родителю #5 \| Наверх \| Cообщить модератору

6. "Выпуск MirageOS 4.0, платформы для запуска приложений поверх..."	+10 +/–
Сообщение от freehck (ok), 30-Мрт-22, 12:38
Большая веха. Я в предверии этого релиза вот уже некоторое время как снова смотрю на OCaml спустя несколько лет перерыва. Экосистема сильно повзрослела за эти годы. Dune выглядит действительно мощной системой. Те, кто ранее пользовался ocamlbuild -- поймут. Теперь сборка стала значительно проще: просто указываешь, что собирать, библиотеки, которые надо прилинковать, и собственно всё. Да и библиотек стало значительно больше. Я давеча к своему сервису добавлял вывод метрик в Prometheus -- двадцать строчек на конфигурирование сбора метрик, плюс одна на эндпоинт в Cohttp. Раньше было сложнее. Молчу уже о том, что клиентская часть Cohttp без всяких приседаний теперь работает с SSL. Очень радует. Lwt_pool порадовал. Я с его помощью пул дочерних процессов организовывал. Пара строчек и готово. Ну и библиотеки заматерели. Раньше для подобного функционала нужно было весьма низкоуровневые вещи задействовать, сейчас же высокоуровневые библиотеки человеческим лицом всю экосистему поворачивают, за что большое спасибо Ocsigen-овскому Lwt и JaneStreet-овским Base/Core. Тем, кто не в курсе, почему это круто (и по-видимому что такое OCaml), объясню просто: строгая типизация, гарантия отсутствия ошибок типа, на 99.9% чисто функционально, не лениво по умолчанию.
Ответить \| Правка \| Наверх \| Cообщить модератору


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


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

11. "Выпуск MirageOS 4.0, платформы для запуска приложений поверх..."	+1 +/–
Сообщение от Ан (??), 30-Мрт-22, 15:49
Очень недооценная ОС.
Ответить \| Правка \| Наверх \| Cообщить модератору


	15. "Выпуск MirageOS 4.0, платформы для запуска приложений поверх..."	–1 +/–
	Сообщение от Аноним (10), 30-Мрт-22, 17:10
	Ее очень ценят. Особенно по верху Muen. https://www.nitrokey.com/products/nethsm ЗЫ: а реально крутые OS уже под санкциями https://muen.sk
	Ответить \| Правка \| Наверх \| Cообщить модератору

23. "Выпуск MirageOS 4.0, платформы для запуска приложений поверх..."	–1 +/–
Сообщение от Аноним12345 (?), 31-Мрт-22, 08:29
Неведома зверушка
Ответить \| Правка \| Наверх \| Cообщить модератору

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


	26. "Выпуск MirageOS 4.0, платформы для запуска приложений поверх..."	+/–
	Сообщение от freehck (ok), 01-Апр-22, 13:10
	> Поясните танкисту: оно позволяет запускать только код на OCaml? Если не брать в расчёт CFFI, то да, только на OCaml.
	Ответить \| Правка \| Наверх \| Cообщить модератору