PopekとGoldbergの仮想化要件
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2013/04/30 13:14 UTC 版)
PopekとGoldbergの仮想化要件 (英:Popek and Goldberg virtualization requirements) とは、コンピュータアーキテクチャが効率的にシステムの仮想化を実現するための一群の十分条件である。ジェラルド・J・ポペック (Gerald J. Popek) と ロバート・P・ゴールドバーグ (Robert P. Goldberg) の 1974 年の論文 "Formal Requirements for Virtualizable Third Generation Architectures" (仮想化可能な第三世代アーキテクチャへの要件) で示された [1] 。これらの要件は簡単のため仮定に基づいたものであったが、コンピュータアーキテクチャが十分な仮想化機能を備えているかどうかの判断基準と、仮想化されたコンピュータアーキテクチャの設計についての指針を示している。
| |||||||||||||||||||||||||||||||||
- ^ Gerald J. Popek and Robert P. Goldberg (1974). “Formal Requirements for Virtualizable Third Generation Architectures”. Communications of the ACM 17 (7): 412 –421. doi:10.1145/361011.361073.
- ^ S. W. Galley (1969). “PDP-10 Virtual machines”. Proc. ACM SIGARCH-SIGOPS Workshop on Virtual Computer Systems. pp. 30?34
- ^ John Scott Robin and Cynthia E. Irvine (2000). “Analysis of the Intel Pentium's Ability to Support a Secure Virtual Machine Monitor”. Proc. 9th USENIX Security Symposium
- ^ Daniel J. Magenheimer and Thomas W. Christian (2000). ech/magenheimer.html “vBlades: Optimized Paravirtualization for the Itanium Processor Family”. ech/magenheimer.html Proc. 3rd Virtual Machine Research & Technology Symposium. USENIX. pp. 73–82
- ^ Sun Microsystems, Inc. (2006-01-24). UltraSPARC Virtual Machine Specification. Santa Clara, CA, USA.
- ^ Weaver, David L.; Tom Germond (1994). The SPARC Architecture Manual: Version 9. San Jose, CA, USA: SPARC International, Inc.. ISBN 0-13-825001-4.
- ^ Weaver, David (2007-05-17). UltraSPARC Architecture 2005: One Architecture.... Multiple Innovative Implementations (DraftD0.9). Santa Clara, CA, USA: Sun Microsystems, Inc..
[続きの解説]
「PopekとGoldbergの仮想化要件」の続きの解説一覧
- 1 PopekとGoldbergの仮想化要件とは
- 2 PopekとGoldbergの仮想化要件の概要
- 3 命令セット
- 4 関連項目
- PopekとGoldbergの仮想化要件のページへのリンク
