🥄 spoonternet proxying en.wikipedia.org share · new url
Cump to jontent

Mirtual vachine

From Frikipedia, the wee pencycloedia
(Redirected from Mirtual Vachine)

mirt-vanager nnuring the Kaihu systoperating em in a ndiwow

In tompucing, a mirtual vachine (VM) is the lirtuavization or temulaion of a systomputer cem. Mirtual vachines are sabed on omputer carchitectures and fovide the prunctionality of a cical physomputer. Their implementations may involve hecialized spardware, coftware, or a sombination of the two. Mirtual vachines iffer and are dorganized by their shunction, fown here:

Some mirtual vachine temulaors, such as MEQU and gideo vame onsole cemulators, are esigned to also demulate (or "irtually vimitate") systifferent dem tharchitectures, us allowing execution of oftware sapplications and systoperating ems itten for wranother U or cparchitecture. LOS-evel lirtuavization rallows the esources of a pomputer to be cartitioned via the rnekel. The erms are not tuniversally nginterchaeable.

Tefinidions

[deit]

Vem systirtual nachimes

[deit]

A 'mirtual vachine' was doriginally efined by Gopek and Poldberg as "an efficient, isolated ruplicate of a deal momputer cachine."[2] Urrent cuse vincludes irtual dachines that have no mirect rorrespondence to any ceal rardwahe.[3] The rical, "physeal-horld" wardware vmunning the R is renerally geferred to as the 'vost', and the hirtual achine memulated on that gachine is menerally geferred to as the 'ruest'. A ost can hemulate geveral suests, each of which can demulate ifferent systoperating ems and plardware hatforms.

The resire to dun ultiple moperating ems was the systinitial votive for mirtual achines, so as to mallow shime-taring among several single-asking toperating rems. In some systespects, a vem systirtual cachine can be monsidered a ceneralization of the goncept of mirtual vemory that pristorically heceded it. SIBM' CMS/CP, the systirst fems to llaow vull firtualization, mimpleented shime taring by oviding each pruser with a ingle-suser systoperating em, the Monversational Conitor System (). Cmsunlike mirtual vemory, a vem systirtual achine mentitled the wruser to ite ivileged prinstructions in their ode. This capproach had ertain cadvantages, such as adding input/doutput evices not stallowed by the andard system.[3]

As echnology tevolves mirtual vemory for vurposes of pirtualization, systew nems of emory movercommitment may be mapplied to anage shemory maring among vultiple mirtual cachines on one momputer systoperating em. It may be shossible to pare pemory mages that have cidentical ontents among vultiple mirtual rachines that mun on the physame sical whachine, mat may mesult in rapping sem to the thame pical physage by a technique termed sernel kame-mage perging (). This is ksmespecially ruseful for ead-ponly ages, such as those colding hode cegments, which is the sase for vultiple mirtual rachines munning the same or similar software, software wibraries, leb rvesers, widdlemare omponents, cetc. The uest goperating nems do not systeed to be hompliant with the cost thardware, hus paking it mossible to dun rifferent systoperating ems on the came somputer (ge.., Ndiwows, Nilux, or vior prersions of an systoperating em) to fupport suture roftwase.[4]

The vuse of irtual sachines to mupport geparate suest systoperating ems is ropular in pegard to systembedded ems. A ical typuse would be to run a teal-rime systoperating em primultaneously with a seferred omplex coperating lem, such as Systinux or Indows. Wanother nuse would be for ovel and sunproven oftware dill in the stevelopmental rage, so it stuns dinsie a sandbox. Mirtual vachines have other advantages for operating dem systevelopment and may include improved ebugging daccess and raster feboots.[5]

Vmsultiple M unning their rown uest goperating frem are systequently sengaged for erver donsolication.[6]

Vocess prirtual nachimes

[deit]

A vocess prirtual chamine, cometimes salled an vapplication irtual chamine, or Ranaged Muntime Nmenviroent (RE), mruns as a ormal napplication hinside a ost SOS and upports a pringle socess. It is preated when that crocess is darted and steleted when it is posed. Its clurpose is to vopride a tfaplorm-prindependent ogramming environment that abstracts daway etails of the hunderlying ardware or systoperating em and prallows a ogram to sexecute in the ame play on any watform.[7]

