• IT-Karriere:
  • Services:

Javascript: Neuer Baseline-Compiler soll Firefox beschleunigen

Firefox erhält einen neuen Baseline-Compiler, der Jägermonkey ersetzen und die Ausführung von Javascript in Firefox weiter beschleunigen soll. Die aktuellen Nightly-Builds von Firefox enthalten den neuen Baseline-Compiler bereits.

Artikel veröffentlicht am ,
Neuer Baseline-Compiler soll Ionmonkey ergänzen.
Neuer Baseline-Compiler soll Ionmonkey ergänzen. (Bild: Mozilla)

Mit einem neuen Baseline-Compiler, der speziell für Ionmonkey entwickelt wurde, will Mozilla Jägermonkey ersetzen. Die Verarbeitung von Javascript in Firefox verläuft in mehreren Stufen: In der ersten verarbeitet ein Interpreter den Javascript-Code und sammelt dabei alle Typinformationen. Sollten bestimmte Javascript-Funktionen häufig verwendet werden, kommt der JIT-Compiler Jägermonkey zum Einsatz. Dieser arbeitet zwar sehr schnell, erzeugt aber ausführbaren Code, ohne diesen nennenswert zu optimieren.

Stellenmarkt
  1. nexible GmbH, Düsseldorf
  2. SAPHIR Software GmbH, Leverkusen

Sehr häufig verwendete Funktionen werden daher nochmals mit einem zweiten JIT-Compiler, Ionmonkey, übersetzt. Ionmonkey arbeitet zwar langsamer als Jägermonkey, erzeugt dank diverser Optimierungen aber schnelleren Code. Damit das insgesamt zu einer möglichst schnellen Javascript-Engine führt, bedarf es der richtigen Balance zwischen den unterschiedlichen Stufen.

Letztendlich wird Jägermonkey in diesem Konstrukt als Baseline-Compiler für Ionmonkey verwendet, wurde dafür aber nie entwickelt. Die Mozilla-Entwickler versprechen sich daher große Vorteile von dem neuen Baseline-Compiler, der für Ionmonkey entwickelt wurde.

Sowohl Jägermonkey als auch Ionmonkey verwenden die vom Interpreter erzeugten Typeninformationen. Ändert sich aber der Typ einer Variablen während der Laufzeit, wirft Firefox den von Jägermonkey und Ionmonkey erzeugten JIT-Code weg und führt die Funktion erneut im Interpreter aus. Der JIT-Lebenszyklus beginnt von vorn: Wird die Funktion häufiger aufgerufen, kommt Jägermonkey zum Einsatz, bei sehr häufiger Nutzung greift Ionmonkey ein.

Kein ideales Gespann

Golem Akademie
  1. IT-Sicherheit für Webentwickler
    31. Mai - 1. Juni 2021, online
  2. Advanced Python - Fortgeschrittene Programmierthemen
    17./18. Juni 2021, online
Weitere IT-Trainings

Der Ansatz hat allerdings einige Probleme: Weder Jägermonkey noch Ionmonkey sammeln Typeninformationen und die vom Interpreter gesammelten sind sehr begrenzt. Das wurde zwar durch die in Firefox mittlerweile integrierte Type-Inference-Infrastruktur verbessert, funktioniert aber nicht in allen Fällen gut, was die von Ionmonkey durchgeführten Optimierungen einschränkt. Zudem verwendet Jägermonkey den vom Interpreter erzeugten Heap-Stack direkt, während Ionmonkey den deutlich schnelleren C-Stack verwendet, was die Kommunikation zwischen Jägermonkey und Ionmonkey sehr langsam macht.

Hinzu kommt, dass große Teile des im Web verwendeten Javascript-Codes nicht häufig genug ausgeführt werden, damit Jägermonkey überhaupt zum Einsatz kommt. Denn Jägermonkey ist zwar deutlich schneller als Ionmonkey, aber noch immer recht komplex und langsam. Das schlägt sich beispielsweise im Benchmark Spidermonkey nieder.

Neuer Baseline-Compiler soll Abhilfe schaffen

Der kürzlich in die Entwicklerversionen von Firefox integrierte neue Baseline-Compiler soll die Situation verbessern: Er versorgt die Type-Inference-Infrastruktur ebenso wie der Interpreter mit Typeninformationen, sammelt aber über Inline-Cache-Chains deutlich mehr Informationen, die Ionmonkey auswerten kann. Der von Baseline erzeugte Code kann zudem nie ungültig werden, denn er reagiert auf dynamische Typenveränderungen. Der Code muss also niemals erneut übersetzt werden. Trotzdem kann der von Baseline erzeugte Code 10- bis 100-mal schneller ausgeführt werden als mit dem Interpreter. Der Baseline-Compiler verwendet zudem ebenso wie Ionmonkey den C-Stack, was den Informationsaustausch mit Ionmonkey beschleunigt.

