MirageOS - un micro OS (unikernel) en OCaml

74
21
déc.
2021
Distribution

MirageOS est un outil permettant de créer un unikernel (un système d’exploitation) pouvant faire office de micro-service comme un site Internet, un service SMTP ou encore un service DNS. L’objectif de MirageOS est de proposer une solution modulaire afin que l’utilisateur puisse créer son propre système selon ce qu’il souhaite vraiment. La modularité et l’approche clean-state de MirageOS permet de délester le système final d’éléments superficiels à priori. De ce fait, MirageOS est capable de produire un système d’exploitation complet comme un simple site internet ne pesant au final que ~16 Mo.

L’approche de MirageOS est de reconstruire tous les éléments de votre application finale en OCaml (en partant de votre API REST à la pile TCP/IP). Les logiques d’abstraction et la modularité d’OCaml sont les bases de MirageOS afin de s’abstraire de tout ce qui est à proprement parler lié au système (les syscalls) et de pouvoir interchanger une implémentation avec une autre sans changer le reste de l’application. Par ces mécanismes-là, MirageOS a la possibilité de produire un simple exécutable ou de produire un système complet capable d’être virtualisé avec Xen ou KVM.

Dans cette dépêche, nous allons voir ce qu’est concrètement MirageOS et expliquer comment l’utiliser.

Journal Meetup OCaml - OUPS

Posté par  (site web personnel) . Licence CC By‑SA.
21
6
nov.
2015

Bonjour'nal !

Je me présente Romain Calascibetta et je suis un développeur OCaml. Depuis Janvier 2013, des personnes représentant la communauté OCaml ont décidé de lancer un rendez-vous mensuel pour tous ceux qui connaissent OCaml de près ou de loin. Ce rendez-vous prend la forme d'un Meetup avec des conférences animées par des acteurs de l'industrie OCaml, des pizzas, des boissons et des gens cools.

Mais dans ce beau monde déterministe typé, voilà qu'il y eu un effet de bord. En (…)

Journal Réponse du conseil constitutionnel par rapport au projet de loi relatif au renseignement.

41
24
juil.
2015

Bonjour' nal, j'acte donc ce jour quelques minutes après le gong de minuit pour constater avec vous la décision du conseil constitutionnel sur le projet de loi relatif au renseignement. Je vous offre un petit récapitulatif avec tout les éléments nécessaire à la compréhension de cette décision.

Le document, très long, décide donc qu'il est contraire à la constitution

  • L'article 821-6 de l'article 2:

L. 821-6. – En cas d’urgence liée à une menace imminente ou à un risque très (…)