Kleines Haskell-Programm, kompiliert mit GHC in riesige Binärdateien

Selbst trivial kleine Haskell-Programme werden zu gigantischen ausführbaren Dateien.

Ich habe ein kleines Programm geschrieben, das (mit GHC) in die Binärdatei mit einer Größe von 7 MB kompiliert wurde!

Was kann dazu führen, dass selbst ein kleines Haskell-Programm in die große Binärdatei kompiliert wird?

Was kann ich tun, um dies zu reduzieren?

Mal sehen, was los ist, versuchen Sie es

  $ du -hs A
  13M   A

  $ file A
  A: ELF 64-bit LSB executable, x86-64, version 1 (SYSV), 
     dynamically linked (uses shared libs), for GNU/Linux 2.6.27, not stripped

  $ ldd A
    linux-vdso.so.1 =>  (0x00007fff1b9ff000)
    libXrandr.so.2 => /usr/lib/libXrandr.so.2 (0x00007fb21f418000)
    libX11.so.6 => /usr/lib/libX11.so.6 (0x00007fb21f0d9000)
    libGLU.so.1 => /usr/lib/libGLU.so.1 (0x00007fb21ee6d000)
    libGL.so.1 => /usr/lib/libGL.so.1 (0x00007fb21ebf4000)
    libgmp.so.10 => /usr/lib/libgmp.so.10 (0x00007fb21e988000)
    libm.so.6 => /lib/libm.so.6 (0x00007fb21e706000)
    ...      

Sie sehen aus der lddAusgabe, dass GHC eine dynamisch verknüpfte ausführbare Datei erstellt hat, aber nur die C-Bibliotheken dynamisch verknüpft sind ! Alle Haskell-Bibliotheken werden wörtlich kopiert.

Nebenbei: Da dies eine grafikintensive App ist, würde ich definitiv mit kompilieren ghc -O2

Sie können zwei Dinge tun.

Symbole entfernen

Eine einfache Lösung: Entfernen Sie die Binärdatei:

$ strip A
$ du -hs A
5.8M    A

Strip verwirft Symbole aus der Objektdatei. Sie werden in der Regel nur zum Debuggen benötigt.

Dynamisch verknüpfte Haskell-Bibliotheken

In jüngerer Zeit hat GHC Unterstützung für die dynamische Verknüpfung von C- und Haskell-Bibliotheken erhalten . Die meisten Distributionen vertreiben jetzt eine Version von GHC, die die dynamische Verknüpfung von Haskell-Bibliotheken unterstützt. Freigegebene Haskell-Bibliotheken können von vielen Haskell-Programmen gemeinsam genutzt werden, ohne sie jedes Mal in die ausführbare Datei zu kopieren.

Zum Zeitpunkt des Schreibens werden Linux und Windows unterstützt.

Damit die Haskell-Bibliotheken dynamisch verknüpft werden können, müssen Sie sie -dynamicwie folgt kompilieren :

 $ ghc -O2 --make -dynamic A.hs

Außerdem sollten alle Bibliotheken, die Sie freigeben möchten, erstellt werden mit --enabled-shared:

 $ cabal install opengl --enable-shared --reinstall     
 $ cabal install glfw   --enable-shared --reinstall

Am Ende erhalten Sie eine viel kleinere ausführbare Datei, deren C- und Haskell-Abhängigkeiten dynamisch aufgelöst werden.

$ ghc -O2 -dynamic A.hs                         
[1 of 4] Compiling S3DM.V3          ( S3DM/V3.hs, S3DM/V3.o )
[2 of 4] Compiling S3DM.M3          ( S3DM/M3.hs, S3DM/M3.o )
[3 of 4] Compiling S3DM.X4          ( S3DM/X4.hs, S3DM/X4.o )
[4 of 4] Compiling Main             ( A.hs, A.o )
Linking A...

Und voilà!

$ du -hs A
124K    A

was Sie abstreifen können, um noch kleiner zu machen:

$ strip A
$ du -hs A
84K A

Eine eensy weensy ausführbare Datei, die aus vielen dynamisch verknüpften C- und Haskell-Stücken aufgebaut ist:

$ ldd A
    libHSOpenGL-2.4.0.1-ghc7.0.3.so => ...
    libHSTensor-1.0.0.1-ghc7.0.3.so => ...
    libHSStateVar-1.0.0.0-ghc7.0.3.so =>...
    libHSObjectName-1.0.0.0-ghc7.0.3.so => ...
    libHSGLURaw-1.1.0.0-ghc7.0.3.so => ...
    libHSOpenGLRaw-1.1.0.1-ghc7.0.3.so => ...
    libHSbase-4.3.1.0-ghc7.0.3.so => ...
    libHSinteger-gmp-0.2.0.3-ghc7.0.3.so => ...
    libHSghc-prim-0.2.0.0-ghc7.0.3.so => ...
    libHSrts-ghc7.0.3.so => ...
    libm.so.6 => /lib/libm.so.6 (0x00007ffa4ffd6000)
    librt.so.1 => /lib/librt.so.1 (0x00007ffa4fdce000)
    libdl.so.2 => /lib/libdl.so.2 (0x00007ffa4fbca000)
    libHSffi-ghc7.0.3.so => ...

Ein letzter Punkt: Selbst auf Systemen mit nur statischer Verknüpfung können Sie -split-objs verwenden , um eine .o-Datei pro Funktion der obersten Ebene abzurufen , wodurch die Größe statisch verknüpfter Bibliotheken weiter reduziert werden kann. Es muss GHC mit -split-objs erstellt werden, was einige Systeme vergessen haben.

Haskell verwendet standardmäßig statische Verknüpfungen. Dies bedeutet, dass die gesamten Bindungen an OpenGL in Ihr Programm kopiert werden. Da sie ziemlich groß sind, wird Ihr Programm unnötig aufgeblasen. Sie können dies umgehen, indem Sie eine dynamische Verknüpfung verwenden, die jedoch standardmäßig nicht aktiviert ist.