Das Kefk Network Wiki befindet sich im Testbetrieb.
Virtuelle Maschine
Aus Kefk.
Virtuelle Maschinen (VMs) stellen entweder einen Virtuellen Host (Gast-System) oder eine virtuelle Laufzeitumgebung für Programme innerhalb eines Host-Systems zur Verfügung.
Sie können entweder vollständig in Software oder mittels einer Kombination aus Software und Hardware (Vanderpool, Pacifica, LPAR, z/VM) implementiert werden. Im Embedded-Bereich werden auch Java-CPUs bzw. CPU-Erweiterungen für eine effiziente Ausführung von Java-Bytecode angeboten, z. B. Jazelle[1] in ARM-CPUs für mobile Geräte.
Stellt das Host-System keine Möglichkeit zur Verfügung, den Anwendungscode direkt auf einer CPU ausführen zu können, muss ein Interpreter den Anwendungscode indirekt ausführen. Benötigt bei der Virtualisierung von Hardware (VMware, QEMU) das Gast-System Schnittstellen (z. B. für Geräte und Kommunikation), die das Hostsystem nicht bereitstellt, müssen diese emuliert werden.
Inhaltsverzeichnis |
Systeme und Modelle
In der Entwicklung der Rechnerarchitekturen hat sich eine Trennung der typischen VM-Modelle ergeben, mit denen Hardware-CPUs und Software-VMs entwickelt werden. Die große Mehrzahl realer CPUs verwalten mehrere Operanden in einer beschränkten Zahl direkt adressierbarer Register (Registermaschinen), die große Mehrzahl der portablen VM Systeme verwalten ihre Operanden in einem verschieblichen unbeschränkten Stapel (Stapelmaschinen). Dies ergab sich durch die verschiedenen Vorteile dieser Ansätze.
Bei VM-Modellen nach Art von Stapelmaschinen entsprechen die obersten Stapelwerte jeweils dem Parameterblock eines Funktionsaufrufs, der nur einmal vorhanden ist. Die Registermaschinen kommen dagegen ohne Parameterblock aus, indem Schalter bestimmte Register für eine Operation an- und abschalten, wofür zusätzliche Schalter und Leiterbahnen gebraucht werden. Dies beschränkt die Zahl der Register und Recheneinheiten. Eine Emulation von Registermaschinen ersetzt nun die Recheneinheiten durch Funktionsblöcke, für deren Aufruf jeweils Parameterblöcke erstellt werden.
Virtuelle Maschinen mit Orientierung auf Ausführung in Software spielen heute eine bedeutende Rolle, da Microsoft mit der .NET-Architektur dem Beispiel von Sun mit der virtuellen Java-Maschine (Java VM) folgt. Hintergrund ist jeweils die Orientierung auf plattformunabhängige Ausführung von Programmen auf verschiedenen Rechnern, die über ein Netzwerk (Internet) verbunden sind.
Die heutigen VM-Systeme besitzen eine große Zahl von Vorläufern, bei denen nutzerorientierte Darstellungen eines Programms (Programmiersprachen) nicht direkt in die maschinenorientierte Darstellung der CPU übersetzt wurden (Maschinencode), sondern in einen einfach strukturierten Zwischencode. Dieser Zwischencode wird dann auf dem Zielsystem durch einen Interpreter ausgeführt. Neben der direkten Ausführung stehen dabei auch verschiedene Optimierungen zur Verfügung, insbesondere die JIT-Compiler.
Die Speicherung des Zwischencodes kann unterschiedlich ausfallen, etwa als Bytecode oder als Baumstruktur. Technisch kann dies als Vorkompilierung betrachtet werden, bei der die Analyseschritte eines Compilers zum Verständnis der problemorientierten Programmiersprache durchlaufen werden (Frontend des Compilers), jedoch keine maschinenorientierte Anpassung an eine spezielle CPU erfolgt (Backend des Compilers), sondern die Anpassung an die abstrakten Ausführungseigenschaften der virtuellen Maschine erfolgt.
Vorteile und Nachteile
Vorteile einer portablen virtuellen Maschine:
- Plattformunabhängigkeit: Programme für eine virtuelle Maschine laufen auf allen realen Maschinen, für die die virtuelle Maschine implementiert ist. Sie kann dadurch Architekturtransparenz schaffen.
- Dynamische Optimierung ist möglich.
Nachteile einer portablen virtuellen Maschine:
- Die Ausführung eines portablen Programms auf einer portablen virtuellen Maschine ist meist langsamer als die native Ausführung von Programmen, die speziell für die Zielumgebung übersetzt wurden.
- Bei Verwendung eines Interpreters ergeben sich zusätzliche Indirektionen, was weniger effizient als direkte Ausführung ist.
- Dynamische Übersetzung zur Laufzeit (JIT-Compiler) löst zwar die meisten Indirektionen auf und sorgt für großteils direkte Ausführung, jedoch erfordert die Übersetzung selbst, bis der Code direkt ausgeführt werden kann, zusätzlichen Aufwand, der jedoch nur im Moment der Übersetzung anfällt, dagegen nicht mehr bei späteren Durchläufen.
Diese Nachteile können durch geeignete (zum Beispiel dynamische) Optimierung verringert werden. Eine weitere Möglichkeit ist die automatische Kompilierung mittels Ahead-Of-Time-Compiler unmittelbar vor der Ausführung. Damit wird das Backend eines hochoptimierenden maschinenorienterten Compilers unmittelbar auf dem Anwendersystem ausgeführt. Dabei kann dieser noch spezifischere Optimierungen an das System des Anwenders vornehmen, als es bei einem vorkompilierten Programm ohne spezielle Optimierungen für den Prozessor des Anwenders möglich wäre.
Weitere virtuelle Maschinen
Neben den Stapelmaschinen der JVM/CLR gibt es auch registerbasierte virtuelle Maschinen, etwa Parrot (VM von Perl6). Neben der Definition von virtuellen Maschinen für allgemeine Aufgaben gibt es auch spezielle Modelle wie etwa die VM Definition für Shaderprogramme in 3D-Systemen.
Ein verbreitetes, aber unbekannt gebliebenes VM System ist OpenFirmware, auf der Basis einer Forth Stapelmaschine mit festgelegten F-Codes und Laufzeitumgebung für den speziellen Einsatz zur BIOS Programmierung. Eingesetzt wird dieses System heute überwiegend bei PowerPC-Rechnern auf CHRP-Basis.
Umgekehrt findet sich die Möglichkeit, die Hardware einer CPU um die Möglichkeit zur Ausführung mehrerer verschiedener VM Modelle zu erweitern. CPUs bieten oft einen Kompatibilitätsmodus (z. B. Virtual 8086 Mode). Eine andere Möglichkeit ist es, fremden Maschinencode in den internen Maschinencode (Microcode) zu übersetzen (z. B. CPUs von Transmeta).
Siehe auch
Weblinks
- Pascal-P-Code-Maschine (Das p-System war auch ein komplettes Betriebssystem; auch mit Compilern anderer Sprachen wie Basic und Fortran konnte man für dieses System p-Code erstellen)
- Smalltalk-80 Design
- Prozess VMs (Beschreibung von Prozess VMs, Vergleich von JVM, .NET Framework und p-Machine)
 | Dieses Dokument entstammt in seiner ersten oder einer späteren Version der deutschsprachigen Wikipedia. Es ist dort zu finden unter dem Stichwort Virtuelle_Maschine, die Liste der bisherigen Autoren befindet sich in der Versionsliste; die Originalfassung kann dort auch bearbeitet werden. Alle Texte der Wikipedia und ihre Derivate stehen unter der GNU-Lizenz für freie Dokumentation. |
