仮想マシン

狭義では，特権命令や入出力を仮想化し，単一の計算機上で複数の計算機イメージを提供するもの(例. VM/370，VMWare)． 広義では，ある種の命令セットインタフェースを提供するものと考えられる(例. JavaVM，Inferno の Dis)．

狭義の仮想マシンは VMM へ．

広義の仮想マシン

• UCSD Pascal System
  • P-code

• JavaVM
  Javaバイトコードが動作する仮想的なマシン． 仮想的な命令セットインタフェースを提供するという意味で仮想マシンと呼ばれる 広義な意味での仮想マシン．

• Inferno

• PVM(Parallel Vertual Machine)
  ネットワーク接続された複数のUnixを単一の分散共有メモリ型計算機として利用することができる．
  デーモンとインタフェースを提供するライブラリから構成される．
  • 一歩間違え(?)ば、これが俺の飯の種になってたのかも…
  • 数値計算屋さん方面で使われてる、とか聞きました。
  • ロードバランスとかをユーザーアプリの側から考慮する必要があり、 完璧に抽象化されたVMというわけじゃない、んじゃなかったかなこれ？
  • この分野は明るくないけど，SCoreみたいなクラスタ用OSみたいなもの とはどう違うんだろう?
  • 今は PVM は絶滅寸前で，MPI を使う方がトレンドなようですが．
    • MPI-2 を使えば，かなりの部分で同じことができそう．
  • 昔MPICHは内部でPVMを通信機構に使ってたらしい．MPICHのソースコードにその名残りが残ってる．

• Kimera
  分散仮想マシン．

• Windows
  • VirtualMachineOverview
    Windows3.x/9x における仮想マシン(このページにカテゴライズするのは どうかとも思うが)． 要は DOS との下位互換性を保つための機構．Unix的なプロセスの変種って 考えればいいのかな．
    VMM(Virtual Machine Manager)，VxD(Virtual X Device)...

• RCXのVM

• ICVM (Internet C++ Virtual Machine)
  なんかC++の仮想マシンだそうな．gccを改造したコンパイラや開発キットがあるみたい．APはというと，ゲームばっかりだけど．実用になっているのか？

• RTVM (Logical Paradox)
  • http://cgi.din.or.jp/~s-akbn/cgi-bin/progmenu.htm
  • 仮想CPUの他に，アセンブラ，リンカなども揃ってます．

• Hatsune & Multi
  • http://www.ne.jp/asahi/tri-g/toriken/tri-g/index.html
  • とりさん，続きはどうなったの?

• Parrot
  • Perl6のインタプリタコア
  • 高級なような低級なような。
  • 一応レジスタマシン。

• Mite
  Reuben Thomas 氏によるプロジェクト．元々Forth屋さんなのかな．
  • SourceForge

• CommonLanguageRuntime (.NET)

• Kondra Embeddable Runtime Environment
  最初，Kondara かと思った(^^;
  • Palm や GameBoy でも動くらしい．

書き方はバイトコード名と引数，戻り値とそれに対応するCコードの組合せで記述する．

  <name> ( <argument-stack-items> -- <result-stack-items> )
  <c-code>

例えば，JVM の iadd は次のような感じになる．

  iadd ( i1 i2 -- i )
  i = i1 + i2;

このアプローチは実装にべったりなので，もう少し形式的に書けてもいいかもしれない． lcc の定義ファイルってどんな感じなんだろう?

• 仮想マシンとシステムコール

• 仮想マシン，インタプリタの寿命掲示板 (Wiki掲示板)
  • Wiki掲示板の方は全然チェックしてなかったけど，こんな話題が．

• サーバの仮想化技術とビジネス展開の可能性 (@IT 2002-05-14)
  バーチャルホスティング，UserModeLinux，Jail，エミュレータ，仮想マシンなどの仮想化技術について．
  • おぃおぃ，bochs は仮想マシンじゃないよ．
  • Trusted Compting Platform Alliance
• Linuxサーバ仮想化をさらに高いレベルで実現する「container」とは (ZDnet 2006-08-23)
  JailとかOpenVZ，VServerのように，OSレベルの仮想化をcontainerというそうな．
• サーバ仮想化技術を整理する--完全仮想化か、擬似仮想化か、それともOSレベルの仮想化か (OTP 2007-03-01)

• Linux containers