7

由于链接器问题，似乎不可能将 Yesod 与 Darcs 库一起使用。我找到了这个问题，需要熟悉 Darcs 内部结构的人提供解决它的提示。

在Yesod应用程序中使用darcs 库时，出现以下错误：

GHCi runtime linker: fatal error: I found a duplicate definition for symbol
   sha256_init
whilst processing object file
   /home/sebfisch/.cabal/lib/darcs-2.9.5/ghc-7.4.2/libHSdarcs-2.9.5.a
This could be caused by:
   * Loading two different object files which export the same symbol
   * Specifying the same object file twice on the GHCi command line
   * An incorrect `package.conf' entry, causing some object to be
     loaded twice.
GHCi cannot safely continue in this situation.  Exiting now.  Sorry.

这似乎是由暴露相同符号的 darcs 和cryptohash库引起的，通过搜索相应的目标文件可以发现：

# for file in `find ~/.cabal/lib/ -name "*.a"`; do (readelf -s $file | grep -i sha256_init) && (echo $file; echo); done
   293: 0000000000000000     0 NOTYPE  GLOBAL DEFAULT  UND sha256_init
    17: 0000000000000690    94 FUNC    GLOBAL DEFAULT    1 sha256_init
~/.cabal/lib/cryptohash-0.7.5/ghc-7.4.2/libHScryptohash-0.7.5.a

    10: 0000000000000290    45 FUNC    GLOBAL DEFAULT    1 sha256_init
~/.cabal/lib/darcs-2.8.2/ghc-7.4.2/libHSdarcs-2.8.2.a

我写了一个测试程序来确认 darcs 和 cryptohash 库有冲突：

import           Crypt.SHA256          (sha256sum)
import           Crypto.Hash.SHA256    (hash)
import           Data.ByteString       (empty)
import qualified Data.ByteString.Char8 as BS

main :: IO ()
main = do
    BS.putStrLn $ hash empty    -- cryptohash
    putStrLn $ sha256sum empty  -- darcs

它无法编译并出现类似错误：

/home/sebfisch/.cabal/lib/cryptohash-0.7.5/ghc-7.4.2/libHScryptohash-0.7.5.a(sha256.o): In function `sha256_update': sha256.c:(.text+0x4b0): multiple definition of `sha256_update'
/home/sebfisch/.cabal/lib/darcs-2.8.2/ghc-7.4.2/libHSdarcs-2.8.2.a(sha2.o):sha2.c:(.text+0xf90): first defined here
/home/sebfisch/.cabal/lib/cryptohash-0.7.5/ghc-7.4.2/libHScryptohash-0.7.5.a(sha256.o): In function `sha224_update': sha256.c:(.text+0x640): multiple definition of `sha224_update'
/home/sebfisch/.cabal/lib/darcs-2.8.2/ghc-7.4.2/libHSdarcs-2.8.2.a(sha2.o):sha2.c:(.text+0xbb0): first defined here
/home/sebfisch/.cabal/lib/cryptohash-0.7.5/ghc-7.4.2/libHScryptohash-0.7.5.a(sha256.o): In function `sha256_init': sha256.c:(.text+0x690): multiple definition of `sha256_init'
/home/sebfisch/.cabal/lib/darcs-2.8.2/ghc-7.4.2/libHSdarcs-2.8.2.a(sha2.o):sha2.c (.text+0x290): first defined here
/home/sebfisch/.cabal/lib/cryptohash-0.7.5/ghc-7.4.2/libHScryptohash-0.7.5.a(sha256.o): In function `sha224_init': sha256.c:(.text+0x6f0): multiple definition of `sha224_init'
/home/sebfisch/.cabal/lib/darcs-2.8.2/ghc-7.4.2/libHSdarcs-2.8.2.a(sha2.o):sha2.c (.text+0x620): first defined here
collect2: ld returned 1 exit status

加密哈希库是yesod-static所必需的，在编写 Yesod 应用程序时不能轻易避免。如何在同一个应用程序中使用 Yesod 和 Darcs（作为库）？

从一个库中删除重复的符号会有所帮助吗？两个包都通过 FFI 访问散列函数，但使用不同的文件。

来自darcs/Crypt.SHA256：

foreign import ccall unsafe "sha2.h sha256" c_sha256
    :: Ptr CChar -> CSize -> Ptr Word8 -> IO ()

从cryptohash/Crypto.Hash.SHA256：

foreign import ccall unsafe "sha256.h sha256_init"
    c_sha256_init :: Ptr Ctx -> IO ()

foreign import ccall "sha256.h sha256_update"
    c_sha256_update :: Ptr Ctx -> CString -> Word32 -> IO ()

foreign import ccall unsafe "sha256.h sha256_finalize"
    c_sha256_finalize :: Ptr Ctx -> CString -> IO ()

另一个想法是重写 Darcs 以不使用它自己的散列函数。如何重新实现 Darcs 的SHA256模块以使用 cryptohash？我的测试程序的函数中的两个语句main没有给出相同的输出（通过注释掉另一个语句进行测试），因此在 Darcs 中使用 cryptohash 似乎并不完全简单。

4

1 回答 1

4

darcs 哈希输出只是加密哈希输出的 base16 编码版本。看起来base16-bytestring是弥补这一差距的一种方法。我试过了，Crypt.SHA256 变得如此简单：

module Crypt.SHA256 ( sha256sum ) where

import Crypto.Hash.SHA256 ( hash )
import Data.ByteString ( ByteString )
import Data.ByteString.Base16 ( encode )
import Data.ByteString.Char8 ( unpack )

sha256sum :: ByteString -> String
sha256sum = unpack . encode . hash

事实上，hashed-storage包也有一份 sha2.c 并通过重命名符号解决了这个问题。所以对 darcs 2.8 最简单的快速修复是从 hashed-storage复制sha2.h和sha2.chashed_storage_ ，在两个文件中替换为darcs_，并将 darcs 中 src/Crypt/SHA256.hs 中的 FFI 导入更改为：

foreign import ccall unsafe "sha2.h darcs_sha256" c_sha256
    :: Ptr CChar -> CSize -> Ptr Word8 -> IO ()

如果对您有所帮助，我很乐意发布带有此更改的 darcs 2.8.3。对于 2.10，我将切换到使用上面的 cryptohash，因为我看不出有任何理由继续使用本地 C 版本，而且通常在 darcs 中，我们正试图摆脱公共代码的私有实现。

编辑：我最初认为散列存储也会有同样的问题，但我错了（回想起来很明显，如果不是因为重命名，它会与 darcs 本身发生冲突）。

于 2012-11-02T00:46:59.083 回答