Hinzu kommt: Der Baseline-Compiler ist deutlich einfacher als Jägermonkey oder Ionmonkey, teilt sich aber große Teile seines Codes - Assembler, Jotcode-Container, Linker - mit Ionmonkey. Dadurch stellt der neue Baseline-Compiler einen besseren Kompromiss zwischen Interpreter und JIT dar.

Schneller und effizienter

All das soll bei der Ausführung von Javascript deutliche Vorteile gegenüber dem bisher verwendeten System bieten: So wird Firefox in den Benchmarks Kraken, Sunspider und Octane rund 5 bis 10 Prozent schneller. Zugleich wird für Type-Inference weniger Speicher benötigt und es gibt neue Möglichkeiten für die weitergehende Code-Optimierung in Ionmonkey. Auch soll die weitere Integration von Ionmonkey und Baseline in der nächsten Zeit für weitere Geschwindigkeitssteigerungen sorgen.

Details zum neuen Baseline-Compiler erläutert Kannan Vijayan in einem Blogeintrag. Er hat den Baseline-Compiler zusammen mit Jan De Mooij, Tom Schuster und Brian Hackett entwickelt.

Bitte aktivieren Sie Javascript.
Oder nutzen Sie das Golem-pur-Angebot
und lesen Golem.de
  • ohne Werbung
  • mit ausgeschaltetem Javascript
  • mit RSS-Volltext-Feed


Anzeige
Hardware-Angebote

Paykz0r 09. Apr 2013

das stimmt zwar aber 3d css bsw. ist unter firefox komplett voll mit bugs. da kann man...

Schnarchnase 09. Apr 2013

Welche Engine meinst du? Gecko ist flott, je nach Version sogar schneller als Webkit.

Kaiser Ming 08. Apr 2013

optimalerweise mit ner js Funktion, falls gibt , weil die kann der Compiler am...

Kaiser Ming 08. Apr 2013

ist mir eigentlich peng, hauptsache schneller hoffe es setzen sich Dank asm.js doch noch...

Anonymer Nutzer 08. Apr 2013

Ist seit einigen Tagen so ... hatte noch keine Zeit mich damit zu beschäftigen :/


Folgen Sie uns
       


Sony Alpha 1 - Fazit

Die Alpha 1 von Sony überzeugt in unserem Test.

Sony Alpha 1 - Fazit Video aufrufen
Programm für IT-Jobeinstieg: Hoffen auf den Klebeeffekt
Programm für IT-Jobeinstieg
Hoffen auf den Klebeeffekt

Aktuell ist der Jobeinstieg für junge Ingenieure und Informatiker schwer. Um ihnen zu helfen, hat das Land Baden-Württemberg eine interessante Idee: Es macht sich selbst zur Zeitarbeitsfirma.
Ein Bericht von Peter Ilg

  1. Arbeitszeit Das Sechs-Stunden-Experiment bei Sipgate
  2. Neuorientierung im IT-Job Endlich mal machen!
  3. IT-Unternehmen Die richtige Software für ein Projekt finden

Weclapp-CTO Ertan Özdil: Wir dürfen nicht in Schönheit und Perfektion untergehen!
Weclapp-CTO Ertan Özdil
"Wir dürfen nicht in Schönheit und Perfektion untergehen!"

Der CTO von Weclapp träumt von smarter Software, die menschliches Eingreifen in der nächsten ERP-Generation reduziert. Deutschen Perfektionismus hält Ertan Özdil aber für gefährlich.
Ein Interview von Maja Hoock


    Fiat 500 als E-Auto im Test: Kleinstwagen mit großem Potenzial
    Fiat 500 als E-Auto im Test
    Kleinstwagen mit großem Potenzial

    Fiat hat einen neuen 500er entwickelt. Der Kleine fährt elektrisch - und zwar richtig gut.
    Ein Test von Peter Ilg

    1. Vierradlenkung Elektrischer GMC Hummer SUV fährt im Krabbengang seitwärts
    2. MG Cyberster MG B Roadster mit Lasergürtel und Union Jack
    3. Elektroauto E-Auto-Prämie übersteigt in 2021 schon Vorjahressumme

      •  /