EDIT^7: blink と box86、FEX。 EDIT^6: Unikraft 。 EDIT^5: Tilck 。 EDIT^4: コメント。gVisor はすっかり忘れていました！Linuxを拡張するためにLinuxを実装した良い例だと思います。LINE有りましたね。。 SF.netのCVSはもう死んでしまったので除外にしました。。 OSvのバイナリ互換 はPIEであることが要求なので。。といっても世間的にはもうLinux = Debian/Ubuntu で良いですかね。。表現を調整しました。 EDIT^3: Noah忘れてた！ EDIT^2: Cygwinは 下書き段階で削ってしまった 。。 qemuを移植したとき に互換性がイマイチだったので。。特殊fdやprocfsの充実ぶりとかを考えると "かなりLinux" と言って良いとは思うけど、 mmap 等でLinuxとWind

DockerがUnikernelを買収。1秒以下で起動しハイパーバイザで安全に分離されるUnikernelが新たなコンテナの仲間入り Dockerが急速に支持を得ている大きな理由の1つは、Dockerが提供するコンテナが軽量で迅速に起動する点にあります。 その軽量さや迅速な起動をコンテナ型仮想化ではなく、ハイパーバイザを用いた従来の仮想化で実現するのがUnikernelです。 そのUnikernelの開発を行っているUnikernel Systems社の買収を、Docker社が発表しました。 アプリケーションに最適化されたUnikernel Unikernelとは、ターゲットとなるアプリケーションのコードと、その実行に必要な機能以外を徹底的にそぎ落としたOSとを合わせて1つにビルドしたものです。 ターゲットとなるアプリケーションのソースコードごとにビルドされるため、Unikernelはアプ

はじめに 「Unikernelって知ってますか!?」という質問を日本で(というか海外でも)聞くとだいたい「知らない」と冷たい回答が返ってくるので、啓蒙活動の一環としてこの記事を書いてみることにしました。 サーバ仮想化用ハイパバイザの中の人のおしごとに就いて5年くらい経った頃、「次の面白いネタは何かなぁ」と探していたらフラッとUnikernelの話が一部の界隈で盛り上がり始めたのが2016年前半。 そこからずっと、「将来のコンピューティングスタイルを変えるのはUnikernelだね」と超個人的に熱い視線を注ぎ続けています。 Unikernelとは ちょっと"Unikernel"とググると、英文で結構記事が出て来ます。よく目にする記事は「2016年1月にDocker社がUnikernel Systems社を買収した」という内容で、有名な企業がUnikernelという技術に注目し始めたという点で

Unikernel and Immutable Infrastructures Table of Contents Introduction Theoretical Concepts Unikernel Microkernel Monolithic vs Microkernel Library Operating Systems Unikernel Security in Unikernel Immutable Infrastructures Virtual Machines VS Linux Containers VS Unikernel Solutions Comparison State of the Art Existing Projects MiniOS ClickOS HalVM IncludeOS MirageOS Nanos Unikernel OSv Rumprun Un

The server operating system has not changed in 50 yearsOur current server operating systems have not changed in 50 years and do not reflect modern day concerns for managing servers and cyber-security.Still built for multiple users to run multiple programs, leaving large spaces open for targeted cyber attacks. The future is unikernelsA unikernel is an application that has been boiled down to a smal

平素は株式会社ライブドアのサービスを ご利用いただきありがとうございます。 提言型ニュースサイト「BLOGOS」は、 2022年5月31日をもちまして、 サービスの提供を終了いたしました。 一部のオリジナル記事につきましては、 livedoorニュース内の 「BLOGOSの記事一覧」からご覧いただけます。 長らくご利用いただき、ありがとうございました。 サービス終了に関するお問い合わせは、 下記までお願いいたします。 お問い合わせ

Meguro.rb#3で「Ruby入門書を書いてて得られた知見5選+3α」と題してLTした資料。ちょっと公開用に微調整済。 https://megurorb.connpass.com/event/57119/

Mirageを使うと、OCamlでXenやEC2の上で動くOSを作ることができる。 スタブライブラリも用意されているので、Linux、 MacOS Xのような普通のOSで開発して、その後、Xen/EC2上で動くカーネルにコンパイルできる。 http://openmirage.org によると、通常のソフトウェアよりも、より安価に、セキュアに、より詳細な制御が利点です。 前提 Debian squeeze (x64) Xen Server 6.1 x64は必須らしい。 OCaml 4.00.1 の インストール 3.12.1以降がapt-getで入るなら、そちらでもOK。 まずは、依存ライブラリをインストールする。

LexiFi 金融商品の開発環境。 メイン言語がOCaml。MLFiという専用言語もOCamlで作られている。 http://www.lexifi.com/ http://www.lexifi.com/downloads/frisch_inria_2008-12-15.pdf XenServerのツールスタック(xapi toolstack) 仮想化サーバーXenのツール群。全部OCamlらしい。 13万行 http://www.citrix.com/English/ps2/products/feature.asp?contentID=1686939 http://caml.inria.fr/pub/ml-archives/caml-list/2009/11/d80201600e5f91fbe48ce4856c034a71.en.html http://ocamlnews.blogspot

Intel の主席エンジニアの Josh Triplett の Open Source Technology Summit 2019 での講演 Intel and Rust: the Future of Systems Programming を取り上げ、Rust こそがシステムプログラミングの未来であり、C 言語はもはやかつてのアセンブリ言語である。つまり、未だに OS などのシステムプログラミングの大部分で使われる C 言語は Rust に置き換えられるのではないかと見る記事である。 「Cを愛して…」という文章をワタシが訳したのももはや10年以上前、C が他言語に置き換えられる未来が遂に来るのかと遠い目になってしまう。もっともワタシ自身、4年近く C 言語でコーディングしてないんだよね……。 でも、本当にそうなるのだろうか？ 手近なシステムプログラミングの現場である Linux カーネ