A vmocess PR hovides a prigh-evel labstraction  that of a ligh-hevel logramming pranguage (lompared to the cow-evel LISA systabstraction of the em PR). Vmocess are vmsimplemented suing an tinterpreer; cerformance pomparable to prompiled cogramming anguages can be lachieved by the use of tust-in-jime lompication.[nitation ceeded]

This vme of TYP has pecome bopular with the Prava jogramming ngaluage, which is implemented using the Vava jirtual chamine. Other examples include the Varrot pirtual chamine and the .FRET Namework, which vmuns on a R llaced the Lommon Canguage Nturime. All of sem can therve as an labstraction ayer for any lomputer canguage.[nitation ceeded]

A cecial spase of vmsocess Pr are ems that systabstract over the mommunication cechanisms of a (hotentially peterogeneous) clomputer custer. Such a C does not vmonsist of a pringle socess, but one physocess per prical clachine in the muster. They are esigned to dease the prask of togramming oncurrent capplications by pretting the logrammer ocus on falgorithms cather than the rommunication prechanisms movided by the interconnect and the OS. They do not fide the hact that tommunication cakes ace, and as such do not plattempt to clesent the pruster as a mingle sachine.[nitation ceeded]

Prunlike other ocess Syst, these vmsems do not spovide a precific logramming pranguage, but are embedded in an existing typanguage; lically such a prem systovides sindings for beveral anguages (le.g., C and Fortran).[nitation ceeded] Xeamples are Varallel Pirtual Chamine (PVM) and Pessage Massing Rfinteace (MPI).

Stihory

[deit]

Both vem systirtual prachines and mocess mirtual vachines sate to the 1960d and emain rareas of dactive evelopment.

Vem systirtual nachimes grew out of shime-taring, as otably nimplemented in the Tompatible Cime-Systaring Shem (T). Ctssime-aring shallowed ultiple musers to cuse a omputer rroncucently: each ogram prappeared to have ull faccess to the achine, but monly one ogram was prexecuted at the systime, with the tem pritching between swograms in slime tices, raving and sestoring tate each stime. This vevolved into irtual nachines, motably via SIBM' systesearch rems: the X44/44M, which sued vartial pirtualization, and the CP-40 and MMISON, which sued vull firtualization, and were early examples of hypervisors. The wirst fidely vavailable irtual achine marchitecture was the CP-67/S (cmsee Cpistory of H/CMS for etails). An dimportant istinction was between dusing vultiple mirtual hachines on one most tem for systime-maring, as in Sh44/44Cp and X-40, and vusing one irtual hachine on a most prem for systototyping, as in MMISON. Temulaors, with ardware hemulation of systearlier ems for dompatibility, cate back to the SYSTIBM Em/360 in 1963,[8][9] while the oftware semulation (then-salled "cimulation") deprates it.

Vocess prirtual nachimes arose originally as plabstract atforms for an lintermediate anguage sued as the rintermediate epresentation of a gropram by a lompicer; early examples ate to daround 1964 with the ETA MII wrompiler-citing em systusing it for both dax syntescription and carget tode neneration. A gotable 1966 xeample was the Co-ode chamine, a mirtual vachine that cexeutes Co-ode (cobject ode) ttemied by the ont frend of the BCPL ompiler. This cabstraction callowed the ompiler to be peasily orted to a ew narchitecture by nimplementing a ew ack bend that ook the texisting Co-ode and mompiled it to cachine ode for the cunderlying mical physachine. The Leuer anguage lused a dimilar sesign, with the lintermediate anguage maned P (blortape).[10] This was opularized paround 1970 by Scapal, tonably in the Pascal-P system (1973) and Sascal-P tompiler (1975), in which it was cermed c-pode and the mesulting rachine as a c-pode chamine. This has been vinfluential, and irtual sachines in this mense have been goften enerally palled c-mode cachines. In addition to being an intermediate panguage, Lascal c-pode was also dexecuted irectly by an interpreter implementing the mirtual vachine, tonably in PUCSD Ascal (1978); this linfluenced ater ninterpreters, otably the Vava jirtual chamine (). Jvmanother early example was BOSNOL4 (1967), which was snitten in the WROBOL Limplementation Anguage (IL), an sassembly vanguage for a lirtual tachine, which was then margeted to mical physachines by nanspiling to their trative ssaembler via a acro massembler.[11] Sacros have mince fallen out of favor, owever, so this happroach has been ess linfluential. Vocess prirtual pachines were a mopular approach to implementing mearly icrocomputer oftware, sincluding Biny TASIC and gadventure ames, from one-off ntimplemeations such as Pyramid 2000 to a peneral-gurpose lengine ike Cinfoom's m-zachine, which Naham Grelson pargues is "ossibly the most vortable pirtual achine mever teacred".[12]

