next up previous contents
Next: Eigenschaften des Compilers Up: Analyse der Kosten-Nutzen-Rechnung eines Previous: Das Modell   Inhalt

Interpretieren oder Übersetzen?

Das vorgestellte Modell kann als Entscheidungsalgorithmus in der virtuellen Maschine verwandt werden. Hierzu ist es nötig, die beteiligten Größen festzustellen. Wie dargelegt, sind s und c Charakteristika des Compileralgorithmus und werden typischerweise offline kalibriert. Die Methodengröße ist trivialerweise bekannt.

Zur Bestimmung von p muß ein Programmprofil erstellt werden. Die Profildaten können dazu regelmäßig zeitgesteuert, im Methodenprolog oder bei einem Kontextwechsel [Arnold et al., 2000b] erhoben werden. Dieser zusätzliche Verwaltungsaufwand ist so gering wie möglich zu halten, da er die Laufzeit negativ beeinflußt. Zu verwendeten Verfahren gibt der folgende Abschnitt 3.2 Auskunft.

Die Restlaufzeit trest kann nur heuristisch bestimmt werden. [Arnold et al., 2000b] schlagen vor anzunehmen, das Programm werde noch einmal so lange laufen wie bisher. Auf diese Weise können Negativentscheidungen später revidiert werden. Die HotSpot-VM in der Version 2.0 von Sun Microsystems bietet mit einer Client- und einer Server-Version die Option, zwischen kurz- und langlebigen Programmen zu entscheiden. Hiermit lassen sich die Übersetzungsentscheidungen der virtuellen Maschine beeinflussen.

In Formel 3.6 sind alle programmabhängigen Größen auf der linken Seite zusammengefasst. Die Übersetzungsentscheidung läßt sich daher qualitativ allein durch Betrachtung der linken Seite nachvollziehen. Zunächst wird deutlich, daß mit längerer Programmlaufzeit mehr Methoden übersetzt werden können, da dem einmaligen Übersetzungsvorgang eine vielfache Laufzeitersparnis gegenübersteht. Weiterhin weisen häufig ausgeführte Methoden sowie Methoden mit vielfach wiederholten Schleifen ein hohes Verhältnis von p zu |m| auf und sind somit Übersetzungskandidaten.


next up previous contents
Next: Eigenschaften des Compilers Up: Analyse der Kosten-Nutzen-Rechnung eines Previous: Das Modell   Inhalt

2001-02-28