Вышла Mirage 1.0.2 — облачная ОС

Камл - это гуд. Но ещё бы сделали поддержку Дельфи, цены бы не было. Пойду поставлю свечку за здравие разработчиков, устроивших релиз.

and DARPA... and... darpa. AND!!

Шома, ты превзошел сам себя :)

Но ещё бы сделали поддержку Дельфи, цены бы не было.

Дельфя - ненужная пропреитарщина. А вот C/С++, гццшный разумеется, было бы самое оно.

А вот он там ОСНОВНОЙ или ЕДИНСТВЕННЫЙ?

А то что-то по-моему если он там единственный, всё-таки какая-то это сильно специфическая штука...

обана. Камл откопался и выглядывает. это хорошо. Может вырастет наконец.

Это конкуренты OSv?

O\u2013\u00b0aml

ТС, ты меня звал?

ЗЫ очевидно не нужно

ОС? На какамле? Санитары уже выехали.

Зачем изобретать велосипед, когда есть plan9?

ТС, сенкс - очень исчерпывающе написанная новость. Читать приятно такое на глагне.

Зачем изобретать велосипед, когда есть plan9?

Он не на OCaml

Проверка.

Q: How does Mirage compare against other cloud-friendly OS options (e.g like OSv) and also different approaches like like containers (e.g Docker)?

Mirage represents our desire for a radically simpler way of building complex distributed systems using a modern modular, functional and type-safe programming language such as OCaml. Unlike other cloud-friendly operating systems such as OSv, we do not attempt to optimize existing code, but instead focus on a toolkit to make it easier to quickly assemble new systems without having to be a domain expert in (e.g.) kernel programming.

The downside to our approach is that we only work with open protocols, since we cannot build clean-slate versions of closed protocols for which we have no specification. On the other hand, the 1.0 release contains clean-slate libraries for TCP/IP, DNS, Xen device drivers, VNC, HTTP and other common Internet protocols, but all written in a completely type-safe fashion so that they are resistant to attacks such as buffer overflows that are plaguing the Internet. There's a good chance that a few years from now, existing systems will still be suffering those attacks, but Mirage will continue to grow and mature its protocol implementations without sacrificing safety.

Вот, каким образом они пересекаются?

проект имеет лицензию BSD

Да, OCaml это пожалуй единственное их спасение.

Основные преимущества такого подхода (по сравнению с VM на обычных ОС) — большая эффективность, маштабируемость и безопасность в виду отсутсвия множества неиспользуемых компонентов традиционных ОС.

Неужели из «обычных ОС» (Linux?) нельзя выпилить неиспользуемые компоненты? Тогда основных преимуществ у «необычных ОС» типа Mirage не останется.

Зачем изобретать велосипед, когда есть plan9?

Он не на OCaml

Это типа условие успеха что ли? Написано на OCaml = лучше по определению? Смищно.

Вот выражение типа: «Отсутствие ненужных компонентов, не использующихся где-то там...», по отношению к unix-подобным ОС разумеется, моментально наводит на дурные мысли. Ведь это вовсе не им решать, что используется, а что нет. Зачем этот велосипед?

как ее можно пощупать?

Это что-то типа FantomOS? Её никто не видел, но `по слухам` она всех рвёт?

по всей видимости новую специализированную ОС сейчас проще сделать, похожих проектов с каждым днем все больше и больше - Mirage, ErlangOnXen, GuestVM ну и тотже OSv и скорее всего это не полный список.

С одной стороны это здорово. Но неплохо бы иметь какой-то стандарт что-ли.

Конечно смищно.

Вот если бы она была написана на лиспике...

Я вообще-то на серьезность и не претендовал :)

Но то, что ОС написана на чем-то кроме С - достаточно экзотично. Хотя и не первый случай.

Вот если бы она была написана на лиспике...

Ф. Те же яйца, только в профиль.

Скорее всего так оно и есть. Но это велосипедостроение грустно. Хотя и не понятно обычному обывателю типа меня, ведь ядро модульное - выкидывай все что не используешь, делай минималистичным и компеляй под свой девайс/VM.

Ничего плохого в таком велосипедостроении нет. Если бы этих людей не заняли такой фигней, они бы били лампочки по подъездам и вещества бы употребляли. А так хотя бы сидят тихо и вреда окружающим почти не приносят. Цени это.

Санитары уже выехали.

проект имеет лицензию BSD

Пусть еще лопаты захватят.

Ничего плохого в таком велосипедостроении нет. Если бы этих людей не заняли такой фигней, они бы били лампочки по подъездам и вещества бы употребляли. А так хотя бы сидят тихо и вреда окружающим почти не приносят. Цени это.

Плюсую.

Польза. Правда, единственная.

меня одно время интересовала идея Library operating system, и вот теперь оказывается чуваки че-то такое сделали

На eCos посмотри.