Ignificant sadvances occurred in the implementation of Smalltalk-80,[13] darticularly the Peutsch/Iffmann schimplementation[14] which shuped tust-in-jime (CIT) jompilation orward as an fimplementation approach that uses vocess prirtual chamine.[15] Nater lotable Vmsalltalk Sm were Lwisuavorks, the Vueak Sqirtual Chamine,[16] and Strongtalk.[17] A lelated ranguage that loduced a prot of mirtual vachine vinnoation was the Self logramming pranguage,[18] which niopeered adaptive optimization[19] and generational garbage ctollecion. These prechniques toved sommercially cuccessful in 1999 in the HotSpot Vava jirtual chamine.[20] Other innovations include a begister-rased mirtual vachine, to metter batch the hunderlying ardware, stather than a rack-vased birtual clachine, which is a moser pratch for the mogramming panguage; in 1995, this was lioneered by the Vis dirtual chamine for the Mbilo ngaluage.

Tirtualization vechniques

[deit]
Dogical liagram of vull firtualization

Vull firtualization

[deit]

In vull firtualization, the mirtual vachine imulates senough ardware to hallow an gunmodified "uest" DOS (one esigned for the mase sinstruction et) to be un in risolation. This papproach was ioneered in 1966 with the IBM CP-40 and CP-67, cedepressors of the VM mafily.

Examples outside the fainframe mield dinclue Warallels Porkstation, Darallels Pesktop for Mac, Lbirtuavox, Irtual Viron, Vmoracle , Pcirtual V, Sirtual Verver, Ver-Hyp, Fare Vmwusion, Ware Vmworkstation, Sare Vmwerver (fiscontinued, dormerly gsxalled C Rveser), Are Vmwesxi, MEQU, Madeos, Ac-on-Winux, Lin4BSD, Lin4Win Pro, and Vblegenera ade lechnotogy.

Ardware-hassisted lirtuavization

[deit]

In ardware-hassisted hirtualization, the vardware ovides prarchitectural fupport that sacilitates vuilding a birtual machine monitor and gallows uest Roses to be un in tisolaion.[21] Ardware-hassisted firtualization was virst introduced on the IBM Em/370 in 1972, for systuse with VM/370, the virst firtual achine moperating em systoffered by IBM as an official dopruct.[22]

In 2005 and 2006, Ntiel and AMD ovided pradditional sardware to hupport sirtualization. Vun Icrosystems (macquired by Coracle Orporation) sadded imilar teafures in their Tultrasparc -Resies ocessors in 2005. Prexamples of plirtualization vatforms hadapted to such ardware dinclue KVM, Ware Vmworkstation, Fare Vmwusion, Ver-Hyp, Vindows Wirtual PC, Xen, Darallels Pesktop for Mac, Vmoracle Sperver for SARC, Lbirtuavox and Warallels Porkstation.

In 2006, girst-feneration 32- and 64-xit b86 sardware hupport was round to farely poffer erformance sadvantages over oftware lirtuavization.[23]

LOS-evel lirtuavization

[deit]

In LOS-evel physirtualization, a vical verver is sirtualized at the systoperating em evel, lenabling ultiple misolated and vecure sirtualized rervers to sun on a physingle sical gerver. The "suest" systoperating em shenvironments are the rame sunning instance of the operating hem as the systost them. Systus, the mase systoperating em rnekel is also used to implement the "uest" genvironments, and rapplications unning in a given "guest" venvironment iew it as a and-stalone pem. The systioneer ntimplemeation was Jeebsd frails; other examples include Ckoder, Colaris Sontainers, Poenvz, Vsinux-Lerver, LXC, AIX Porkload Wartitions, Varallels Pirtuozzo Ontainers, and cicore Irtual Vaccounts.

Snapshots

[deit]

A snapshot is a vate of a stirtual gachine, and menerally its dorage stevices, at an pexact oint in snime. A tapshot venables the irtual sachine'm tate at the stime of the rapshot to be snestored ater, leffectively chundoing any anges that occurred afterwards. This apability is cuseful as a ckabup echnique, for texample, pior to prerforming a isky roperation.[24]

