Warum ist GHC so groß / groß?

Gibt es eine einfache Antwort: Warum ist GHC so groß?

• OCaml: 2 MB
• Python: 15 MB
• SBCL: 9 MB
• OpenJRE - 26 MB
• GHC: 113 MB

Nicht interessiert an der Evangelisation von "Warum sollte mir die Größe egal sein, wenn Haskell das richtige Werkzeug ist"; Dies ist eine technische Frage.

Es ist wirklich ein bisschen albern. Jede mit GHC gelieferte Bibliothek wird in nicht weniger als 4 Varianten angeboten :

• statisch
• dynamisch
• profiliert
• GHCi

Die GHCi-Version ist nur die statische Version, die in einer einzigen .oDatei miteinander verknüpft ist . Die anderen drei Versionen haben alle ihre eigenen Schnittstellendateien ( .hiDateien). Die profilierten Versionen scheinen ungefähr doppelt so groß zu sein wie die unprofilierten Versionen (was ein bisschen verdächtig ist, ich sollte untersuchen, warum das so ist).

Denken Sie daran, dass GHC selbst eine Bibliothek ist , sodass Sie 4 Kopien von GHC erhalten. Darüber hinaus ist die GHC-Binärdatei selbst statisch verknüpft, das sind also 5 Kopien von GHC.

Wir haben es kürzlich so gemacht, dass GHCi die statischen .aDateien verwenden kann. Dadurch können wir einen dieser Geschmacksrichtungen loswerden. Längerfristig sollten wir GHC dynamisch verknüpfen, aber das ist eine größere Änderung, da dies bedeuten würde, dass die dynamische Verknüpfung zum Standard wird - anders als in C müssen Sie bei GHC im Voraus entscheiden, ob Sie dynamisch verknüpfen möchten oder nicht. Und wir brauchen weitere Änderungen (z. B. an Cabal und dem Paketsystem unter anderem), bevor dies wirklich praktisch ist.

Wahrscheinlich sollten wir Äpfel mit Äpfeln und Orangen mit Orangen vergleichen. JRE ist eine Laufzeit, kein Entwickler-Kit. Wir können vergleichen: Quellgröße des Entwicklungskits, Größe des kompilierten Entwicklungskits und kompilierte Größe der minimalen Laufzeit.

Das OpenJDK 7-Quellpaket umfasst 82 MB (download.java.net/openjdk/jdk7) und das GHC 7-Quellpaket 23 MB (haskell.org/ghc/download_ghc_7_0_1). GHC ist hier nicht groß. Laufzeitgröße: openjdk-6-jre-headless unter Ubuntu ist 77 MB unkomprimiert gegenüber Haskell helloworld, statisch verknüpft mit seiner Laufzeit, die <1 MB ist. GHC ist hier nicht groß.

Wo GHC groß ist, ist die Größe des kompilierten Entwicklungskits:

GHC selbst benötigt 270 MB und mit allen Bibliotheken und Dienstprogrammen, die zusammenkommen, mehr als 500 MB. Und ja, es ist viel, selbst mit Basisbibliotheken und einem Build-Tool / Abhängigkeitsmanager. Die Java-Entwicklungsplattform ist kleiner.

GHC:

$ aptitude show ghc6 | grep Size
Uncompressed Size: 388M

gegen OpenJDK mit Abhängigkeiten:

$ aptitude show openjdk-6-jdk openjdk-6-jre openjdk-6-jre-headless ant maven2 ivy | grep Size
Uncompressed Size: 34.9M
Uncompressed Size: 905k
Uncompressed Size: 77.3M
Uncompressed Size: 1,585k
Uncompressed Size: 3,736k
Uncompressed Size: 991k

Aber es sind immer noch mehr als 100 MB, nicht 26 MB, während Sie schreiben.

Schwergewichtige Dinge in ghc6 und ghc6-prof sind:

$ dpkg -L ghc6 | grep '\.a$' | xargs ls -1ks | sort -k 1 -n -r | head -3
57048 /usr/lib/ghc-6.12.1/ghc-6.12.1/libHSghc-6.12.1.a
22668 /usr/lib/ghc-6.12.1/Cabal-1.8.0.2/libHSCabal-1.8.0.2.a
21468 /usr/lib/ghc-6.12.1/base-4.2.0.0/libHSbase-4.2.0.0.a
$ dpkg -L ghc6-prof | grep '\.a$' | xargs ls -1ks | sort -k 1 -n -r | head -3
112596 /usr/lib/ghc-6.12.1/ghc-6.12.1/libHSghc-6.12.1_p.a
 33536 /usr/lib/ghc-6.12.1/Cabal-1.8.0.2/libHSCabal-1.8.0.2_p.a
 31724 /usr/lib/ghc-6.12.1/base-4.2.0.0/libHSbase-4.2.0.0_p.a

Bitte beachten Sie, wie groß ist libHSghc-6.12.1_p.a. Die Antwort scheint also statische Verknüpfungs- und Profilversionen für jede Bibliothek da draußen zu sein.

Meine Vermutung - viele, viele statische Verknüpfungen. Jede Bibliothek muss ihre Abhängigkeiten statisch verknüpfen, die wiederum ihre Abhängigkeiten statisch verknüpfen müssen. Und dies alles wird oft sowohl mit als auch ohne Profilerstellung kompiliert, und selbst ohne Profilerstellung werden die Binärdateien nicht entfernt und enthalten daher viele Debugger-Informationen.

Weil es gcc und eine Reihe von Bibliotheken bündelt , die alle statisch verknüpft sind.

Zumindest unter Windows.

Hier ist die Aufschlüsselung der Verzeichnisgröße auf meiner Box:

https://spreadsheets.google.com/ccc?key=0AveoXImmNnZ6dDlQeHY2MmxPcEYzYkpweEtDSS1fUlE&hl=de

Es sieht so aus, als ob das größte Verzeichnis (123 MB) die Binärdateien zum Kompilieren des Compilers selbst sind. Die Dokumente wiegen erstaunliche 65 MB. Der dritte Platz ist Cabal mit 41 MB.

Das bin-Verzeichnis ist 33 MB groß, und ich denke, dass nur eine Teilmenge davon technisch erforderlich ist, um Haskell-Anwendungen zu erstellen.

Die kurze Antwort lautet, dass alle ausführbaren Dateien statisch verknüpft sind, möglicherweise Debug-Informationen enthalten und Bibliotheken in mehreren Kopien enthalten sind. Dies wurde bereits von anderen Kommentatoren gesagt.

Dynamische Verknüpfungen sind möglich und reduzieren die Größe erheblich. Hier ist ein Beispiel Hello.hs:

main = putStrLn "Hello world"

Ich baue mit GHC 7.4.2 unter Windows.

ghc --make -O2gibt Hello.exevon 1105Ks

Laufen stripauf sie verlässt 630K

ghc --make -O2 -dynamic gibt 40K

Das Abziehen lässt nur 13K.

Die Abhängigkeiten sind 5 DLLs mit einer Gesamtgröße von 9,2 MB (nicht entfernt) und 5,7 MB (nicht entfernt).