ハイパーバイザ




コンピュータ用語における、ハイパーバイザ (hypervisor) とは、コンピュータの仮想化技術のひとつである仮想機械（バーチャルマシン）を実現するための、制御プログラムである。仮想化モニタや仮想化OSと呼ばれることもある。




目次






  • 1 名称


  • 2 概要


  • 3 分類


    • 3.1 Type 1（「ネイティブ」または「ベアメタル」）ハイパーバイザ


    • 3.2 Type 2（「ホスト」）ハイパーバイザ




  • 4 歴史


    • 4.1 メインフレーム


    • 4.2 サーバ


    • 4.3 x86システム


    • 4.4 組み込みシステム




  • 5 脚注


  • 6 関連項目


  • 7 外部リンク





名称


IBMが「オペレーティングシステム」と呼んだためにその用語が普及したが、一般にはOSのことをスーパーバイザとも言う。「ハイパー」という語は、「スーパー」のさらに上という意味で使われることが一般にあるが、ここではそのような意味で、OSをさらに管理する層、というような意味である。



概要


ハイパーバイザは大別して以下の2種類があり、作成した仮想機械（バーチャルマシン）でそれぞれのOS（ゲストOS）を動かすことができる。




  • ハードウェアの上で直接稼働する（後述のType 1。狭義のハイパーバイザ。専用OSの形のz/VM、VMware ESX、ESXi、Xenなどや、ファームウェアの形のIBM LPARなど。）

  • 他のOSの上で稼働する（後述のType 2。VMware Server など）


また、ゲストOSを修正せずそのまま稼働できる（ハードウェアを完全にエミュレートする）ものを完全仮想化、性能などの理由でゲストOSに修正が必要なものを準仮想化とも呼ぶ。


なお、仮想機械でも単なる物理分割（PPAR）で特にリソース管理を行っていない場合は、ハイパーバイザは存在しない。



分類


ハイパーバイザの分類方法は多数あるが、ここではその動作方式によって2つのタイプに分類する。





Type 1（「ネイティブ」または「ベアメタル」）ハイパーバイザ




ベアメタル・ハイパーバイザ
Materiel=ハードウェア, Hyperviseur=ハイパーバイザ, OS Privilégié=管理OS, OS invité=ゲストOS


ハイパーバイザがハードウェア上で直接動作し、全てのOS（ゲストOS）はそのハイパーバイザ上で動作する方式を指す。狭義の「ハイパーバイザ」はこちらのみを指す。


この方式のハイパーバイザはIBMが1960年代に開発したCP/CMS が最初で、現在のIBM z/VMの祖先である。最近の例では以下がある。



  • Xen


  • VMwareの ESX、ESXi、vSphere

  • L4マイクロカーネルファミリー

  • TRANGO

  • マイクロソフトのHyper-V

  • LinuxのKernel-based Virtual Machine(KVM)

  • SELTECHのFOXvisor


これの派生品としてはプラットホームのファームウェアの中に組み込まれたハイパーバイザがあり、以下がある。




  • IBMのLPARハイパーバイザ（メインフレーム版はPR/SM）


  • オラクルのOracle VM Server for SPARC 旧論理ドメイン (LDOM) ハイパーバイザ。


  • ヒューレット・パッカード (HP) のVirtual Server Environment for HP-UX


  • 日立製作所のVirtageハイパーバイザ





Type 2（「ホスト」）ハイパーバイザ




ホスト型ハイパーバイザ
Materiel=ハードウェア, OS hôte=ホストOS, OS invité=ゲストOS


ハードウェア上でまず別のOSが稼働し（このOSをホストOSと呼ぶ）、その上でハイパーバイザが（ホストOSのアプリケーションとして）稼働し、更にはハイパーバイザの上で更に別のOS（このOSをゲストOSと呼ぶ）を稼働させる方法である。狭義においては、Type 2はハイパーバイザには含まれない。


例としては以下のものがある。




  • VMwareのVMware Server、VMware Workstation、VMware Player、VMware Fusion


  • マイクロソフトのVirtual PC（Windows 7専用のWindows Virtual PCを含む）とMicrosoft Virtual Server


  • オラクルのVirtualBox


  • パラレルスのParallels WorkstationとParallels Desktop


  • オープンソースのQEMU


  • オラクルのSolarisのKernel Zone


必ずしもすべてのハイパーバイザが、Type-1,2のいずれかに明確に分類出来るものではない。例えばLinuxで動作するKVMは、ホストOSカーネルにハイパーバイザを埋め込んでしまうもので、仮想化の機能としてはType-1に属する。しかしゲストOSがホストOS上で1プロセスとして動作する事、また、ホストOS自体はハイパーバイザ上では動作しないため、これらの観点ではType-2に属するという意見もある。[1]



