Abbildungsverzeichnis

• Veröffentlichungen in der ACM Digital Library
• Die drei Hauptkomponenten einer virtuellen Maschine
• Ausführungsmodell von Java
• Darstellung einer Java-Methode in unoptimierter Form (i) und in einer optimierten Zwischenrepräsentation (ii)
• Ablauf des ,,Mark-Sweep``-Algorithmus
• Kompaktierungsphase (i) und Zeiger-Anpassungsphase (ii) des ,,Mark-Compact``-Algorithmus
• Ablauf einer ,,Copying Collection``
• Thread-Beispiel
• Monitor-Beispiel
• Zustandsdiagramm eines Threads und eines Monitors
• Auftragssystem
• OSR-Beispiel
• Optimierter Code
• On-Stack Replacement
• Laufzeittests
• Generierter Code für p.x = a[i]
• Beispiel einer Klassenhierarchie
• Beispiel eines einfache Servers
• Die drei Hauptkomponenten aus Sicht des dynamischen Compilers
• Einfache nicht thread-sichere Allokation durch Inkrementierung von free
• Erweiterung von 4.1 zu einer thread-sicheren Allokation durch Verwendung von CAS
• Bei der Verwendung von Speicherschutzmechanismen kann der Vergleich mit der Freispeichergrenze entfallen.
• Mögliche Objekrepräsentation eines objektorientierten Systems bei der Verwendung von Speicherschutzmechanismen
• Objektrepräsentation für (i) Objekte und (ii) Arrays in IBMs Jalapeño Virtual Machine
• Typgraph der abstrakten Interpretation von Java-Bytecode nach Agesen
• Generational Collection: Die Referenzen aus der alten Generation müssen berücksichtigt werden.
• Remenbered Set.
• Die von [Chambers, 1992] verwendete ,,Write Barrier``
• Tricolor Marking: Fehler bei Verletzung der Farbinvarianten.
• Garbage Collection in einer Multi-Prozessor-Umgebung: (i) klassische ,,Stop-the-World`` GC (ii) Inkrementelle GC (iii) Parallele GC (iv) Nebenläufige GC
• Die drei Hauptkomponenten aus Sicht der Speicherverwaltung
• Blockieren eines LWP (LWP-Zustände: R=Running, B=Blocked)
• Konsistente und inkonsistente Threads bei beliebiger Unterbrechungsstrategie: $n-i \gg p$ Threads sind inkonsistent.
• Konsistente und inkonsistente Threads bei Unterbrechung nur an konsistenten Punkten: nur p Threads sind inkonsistent.
• Pseudo-Implementierung der Monitoroperationen monitorenter und monitorexit
• Pseudo-Implementierung der Monitoroperationen monitorenter und monitorexit erweitert um Metasperren
• Metasperre nach [Agesen et al., 1999] -- keine Konflikt
• Metasperre nach [Agesen et al., 1999] -- Konflikt beim Erwerb der Metasperre
• Hotspot: Aufrufstack mit rekursivem Lock
• Expansion eines Monitors nach [Onodera and Kawachiya, 1999]
• Die drei Hauptkomponenten aus Sicht des Threading-Subsystems
• Die drei Hauptkomponenten einer virtuellen Maschine
• Tabellarischer Vergleich verschiedener Implementierungen virtueller Maschinen.
• Tabellarischer Vergleich verschiedener Implementierungen virtueller Maschinen.
• Tabellarischer Vergleich verschiedener Implementierungen virtueller Maschinen.