用GHC编译的小型Haskell程序，转换成巨大的二进制文件

| 甚至很小的Haskell程序也变成了巨大的可执行文件。 我已经编写了一个小程序，该程序已用GHC编译为二进制文件，大小扩展了7 MB！ 哪怕是很小的Haskell程序也可以编译成巨大的二进制文件？ 我可以采取什么措施来减少这种情况？     
2020-01-07 3 条评论
分享

没有找到相关结果

    已邀请:

    掸牛浓疗

    让我们看看发生了什么，尝试 
      $ 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)
    ...
    从“ 1”输出中可以看到，GHC生成了动态链接的可执行文件，但是只有C库是动态链接的！所有Haskell库均逐字复制。 另外：由于这是一个图形密集型应用程序，因此我肯定会用
    ghc -O2
    进行编译 您可以做两件事。 剥离符号 一个简单的解决方案：剥离二进制文件： 
    $ strip A
$ du -hs A
5.8M    A
    Strip会从目标文件中丢弃符号。通常仅在调试时需要它们。 动态链接的Haskell库 最近，GHC获得了对C和Haskell库的动态链接的支持。现在，大多数发行版都发行了GHC版本，该版本旨在支持Haskell库的动态链接。共享的Haskell库可以在许多Haskell程序之间共享，而不必每次都将它们复制到可执行文件中。 在撰写本文时，支持Linux和Windows。 为了允许Haskell库动态链接，您需要使用
    -dynamic
    对其进行编译，如下所示： 
     $ ghc -O2 --make -dynamic A.hs
    另外，您要共享的任何库都应使用
    --enabled-shared
    构建： 
     $ cabal install opengl --enable-shared --reinstall     
 $ cabal install glfw   --enable-shared --reinstall
    最后，您将得到一个更小的可执行文件，该文件具有动态解析的C和Haskell依赖关系。 
    $ 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...
    而且，瞧！ 
    $ du -hs A
124K    A
    您可以剥离以使其更小： 
    $ strip A
$ du -hs A
84K A
    一个讨厌的可执行文件，由许多动态链接的C和Haskell片段构建而成： 
    $ 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 => ...
    最后一点：即使在仅具有静态链接的系统上，也可以使用-split-objs为每个顶级功能获取一个.o文件，这可以进一步减少静态链接库的大小。它需要使用-split-objs构建GHC，有些系统会忘记这样做。     
    2020-01-07 0 0
    分享

    焙恍挝厂熄

    Haskell默认使用静态链接。也就是说，将与OpenGL的整个绑定复制到您的程序中。由于它们很大，因此程序不必要地膨胀。您可以通过使用动态链接来解决此问题，尽管默认情况下未启用它。     
    2020-01-07 0 0
    分享
    为什么被折叠? 0 个回复被折叠

    要回复问题请先登录或注册

    或代码 OrCode.com 备案号：粤ICP备15020848号-1
    Escape time: 0.035558938980103