歴史


「ハイパーバイザ」という用語はSystem/370用にCP-67を再実装したIBMのCP-370が起源であり、VM/370として1972年にリリースされた。hypervisor callまたはhypercallという用語は、準仮想化インタフェースで参照されるが、何によってゲストOSが（より上位層）の制御プログラムからサービスに直接アクセスするか、つまり同じレベルのOSにsupervisor callを何によって行うのかというのと似ている。（スーパーバイザという用語は、IBMのメインフレーム上でオペレーティングシステムのカーネルがsupervisor stateで動作しているとの記述がある。）



メインフレーム


ハイパーバイザは、メインフレームで最初に実装された。ソフトウェアによる完全仮想化を最初に提供したのはIBMのCP-40で、研究用に1967年の1月から製造が開始された。CP-40は更にCP-67、VM/370、VM/XA、VM/ESAとなり、現在のz/VMに続いており、ゲストOSとしてz/OS、z/VSEなどの他、Linuxを多数稼働させる用途（サーバ統合）でも使われている。また国産メインフレーム各社も同等の仮想化OS（富士通のAVM、日立製作所のVMSなど）を持っている。


→詳細は z/VM#開発経緯 および メインフレーム#種類 を参照


サーバ


いくつかの要因により、UNIXやLinuxサーバベンダの間で仮想化技術が再び使われるようになってきた。



  • ハードウェア能力の拡大による一台当たりの同時に処理できる量の増大

  • サーバ群をまとめることによるコスト削減と管理のシンプル化。

  • 大規模なマルチプロセッサおよびクラスタサーバ、すなわちサーバファームやレンダーファームへのセットアップを管理する必要が出てきた。

  • セキュリティや信頼性の改善とハイパーバイザアーキテクチャを使うことによるデバイスに依存せずに済むようになった。

  • 複雑でOSに依存するアプリケーションを異なるハードウェアやOS環境の上で動作させる要望があること。


IBMやサン・マイクロシステムズ（サン）、HP、SGIなどの主要なUNIXベンダーは2000年以前より仮想化したハードウェアを販売していた。これらのハードウェアは一般的にサーバクラス(ハイエンドで数百万ドル)の値札をつけている。仮想化もまたいくつかのミッドレンジのシステム、IBMのSystem pサーバやサンマイクロシステムズのCoolThreadsのT1000やT2000サーバで利用可能である。


IBMはメインフレーム用のロジカル・パーティショニング (LPAR) を、サーバ（pSeries、iSeries、Power Systems）に移植した。現在ではゲストOSの停止なくリソースの変更が可能（D-LPAR）で、CPU（コア）は10分の1単位で割り振りができる（マイクロパーティショニング）ほか、ハイエンド以外のモデルにも搭載している。


サンの論理ドメイン (LDOM) ハイパーバイザの上でゲストOSとして動作させるために、いくつかのホストOSは変更が行われている。2006年後半には、SolarisやLinux、FreeBSDはハイパーバイザの上で動作するように移植された(そして完全仮想化がゲストOSに関係なく実現できるようになったので、同じプロセッサ上でこれらのOSが同時の動作できるようになった)。Wind RiverのCarrier Grade Linuxもまたサンのハイパーバイザ上で動作する計画である。SPARCプロセッサ上で完全仮想化を実現するのはそれほど難しい訳ではない。完全仮想化への取り組みが1980年代半ばから始まったことから、SPARCアーキテクチャは仮想化の邪魔になる古い仕組みを慎重に取り除いてきたからである。


似た傾向はLinuxのx86/x64サーバプラットフォーム、Xenのようなオープンソースプロジェクトによって仮想化技術を取り込もうとする動きが見られる。これらの技術は巨大なシステムからデスクトップに及んでいる。これについては次の節で述べる。



x86システム


「x86仮想化」も参照

高い利益を誇るサーバハードウェア市場分野へ興味をもっていることから、従来のデスクトップPCを含むインテルのx86命令セットのマシン用のハイパーバイザの開発が行われている。初期のPC向けハイパーバイザの一つは1998年に発表された商業用VMwareである。パラレルスはParallels Workstationを2005年に発表したが、その主な用途はPC上で使うことであった。2006年にはMac OS X上で動作するParallels Desktop for Macを発表した。