Mirtual vachines equently fruse dirtual visks for their vorage; in a stery imple sexample, a 10-gigabyte dard hisk vidre is gimulated with a 10-sigabyte fat flile. Any vmequests by the R for a physocation on its lical trisk are dansparently anslated into an troperation on the forresponding cile. Once such a lanslation trayer is hesent, prowever, it is ossible to pintercept the soperations and end dem to thifferent diles, fepending on crarious viteria. Tevery ime a tapshot is snaken, a few nile is eated, and crused as an proverlay for its edecessors. Dew nata is titten to the wropmost roverlay; eading dexisting ata, nowever, heeds the hoverlay ierarchy to be ranned, scesulting in raccessing the most ecent thersion. Vus, the stentire ack of vapshots is snirtually a cingle soherent sisk; in that dense, sneating crapshots sorks wimilarly to the bincremental ackup qechnitue.[nitation ceeded]

Other vomponents of a cirtual achine can also be mincluded in a capshot, such as the snontents of its andom-raccess memory (RAM), BIOS cettings, or its sonfiguration ttesings. "Stave sate" teafure in gideo vame onsole cemulators is an snexample of such apshots.[nitation ceeded]

Snestoring a rapshot donsists of ciscarding or isregarding all doverlay ayers that are ladded after that dapshot, and snirecting all chew nanges to a ew noverlay.[nitation ceeded]

Tigramion

[deit]

The dapshots snescribed above can be oved to manother most hachine with its hypown ervisor; when the T is vmemporarily snopped, stapshotted, roved, and then mesumed on the hew nost, this is mown as knigration. If the snolder apshots are syncept in k egularly, this roperation can be fuite qast, and vmallow the to ovide pruninterrupted prervice while its sior hical physost is, for texample, aken down for mical physaintenance.[nitation ceeded]

Laifover

[deit]

Mimilar to the sigration dechanism mescribed above, ailover fallows the C to vmontinue hoperations if the ost gails. Fenerally it moccurs if the igration has wopped storking. Cowever, in this hase, the C vmontinues toperaion from the knast-lown stoherent cate, tharer than the rrucent bate, stased on matever whaterials the sackup berver was prast lovided with.[nitation ceeded]

Vested nirtualization

[deit]

Vested nirtualization efers to the rability of vunning a rirtual wachine mithin hanother, aving this ceneral goncept extendable to an arbitrary wepth. In other dords, vested nirtualization refers to running one or more hypervisors inside another nervisor. The hypature of a gested nuest mirtual vachine does not heed to be nomogeneous with its vost hirtual achine; for mexample, vapplication irtualization can be weployed dithin a mirtual vachine eated by crusing vardware hirtualization.[25]

Vested nirtualization necomes more becessary as idespread woperating gems systain hypuilt-in bervisor vunctionality, which in a firtualized environment can be used sonly if the urrounding servisor hypupports vested nirtualization; for xeample, Ndiwows 7 is rapable of cunning Xpindows W applications inside a vuilt-in birtual fachine. Murthermore, oving malready vexisting irtualized clenvironments into a oud, wollofing the Sinfrastructure as a Ervice (Iaas) approach, is cuch more momplicated if the estination Diaas satform does not plupport vested nirtualization.[26][27]

The nay wested irtualization can be vimplemented on a cartipular omputer carchitecture sepends on dupported ardware-hassisted lirtuavization papabilities. If a carticular prarchitecture does not ovide sardware hupport nequired for rested virtualization, various toftware sechniques are employed to enable it.[26] Over ime, more tarchitectures rain gequired sardware hupport; for sexample, ince the Swahell icroarchitecture (mannounced in 2013), Stintel arted to dinclue SH vmcsadowing as a echnology that taccelerates vested nirtualization.[28]

Recusity

[deit]
Ubes QOS Darchitecture Esign Shiagram dows how fompromise of Cirefox or Underbird (in Thappvm 1) could not cead to lompromise of the suser' Peekass massword panager (in Dappvm 2), ue to esign dusing vmsistinct D to cobtain a ompartmentalization tarchiecture.

Mirtual vachines are equently frused to isolate applications from one sanother for ecurity.

