OCaml with MirageでXen/EC2上で動くOSを作る #EC2

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。

まずは、依存ライブラリをインストールする。

$ sudo apt-get build-dep ocaml
$ sudo aptitude install git

その後、OCaml 4.00.1をインストールする。

$ wget http://caml.inria.fr/pub/distrib/ocaml-4.00/ocaml-4.00.1.tar.gz
$ tar xvzf ocaml-4.00.1.tar.gz
$ cd ocaml-4.00.1
$ ./configure
$ make world.opt
$ sudo make install

OPAMのインストール

http://github.com/OCamlPro/opam からOPAMをインストールする。

$ wget https://raw.github.com/OCamlPro/opam/master/shell/install.sh && sh ./install.sh
$ opam init
$ echo 'eval `opam config env`' >> ~/.profile

Mirage-unixのインストール

$ opam switch 4.00.1+mirage-unix
$ eval `opam env`
$ opam install mirage

lwt_unixが不足しているせいで、ビルドががうまくいかない場合は以下を試す。

$ opam install ocamlfind lwt base-bigarray base-threads base-unix

Mirage-xenのインストール

$ opam switch 4.00.1+mirage-xen
$ eval `opam env`
$ opam install ocamlfind lwt
$ opam install mirage

lwtのビルドがうまくいかない場合は以下を試す。

$ opam remove base-threads base-unix

Unixでの開発/実行

$ git clone git://github.com/mirage/mirage-skeleton.git
$ cd mirage-skelton/basic
$ opam switch 4.00.1+mirage-unix
$ eval `opam config env`
$ make

実行すると、hello worldが2秒ごとに表示される。

$ ./hello.native 
hello
world
hello
world
…

ソースコードはこんな感じ。

let main () =
  for_lwt i = 0 to 10 do
    print_endline "hello";
    lwt () = OS.Time.sleep 2.0 in
    print_endline "world";
    Lwt.return ()
 done

let _ =
  OS.Main.run (main ())

Xenでの実行

$ opam switch 4.00.1+mirage-xen
$ eval `opam config env`
$ make clean

_build/hello.xen が生成される。これをXenでロードするために、以下のようなhello.cfg を準備する。

name="hello"
memory=128
kernel="hello.xen"

起動する。

# ls
hello.cfg hello.xen
# xl create hello.cfg

consoleを表示させるとhello worldが表示されているのが分かる。

# xl console hello            
kernel.c: Mirage OS!
kernel.c:   start_info: 0x1136000(VA)
kernel.c:     nr_pages: 0x8000
kernel.c:   shared_inf: 0x23f8d000(MA)
kernel.c:      pt_base: 0x1139000(VA)
kernel.c: nr_pt_frames: 0xd
kernel.c:     mfn_list: 0x10f6000(VA)
kernel.c:    mod_start: 0x0(VA)
kernel.c:      mod_len: 0
kernel.c:        flags: 0x0
kernel.c:     cmd_line: 
x86_setup.c:   stack:      0xedc60-0x8edc60
mm.c: MM: Init
x86_mm.c:       _text: 0x0(VA)
x86_mm.c:      _etext: 0x8295f(VA)
x86_mm.c:    _erodata: 0xa0000(VA)
x86_mm.c:      _edata: 0xd73e8(VA)
x86_mm.c: stack start: 0xedc60(VA)
x86_mm.c:        _end: 0x10f6000(VA)
x86_mm.c:   start_pfn: 1149
x86_mm.c:     max_pfn: 8000
x86_mm.c: Mapping memory range 0x1400000 - 0x8000000
hello
Devices: [Xen.Blkif] provider start
world
hello
world
…

OCaml with MirageでXen/EC2上で動くOSを作る

前提

OCaml 4.00.1 の インストール