たいていのPCシステムで使われるx86アーキテクチャはとりわけ仮想化が難しい。x86上の（標準ハードウェア一式という幻想を表現する）完全仮想化は、ハイパーバイザがあまりにも複雑になりすぎ、実行時パフォーマンスに重大な問題が生じる。


別の方法では、ハイパーバイザによってシミュレートされるマシンのI/O命令を実行するよりも、ハイパーバイザにシステムコールを発行するようにゲストOSを変更することを要求する。これはXenで使われている準仮想化と呼ばれるものであり、Parallels Workstationでは「hypercall」と呼ばれるものであり、IBMの仮想機械では「診断コード」と呼ばれるものである。VMwareはゲスト用のデバイスドライバをつけることで、仮想化時の最も処理に時間がかかるところを補っている。これらすべては同じことでシステムコールをハイパーバイザに渡している。MachやL4マイクロカーネルファミリーのようなマイクロカーネルはゲストOSの準仮想化を行うには十分柔軟である。


CPUベンダは製品に仮想化支援機構を追加してきた。インテルのバーチャライゼーション・テクノロジー (Intel VT) およびAMDのAMD-Vは、元来仮想化を行うのには難しくかつ非効率なx86アーキテクチャを拡張し、ハイパーバイザの実現を支援する機構である。この仕組みは仮想化コードをより単純にし、完全仮想化においてより高いパフォーマンスを可能にするものである。


Xenのような他のものについては、仮想機械をソフトウェアのみで実装している。XenはLinuxのような普通のホストOSの上で動作するし、準仮想化ないしはIntel VTを使った（OSの変更をしない）完全仮想化のどちらも動作させることができる。Xenは無変更のWindows XPを動作させるデモに成功した[2]。Xenの配布物には変更済みのFreeBSDやLinux、NetBSD、ベル研究所のPlan 9版がすでに含まれている。ユーザプログラムは変更なしにXen上で動作が可能である。


2006年には、マイクロソフトは新しいType1のハイパーバイザシステムであるコードネームViridianの開発を始め、2008年6月30日正式版をHyper-Vとして公開した[3]。このシステムは最下層でOSと統合する設計がされている。Windows VistaをはじめとしたWindowsの新バージョンはViridianハイパーバイザの上で動作させた場合にパフォーマンスをあげる拡張を含んでいる。



組み込みシステム


仮想機械は携帯電話のような組み込みシステムの中に近年見られるようになった。この現象は、一方で、同時に従来のリアルタイムオペレーティングシステム (RTOS) APIをメンテナンスしながら、LinuxやMicrosoft Windowsのようにアプリケーションプログラミング用の高レベルOSインタフェースを提供する要望によって引き起こされている。低レベルRTOSの環境は従来の機能をサポートするために維持し続ける必要がある。高レベルOSのリアルタイム性能は多くの組み込みアプリケーションにとっては満足できるものではない。


したがって、組み込み用のハイパーバイザはリアルタイム性が要求され、その設計基準は他の分野で使われているハイパーバイザには適用できない。多くの組み込みシステムでは使えるリソースがあらかじめ決まっている性質を持ち、特にバッテリー駆動のモバイル機器では、より小メモリかつ低消費電力で動作することを求められる。結局、PCの世界ではx86アーキテクチャが至る所に存在するのとは対照的に、組み込みの世界ではより幅広く様々なアーキテクチャが使われている。仮想化を行うには、メモリ保護機能(メモリ管理ユニットの形かもしくは最低でもアーキテクチャとしてメモリ保護を行っているもの)とCPUモードの区別（ユーザモードと特権モード）の機能が必要であるため、多くのマイクロコントローラは除外されてしまう。この機能を満たすものは、ミドルレンジからハイエンドの組み込みシステムで広く採用されているx86やMIPS、ARM、PowerPCしか残らない。


組み込みシステムメーカーは、普通自分たちが使っているOSのソースコードを持っているので、完全仮想化の必要性はあまりない。しかし、準仮想化はパフォーマンスがよいという利点があるので、普通それが仮想化技術として選択される。にもかかわらず、ARMは近年TrustZone技術を用いた完全仮想化のサポートを追加した。


