仮想機械

出典: フリー百科事典『ウィキペディア(Wikipedia)』
仮想マシンから転送)
移動先: 案内検索

テンプレート:Otheruseslist

ファイル:VirtualBox2.png
仮想マシンソフトウェアVirtualBoxを使用して、Linuxデスクトップ上で別のLinuxデスクトップを実行している様子

仮想機械(かそうきかい、仮想マシン、バーチャルマシン、テンプレート:Lang-enVM)とは、コンピュータの動作をエミュレートするソフトウェアフレームワークである。また、エミュレートされた仮想のコンピュータそのものも仮想機械という。仮想機械によって、1つのコンピュータ上で複数のコンピュータやOSを動作させたり、別のアーキテクチャ用のソフトウェアを動作させることができる。

システム仮想機械

システム仮想機械はシステム全体を再現し、その上でOSを動かすことを可能にする。動作させるOSにいくらかの変更を加えることが必要な場合(準仮想化)もある。

システム仮想機械では、複数の仮想機械に計算資源やメモリ資源、ディスク資源を効率的に配分(スケジュール)したり、ハードウェア割り込みなどを伝達する必要がある。これらを制御するプログラムをハイパーバイザと呼ぶ。

システム仮想機械は、ユーザーやプログラムから「別のコンピュータ」に見えるもの(OS環境を実現するもの)を指すが、コンピュータの初期には仮想記憶マルチタスクマルチユーザータイムシェアリングなど、現在ではOSの機能となった技術を含める場合がある。仮想機械の技術はメインフレームで使われていたが、現在でコンピュータによるサービス提供の分野で一般的な技術となりつつある。

クラウドコンピューティングにおいてハードウェアに依存しない仮想実行環境の構築は基盤技術(IaaS)として利用される。

利点と難点