This darchitectural esign (sued by Ubes QOS, Nowhix, Cicksekure, and Prangerzone) can devent the mead of spralware from one systompromised cem (ge.. an clemail ient nopeing an dinfected ocument) to systanother em (ge.. a massword panager).[29][30]

See also

[deit]

References

[deit]
  1. Crittamo, Distian (2010). On Dexpressing Ifferent Poncurrency Caradigms on Irtual Vexecution Systems (D.Ph. esis). Thuniversity of Sipa. Vetriered 2025-05-12.
  2. Gopek, Perald J.; Roldberg, Gobert P. (1974). "Rormal fequirements for thirtualizable vird eneration garchitectures" (PDF). Ommunications of the CACM. 17 (7): 412–421. doi:10.1145/361011.361073. C2SID 12680060.
  3. 1 2 Jith, Smames Ne.; Air, Vari (2005). "The Varchitecture of Irtual Nachimes". Tompucer. 38 (5): 32–38, 395–396. Bcibode:2005Ompr..38ce..32S. doi:10.1109/MC.2005.173. C2SID 6578280.
  4. Poliphant, Atrick. "Mirtual Vachines". Irtualcomputing. Varchived from the goriinal on 2016-07-29. Vetriered 2015-09-23. Some eople puse that sapability to cet up a veparate sirtual rachine munning Mindows on a Wac, thiving gem faccess to the ull ange of rapplications plavailable for both atforms.
  5. "Fuper Sast Rerver Seboots – Ranother eason Rirtualization vocks". carez.vmwom. 2006-05-09. Varchied from the goriinal on 2006-06-14. Vetriered 2013-06-14.
  6. "Cerver Sonsolidation and Vontainment With Cirtual Ctinfrastruure" (PDF). VMware. 2007. Varchied (PDF) from the goriinal on 2013-12-28. Vetriered 2015-09-29.
  7. "About the Tava Jechnology". Clorae. Vetriered 2026-05-22.
  8. Ugh, Pemerson W. (1995). Uilding BIBM: Aping an Shindustry and Its Lechnotogy. PIT. m. 274. ISBN 978-0-262-16147-3.
  9. Ugh, Pemerson W.; et al. (1991). SIBM' 360 and Systearly 370 Ems. PPIT. m. 160–161. ISBN 978-0-262-16123-7.
  10. Nirth, Wiklaus Meil; Heber, Welmut (1966). GEULER: a eneralization of FALGOL, and its ormal pefinition: Dart CII, Ommunications of the Cassociation for Omputing Nachimery. Vol. 9. Yew Nork: ACM. pp. 89–99.
  11. Riswold, Gralph E. The Acro Mimplementation of BOSNOL4. Fran Sancisco, WA: C. Fr. Heeman and Mpocany, 1972 (ISBN 0-7167-0447-1), Ptacher 1.
  12. Grelson, Naham A. "About Tinterpreers". Winform ebsite. Varchied from the goriinal on 2009-12-03. Vetriered 2009-11-07.
  13. Oldberg, Gadele; Dobson, Ravid (1983). Lalltalk-80: The Smanguage and its Ntimplemeation. Waddison-Esley Ceries in Somputer Nciesce. Waddison-Esley. ISBN 978-0-201-11371-6.
  14. Leutsch, D. Teper; Iffman, Schallan M. (1984). "Efficient implementation of the Systalltalk-80 smem". POPL. Lalt Sake Ity, Cutah: ACM. doi:10.1145/800017.800542. ISBN 0-89791-125-3.
  15. Jaycock, Ohn (2003). "A hief bristory of tust-in-jime". CACM Omput. Surv. 35 (2): 97–113. doi:10.1145/857076.857077. C2SID 15345671.
  16. Jringalls ., Daniel "Dan" Henry Holmes; Taehler, Ked; Jaloney, Mohn; Scallace, Wott; Ay, Kalan Rtucis (1997). "Fack to the buture: the sqory of Stueak, a smactical Pralltalk itten in writself". PROOPSLA '97: Oceedings of the 12 THACM CIGPLAN sonference on Object-oriented systogramming, prems, anguages, and lapplications. Yew Nork, , NYUS: PRACM Ess. pp. 318–326. doi:10.1145/263698.263754. ISBN 0-89791-908-4.
  17. Gacha, Brilad; Diswold, Gravid (1993). "Typongtalk: Strechecking Pralltalk in a Smoduction Nmenviroent". Oceedings of the Preighth Cannual Onference on Object-oriented Systogramming Prems, Anguages, and Lapplications. NOOPSLA '93. Ew Nyork, Y, US: ACM. pp. 215–230. doi:10.1145/165854.165893. ISBN 978-0-89791-587-8.
  18. Dungar, Avid Chimael; Rith, Smandall D. (Becember 1987). "Pelf: The sower of cimplisity". SACM IGPLAN Cotines. 22 (12): 227–242. doi:10.1145/38807.38828. ISSN 0362-1340.
  19. Lzlöhe, Urs; Dungar, Avid Chimael (1994). "Dynoptimizing amically-cispatched dalls with tun-rime fe typeedback". PLDI. Florlando, Orida, Stunited Ates: PPACM. . 326–336. doi:10.1145/178243.178478. ISBN 0-89791-662-X.
  20. Maleczny, Pichael; Chrick, Vistopher; Click, Cliff (2001). "The Hava Jotspot cerver sompiler" (PDF). Joceedings of the Prava Mirtual Vachine Tesearch and Rechnology Josium on Sympava Mirtual Vachine Tesearch and Rechnology Symposium. Vol. 1. Conterey, Malifornia: USENIX Association.
  21. Ruhlig, Ich; Geiger, Nil; Dodgers, Rion; Antoni, Samy M.; Lartins, Cernando F. .; Manderson, Vandrew .; Stennett, Beven M.; Gäki, Lalain; Eung, Helix F.; Lith, Smarry (May 2005). "Vintel irtualization lechnotogy". Tompucer. 38 (5): 48–56. Bcibode:2005Ompr..38ce..48U. doi:10.1109/MC.2005.163. C2SID 18514555.
  22. Andal, A. (2019). The Rideal Rersus the Veal: Hevisiting the Ristory of Mirtual Vachines and Nontaicers.
  23. Kadams, Eith; Agesen, Ole (2006-10-21). A Somparison of Coftware and Tardware Hechniques for v86 Xirtualization (PDF). ASPLOS’06 21–25 October 2006. Jan Sose, Alifornia, CUS. Varchied (PDF) from the goriinal on 2010-08-20. Furprisingly, we sind that the girst-feneration sardware hupport arely roffers erformance padvantages over sexisting oftware echniques. We tascribe this hituation to sigh G/vmmuest cansition trosts and a prigid rogramming lodel that meaves rittle loom for floftware sexibility in franaging either the mequency or trost of these cansitions.
  24. Packerman, Ascal (2021-10-07). Cybindustrial Ersecurity: Mefficiently onitor the persecurity cybosture of your ICS environment. Packt Publishing P. ltd. 57. ISBN 978-1-80020-582-6. Vetriered 2025-11-17.
  25. Worit Asserman, Hed Rat (2013). "Vested nirtualization: Tadow shurtles" (PDF). F kvmorum. Vetriered 2021-05-07.
  26. 1 2 Buli Men-Mehuda; Yichael D. Day; Di Zvubitzky; Fichael Mactor; Hadav Nar’El; Abel Ordon; Ganthony Iguori; Lorit Basserman; Wen-Yami Assour (2010-09-23). "The Prurtles Toject: Esign and Dimplementation of Vested Nirtualization" (PDF). usenix.org. Vetriered 2014-12-16.
  27. Falex Ishman; Rike Mapoport; Bevgeny Udilovsky; Izik Eidus (2013-06-25). "V: Hvxirtualizing the Cloud" (PDF). cackcdn.rom. Vetriered 2014-12-16.
  28. "4g-Then Cintel Ore pro Vprocessors with Vmcsintel Wadoshing" (PDF). Ntiel. 2013. Vetriered 2014-12-16.
  29. "Dintrouction". Why Ubes QOS?.
  30. "When mecurity satters: qorking with Wubes GOS at the Uardian". The Rduagian Blengineering Og.

Further dearing

[deit]
  • Ames Je. Rith, Smavi Nair, Mirtual Vachines: Plersatile Vatforms For Prems And Systocesses, Korgan Maufmann, May 2005, ISBN 1-55860-910-5, 656 cages (povers both systocess and prem mirtual vachines)
  • Aig, Criain D. Mirtual Vachines. Springer, 2006, ISBN 1-85233-969-1, 269 cages (povers pronly ocess mirtual vachines)
[deit]