商業用として最初にハイパーバイザが組み込まれた販売されたモバイル組み込みシステムはOKL4（東芝のモバイルフォン）である。これはL4マイクロカーネルファミリーの商業版である。これはx86やARM、MIPSプロセッサをサポートしている。組み込みシステム用として使われる他のシステムにはTRANGOというものがあって、ARMやMIPS、PowerPCをサポートしている。同じく、組み込みシステム用として、VirtualLogix VLX が、x86-VT、ARM をサポートしている。VLX は海外でのネットワークインフラ、モバイルフォンでの採用実績は多い。日本の製品としては、ウェルインテクノロジーのEM-VRTやSELTECHのMOS-S、エルミック・ウェスコムのACCELシリーズがあり、日本国内で採用実績の多いRTOSであるITRONと汎用OSの同時実行を可能にしている。また、TOPPERSプロジェクトの一環として開発されたSafeGもTrustZone技術を用いた組み込み用実装の一つである。



脚注




  1. ^ “KVM reignites Type 1 vs. Type 2 hypervisor debate”. 2013年2月10日閲覧。


  2. ^ “オープンソースの仮想ソフト「Xen」、Windows XPの起動に成功”. ZDNet Japan. 2016年7月20日閲覧。


  3. ^ 海上忍 (2008年6月27日). “米MS、仮想化技術「Windows Server 2008 Hyper-V」を正式リリース” (日本語). マイコミジャーナル. 2008年7月6日閲覧。



関連項目



  • 仮想化

  • 準仮想化

  • LPAR

  • Microsoft Hyper-V

  • Kernel-based Virtual Machine (KVM)

  • VMware

  • Xen (仮想化ソフトウェア)

  • TOPPERS



外部リンク



  • @IT - 古くて新しい「サーバ仮想化技術」の行方 ～ あらゆる機器にハイパーバイザー ～


  • sHype, IBM Research


  • Xen, ケンブリッジ大学


  • L4マイクロカーネル 技術をベースとした オープンソースのhypervisor OKL4, Open Kernel Labs


  • TRANGO 組み込みCPU向けのリアルタイムセキュアハイパーバイザ, TRANGO Virtual Processors


  • VirtualLogix 組み込み機器向けのリアルタイムバーチャライザー、VirtualLogix VLX Virtualizer


  • EM-VRT 1CPU上でハイブリッドOS化を可能とする組み込み向け仮想化製品、EM-VRT


  • MOS-S 複数のOSを1SoCに実装するハイパーバイザ、MOS-S


  • Accel-Linux Enbedded Linuxリアルタイム化ツール、Accel-Linux


  • Microsoft TechNet 仮想化TechCenter Microsoft TechNet


  • Microsoft Virtualization Microsoft






















  • 表

  • 話

  • 編

  • 歴


仮想化
全体


  • PopekとGoldbergの仮想化要件

  • ハイパーバイザ

  • 準仮想化

  • PowerVM

  • x86仮想化
プラットフォームの
仮想化
（仮想マシン）
















ハードウェアレベル


  • PR/SM

  • LPAR

  • LDOM（英語版）

  • 仮想86モード

  • インテルVT

  • AMD-V

  • ブレードサーバ

  • ハードウェア仮想化（英語版）

  • I/O仮想化（英語版）