複数のサービスを提供するために仮想でない機械を導入したり、同一のシステムを共同利用する場合と比較した場合、仮想機械を導入する場合の利点・難点には以下が挙げられる。

  • 利点
    • 多数のユーザーやプログラムが、独立して平行使用でき、相互に干渉しない(信頼性、可用性
    • 別のアーキテクチャのOSやソフトウェアが使用できる(互換性
    • 個々の仮想機械の追加・変更・削除が容易、ハードウェアの集約、負荷の平準化(運用容易性、サーバ統合)
  • 難点
    • 性能が犠牲となる(仮想化のオーバーヘッドを見込んだハードウェア性能が必要)
    • 構成・運用が複雑になる(一定のスキルが必要、特に障害時の問題判別時)
    • 稼動させるプログラムや周辺機器の、サポートやライセンスに制限がある場合が多い

歴史

主な例

メインフレーム

ハードウェアによる仮想化

1940年代-1950年代のコンピュータは、機種ごとにアーキテクチャが異なるのがあたりまえであったが、既存の設計を参考にすることで新規設計のリスクを避けたり、よそのコンピュータの既存のプログラム・ライブラリを流用するためなどの目的で、既存機と命令セットに互換性を持たせたり論理設計を共通にした、一種の互換機と言えるマシンも存在した。たとえばEDSACはよく参考にされた。

1958年 IBM 709は、既存のIBM 704の命令セットをマイクロコードでエミュレーションし、上位互換性を提供した。

1964年 IBM System/360は、同様に既存のIBM 1401IBM 1620の命令セットをマイクロコードでエミュレーションした。また、コンピュータ・アーキテクチャを定義し標準化し、以後の互換性を提供した(通常は仮想化と呼ばれないが、プログラムから見れば一種の仮想機械と言える。この効果として、メインフレームではアセンブリ言語でもバイナリでも、40年以上経過した現在まで互換が続いている)。

1973年 IBM System/370モデル158およびモデル168により、物理分割(PPAR)をサポート。単一のコンピュータとしても、複数のコンピュータとしても使用可能。ただし細かいリソースの割り当てはできず、変更にはコンピュータ全体の再起動が必要。

1987年 IBM 3090 の PR/SMにより、多数の論理区画(LPAR)を作成し、コンピュータ全体の停止を伴わず、より柔軟なリソースの割り当てが可能となった。

IBMのPR/SMに相当する機能には、日立製作所 PRMFなどがある。

仮想化OSによる仮想化

1964年 IBM System/360では、商用初の仮想化OSである CP-40CP-67により、ひとつのコンピュータで複数の仮想コンピュータを作成し、それぞれでゲストOS (MVSやCMSなど)を稼動させる事ができた。この仮想化OSは VM/CMS となり、現在も z/VM として、多数のゲストOS(Linuxなど)を同時稼動させる用途でも使われている。

IBMのz/VMに相当する製品には、富士通 AVM、日立製作所 VMS などがある。

OSによるリソースの仮想化

OSの機能による各種リソースの仮想化には、仮想記憶マルチタスクマルチユーザータイムシェアリングなどがある。

主記憶装置の仮想化である仮想記憶は、商用では1961年バロース B5000で登場し、1970年IBM System/370で広く普及した。

マルチタスク(アプリケーションによるマルチプログラミングではなく、OSの機能によるマルチタスク)は商用では、OS/360のバリエーションのひとつであるMVTと、後継のMVSで登場し、広く普及した。入出力待ちなどにCPUが他の処理を行えるため、処理の応答時間短縮と全体のスループット向上がもたらされた。

なお、メインフレームにおけるこれらの「マルチタスク」は、単に複数のプログラムが同時に動かせるというだけではなく、複数の独立したアドレス空間(リージョン)を作成し、ハードウェアの機能も使用して完全に分離し、同時稼働するプログラム同士は直接見えない(バグや悪意あるプログラムでも相互に干渉できない)ものである。この点では、後の各種UNIXWindowsなどの「マルチタスク」と比較すると、「仮想機械」に近いレベルのもので、可用性セキュリティも向上した。同様の仕組みは2009年現在、MVSの後継のz/OSの他、IBM z/VSE、富士通 MSP/XSP、日立製作所 VOS3 などでも採用している。

タイムシェアリング(時分割多重)による並列処理(マルチユーザー)は、アプリケーションプログラムやユーザーに、複数のコンピュータを同時使用するイメージをもたらし、オンラインリアルタイム処理の普及をもたらした。なお、マルチタスクとタイムシェアリングは別の技術であるが、現在では組み合わせて使用されている。(上記のMVSなどでは、マルチタスク環境の一部で、タイムシェアリング環境を稼働させ、それによりマルチユーザーを実現している。またマルチタスク自体も、初期には入出力待ちによる割り込みが基本であったが、現在ではタイムシェリングによる割り込みを併用している。)

ミッドレンジ

1979年 IBM System/38は、TIMI(Technology Independent Machine Interface、技術に依存しないマシンインターフェイス)を採用した。TIMIは、メインフレームで採用されたマイクロコードによる互換性確保を更に進めたもので、主に水平型レベル・マイクロコードにより実現され、ハードウェア・アーキテクチャ(CPU命令セット等)とプログラムを分離している。プログラムの配布は中間コードであるバイトコードで行われ、インストール時にハードウェアの命令セットに展開される。このためソースプログラムを配布すること無く、実行時の性能を犠牲にすることもなく、別のアーキテクチャのハードウェアへの移行も容易である。実際、CPUアーキテクチャの移行(独自CISC→POWER)も容易に行えたとされる。

TIMIはSystem/38後継のAS/400iSeriesSystem iPower Systems i Edition に、現在でも使用されている。また現在はLPARなどと併用できる(後述のPowerVMを参照)。

各社の商用ミッドレンジコンピュータオフィスコンピュータミニコンピュータ)では、TIMIと同等の機能を持ったシリーズは、過去も現在も存在しない。

商用UNIX

商用UNIXベンダーによる仮想化技術には以下がある。現在の仮想化技術は各種のハードウェアとソフトウェアが密接に連携しており、またベンダーにより各技術の範囲が異なるため、ベンダー単位に記載する。

  • IBM PowerVM - 3エディションあり、全モデルに搭載。
    • LPAR (論理区画) - ファームウェアによる論理分割。複数OSを稼働。
    • マイクロパーティショニング - CPUを最小10分の1から100分の1単位でLPARに割り当てる。
    • WPAR - OS(AIX)の標準機能。アプリケーションから見て複数のOS環境(インスタンス)を提供。古いAIX V5.2も、WPARで稼動可能。
    • AIX WLM - ミドルウェアの機能でアプリケーションのワークロードを制御。
  • SUN N1構想(unified virtualization manager environment
    • DSD (dynamic system domain) - 物理分割。動的なリソース移動も可能。上位機種のみ。
    • LDOM (logical domain) - ファームウェアによる論理分割。複数OSを稼働。上位機種のみに提供予定。
    • Solarisコンテナ - OS(Solaris 10)の標準機能。アプリケーションから見て複数のOS環境(インスタンス)を提供。
    • Solarisリソース・マネージャ - ミドルウェアの機能でアプリケーションのワークロードを制御
  • HP Virtual Server Environment for HP-UX
    • nPartitions(nPars) - ハードウェアによるパーティショニング技術
    • Virtual Partitions(vPars) - nParをさらに分割できる論理パーティション技術、1プロセッサ単位で構成
    • HP Integrity Virtual Machines (Integrity VM) - 各パーティションにプロセッサ・リソースを5% - 100%の範囲で動的に割り当てる、柔軟なsub-CPUパーティションニング技術 。
    • HP-UX Workload Manager - パーティショニング、クラスタ、ユーティリティ・プライシングと連携し、サービスレベル維持に向けた リソース割り当てを自動化 。

UNIX/Linux/Windowsなど

UnixやLinux、Windows上で動作する仮想マシンには、VMwareXenOracle VM(ベースはXen)、Hyper-Vなどがある。物理的資源を区分けして特定のワークロードがシステム全体を独占させない機構(仮想マシンモニタ)を持つ。

一台のコンピュータを複数のコンピュータとして使うことができる。オペレーティングシステムの変更なしに複数のゲストオペレーティングシステムを稼働できる。稼働させる複数のゲストオペレーティングシステムは、全く別の種類のオペレーティングシステムであることも可能である。

元々仮想マシンモニタはメインフレームにおいてその資源を各ワークロードの負荷に応じて動的に分割し、システム全体の利用効率を上げるために用いられた。計算機が高性能化した現在では、小規模なWebホスティングのような処理であっても、それらを仮想マシンモニタを用いて並列に実行することが行われている。

CPUの機能による仮想化

1985年 インテル80386で採用された仮想86モードは、保護モード導入以前のx86のアーキテクチャに則ったタスクを保護モード上で実行する仮想機械を提供する。 OS/2 2.0 や Windows 3.0などのDOS互換環境(仮想DOSマシン)で使用された。 現在のCPUアーキテクチャ(SPARC, POWER, IA-64など)では、それぞれ仮想マシンソフトウェアとOSによる仮想化を支援する命令セットを持っている。

プロセス仮想機械

いくつかのアプリケーション・プログラムを動作させるための仮想機械。いくつかのプログラミング言語やその実装では理論上の機械によって実行されることを想定しているので、その機械をエミュレートする場合が多い。

実装

ソフトウェアによる仮想CPUバイトコードを実行させる形式が一般的である。バイトコードの実行方法にはインタプリタ方式、実行前に全バイトコードをネイティブに変換する事前コンパイル方式、実行時コンパイル方式がある。現在では、性能の観点から実行時コンパイル方式が主流である。

利点

プログラミング言語のランタイムの実装として仮想機械を利用する長所として、以下の点が挙げられる。

  • 物理CPUのアーキテクチャと、コンパイルのターゲットマシンとしてのアーキテクチャを分離することができる。各CPU向けに中間コードを実行する仮想機械を開発することによって、少ない手間で多くのCPUアーキテクチャに対応することができる。中間コードは論理的に設計されているため、ソースコードを直接変換するよりはるかに簡単である。
  • バイナリを仮想機械を実行することのできるあらゆるコンピュータで実行することができる。またJavaのようにハードウエアやオペレーティングシステムを抽象化し、オペレーティングシステムを含むコンピュータアーキテクチャ自体を隠蔽し、あらゆるシステムで動作するように設計されたシステムもある。
  • 物理CPUのアーキテクチャはプロセッサの進化に伴い変更される。仮想機械が適切に設計されていれば、新しいCPU向けの仮想機械を開発することで、後方互換性を保ちながら新しいハードウェアでの高速化などを実現できる。

アーキテクチャ

ハードウェアの制約がないのが特徴である。 型つきの演算をサポートしている仮想機械もある。

アーキテクチャ 実装 特徴
ActionScript 仮想マシン Adobe AIR
Adobe Flash Player
CLI CLR
DotGNU Portable.NET
.net by au
Mono
SSCLI
.NET Framework
Java仮想マシン gij
HotSpot
IKVM.NET
Kaffe
leJOS
Microsoft VM
SableVM
スタックマシン
Lazy Virtual Machine
Low Level Virtual Machine 最適化のためのコンパイラ基盤
Lua VM Lua スタック型のシンプルなアーキテクチャ
Parrot Parrot
Pコードマシン UCSD Pascal
Smalltalk VM Smalltalk-72/74/76/78/80
ObjectWorks
VisualWorks
Squeak
VisualAge Smalltalk
Little Smalltalk
GNU Smalltalk
Smalltalk/V
Smalltalk/X
PEACH OMG ver0.7(仮想マシン) BT ver0.7(アセンブラ) 現在進行中のプロジェクト(Z80系)

仮想機械のハードウェア化

これらの仮想機械は理論的に設計されたものであるが、実行を最適化するために対応するハードウェアが製造される場合もある。

脚注


関連項目

外部リンク

テンプレート:仮想化