ソフトウェアレベル

  • bhyve

  • z/VM

  • VMware

  • Hyper-V

  • WPAR

  • Sun xVM（英語版）

  • Bochs

  • KVM

  • PearPC

  • QEMU

  • Xen

  • VirtualBox

  • jail

  • Linux-VServer

  • cgroups


  • LXC（Docker）

  • Parallels Virtuozzo Containers

  • OpenVZ

  • libvirt

  • User Mode Linux

  • Lguest

  • OSレベルの仮想化（英語版）

  • アプリケーション仮想化

  • デスクトップ仮想化

    		•

    言語レベル

  • バイトコード

  • Java仮想マシン

  • CLR

  • LLVM

  • Lua

    		•


    リソースの仮想化



















    CPU

    • タイムシェアリング
    メインメモリ

  • 仮想メモリ

    		•
    ディスク装置

  • RAID

  • LVM

  • 仮想ファイルシステム

  • ディスク仮想化ソフト

    		•
    ネットワーク

  • VLAN

  • VPN

  • 仮想ハブ

  • 仮想ネットワークIF

  • 仮想LANカード

  • HiperSocket

  • チャネルボンディング

  • NAT

    		•


    その他

  • 仮想アプライアンス

  • エミュレータ

  • マイクロプログラム方式

  • 互換レイヤー

  • オブジェクト指向

  • カプセル化

  • クラスタリング

  • クラウドコンピューティング

  • バーチャルリアリティ

    		•



    -

    Popular posts from this blog

    サソリ

    Image
    この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。 （ 2019年1月 ） 「 サソリ 」のその他の用法については「サソリ (曖昧さ回避)」をご覧ください。 「 スコーピオン 」と「 スコルピオン 」はこの項目へ転送されています。その他の用法については「スコーピオン」をご覧ください。 サソリ目 生息年代: 430–0 Ma PreЄ Є O S D C P T J K Pg N シルル紀前期-現世 ダイオウサソリ（ Pandinus Imperator ） 分類 界 : 動物界 Animalia 門 : 節足動物門 Arthropoda 亜門 : 鋏角亜門 Chelicerata 綱 : クモガタ綱 Arachnida 目 : サソリ目 Scorpiones 学名 Scorpiones C. L. Koch, 1837 英名 Scorpion 上科 Pseudochactoidea キョクトウサソリ上科 Buthoidea Chaeriloidea Chactoidea Iuroidea Scorpionoidea サソリ （ サソリ類 、 蠍 、 蝎 、 scorpion ）は、鋏角亜門・クモガタ綱の サソリ目 （ Scorpiones ）に属する節足動物の総称である。体の前端に鋏型の触肢、後端に毒針を有する捕食者である。 1700種以上を含め、最古の化石記録は4億3千万年前のシルル紀まで遡る。有毒生物として広く知られるが、人間の命にかかわる毒を持つものはごく一部の種類に過ぎない。 目次 1 形態 1.1 前体 1.2 後体 1.2.1 中体 1.2.2 終体 2 雌雄 3 生態 3.1 天敵 3.2 生殖 4 分布 5 毒 6 蛍光現象 7 分類
    Read more

    広島県道265号伴広島線

    Image
    一般県道 広島県道265号伴広島線 路線延長 km 起点 広島県広島市安佐南区伴東7丁目 終点 広島県広島市中区榎町 接続する 主な道路 （記法） 広島県道38号広島豊平線 広島県道71号広島湯来線 山陽自動車道五日市IC 国道183号（ 国道261号重複） ■テンプレート（■ノート ■使い方） ■PJ道路 広島県道265号伴広島線 （ひろしまけんどう265ごう ともひろしません）は広島県広島市安佐南区から広島県広島市中区を結ぶ一般県道である。 目次 1 路線データ 2 通過する自治体 3 見どころ 4 接続道路 4.1 本線 4.2 旧道 5 別名 6 関連項目 路線データ 本線 起点：広島市安佐南区伴東7丁目・大原下橋南詰交差点（広島県道38号広島豊平線（本線・旧道）交点） 終点：広島市中区榎町・十日市交差点（国道183号（国道261号重用）交点） 総延長： 旧道 起点：広島市安佐南区伴東4丁目・新細坂交差点（広島県道38号広島豊平線交点） 終点：広島市安佐南区伴中央4丁目・寺組橋(南)交差点（広島県道265号伴広島線（本線）交点） 総延長： 通過する自治体 広島県 広島市（安佐南区、佐伯区、西区、中区） 見どころ 広島高速交通広島新交通1号線（アストラムライン） 広島広域公園 広島広域公園陸上競技場（広島ビッグアーチ） 己斐峠 己斐橋（太田川放水路） 天満橋（天満川） 接続道路 本線 広島県道38号広島豊平線（本線・旧道）（広島市安佐南区伴東7丁目・大原下橋南詰交差点〔起点〕） 広島県道71号広島湯来線（本線）（広島市安佐南区伴中央2丁目・伴交番入口交差点 - 広島市安佐南区伴中央4丁目・寺組橋(南)交差点間で重用） 広島県道71号広島湯来線（旧道）（広島県道265号伴広島線（旧道）重用）（広島市安佐南区伴中央4丁目・寺組橋(南)交差点） 広島県道71号広島湯来線（広島市安佐南区伴中央4丁目・寺組橋(南)交差点 - 広島市佐伯区五日市町石内・五月が丘(南)交差点間で重用）
    Read more

    Setup Asymptote in Texstudio

    Image
    0 Good time of the day! I am trying to compile the following file: documentclass[12pt]{article} usepackage[inline]{asymptote} begin{document} Here is a venn diagram produced with Asymptote, drawn to width 4cm: defA{A} defB{V{B}} begin{figure} begin{center} begin{asy} size(4cm,0); pen colour1=red; pen colour2=green; pair z0=(0,0); pair z1=(-1,0); pair z2=(1,0); real r=1.5; path c1=circle(z1,r); path c2=circle(z2,r); fill(c1,colour1); fill(c2,colour2); picture intersection=new picture; fill(intersection,c1,colour1+colour2); clip(intersection,c2); add(intersection); draw(c1); draw(c2); //draw("$A$",box,z1)
    Read more