使用 FFI 导入编译的 Haskell 库在导入 GHCI 时无效

Question

我在 Ubuntu 10.04 中使用 GHC 6.12.1

当我尝试使用 FFI 语法进行静态存储时，只有在解释模式（即 GHCI）下运行的模块才能正常工作。编译的模块具有无效指针，并且不起作用。我想知道是否有人可以重现该问题，这是否是我的代码或 GHC 中的错误，以及（如果是后者）这是否是一个已知问题。

我使用 sys_siglist 是因为它存在于我系统上的标准库中，但我不认为实际使用的存储很重要（我在编写 libidn 的绑定时发现了这一点）。如果有帮助，sys_siglist 在 中定义为：

extern __const char *__const sys_siglist[_NSIG];

我认为这种类型可能是问题所在，所以我也尝试将其包装在普通的 C 过程中：

#include<stdio.h>
const char **test_ffi_import()
{
    printf("C think sys_siglist = %X\n", sys_siglist);
    return sys_siglist;
}

但是，导入不会改变结果，并且 printf() 调用会打印与 show siglist_a 相同的指针值。

我怀疑这与静态和动态库加载有关。

更新：#haskell 中的某人建议这可能是 64 位特定的；如果有人尝试复制它，你能在评论中提到你的架构以及它是否有效吗？

代码如下：

-- A.hs
{-# LANGUAGE ForeignFunctionInterface #-}
module A where
import Foreign
import Foreign.C

foreign import ccall "&sys_siglist"
    siglist_a :: Ptr CString

--

-- B.hs
{-# LANGUAGE ForeignFunctionInterface #-}
module B where
import Foreign
import Foreign.C

foreign import ccall "&sys_siglist"
    siglist_b :: Ptr CString

--

-- Main.hs
{-# LANGUAGE ForeignFunctionInterface #-}
module Main where
import Foreign
import Foreign.C
import A
import B

foreign import ccall "&sys_siglist"
    siglist_main :: Ptr CString

main = do
    putStrLn $ "siglist_a    = " ++ show siglist_a
    putStrLn $ "siglist_b    = " ++ show siglist_b
    putStrLn $ "siglist_main = " ++ show siglist_main

    peekSiglist "a   " siglist_a
    peekSiglist "b   " siglist_b
    peekSiglist "main" siglist_main

peekSiglist name siglist = do
    ptr <- peekElemOff siglist 2
    str <- maybePeek peekCString ptr
    putStrLn $ "siglist_" ++ name ++ "[2] = " ++ show str

我期望类似这样的输出，其中所有指针值相同且有效：

$ runhaskell Main.hs 
siglist_a    = 0x00007f53a948fe00
siglist_b    = 0x00007f53a948fe00
siglist_main = 0x00007f53a948fe00
siglist_a   [2] = Just "Interrupt"
siglist_b   [2] = Just "Interrupt"
siglist_main[2] = Just "Interrupt"

但是，如果我编译 A.hs （使用 ghc -c A.hs ），那么输出更改为：

$ runhaskell Main.hs 
siglist_a    = 0x0000000040378918
siglist_b    = 0x00007fe7c029ce00
siglist_main = 0x00007fe7c029ce00
siglist_a   [2] = Nothing
siglist_b   [2] = Just "Interrupt"
siglist_main[2] = Just "Interrupt"

Answer 1

您遇到了此错误。使用 -fPIC 编译代码来解决该问题。

Answer 2

我无法在 Linux x86 上使用 6.10.4 或 6.12.1 重现此问题。 （请编辑您的问题以确认您看到的架构是 x86-64）

[tommd@Mavlo Test]$ ghc-6.12.1 --make irc.hs
[1 of 3] Compiling B                ( B.hs, B.o )
[2 of 3] Compiling A                ( A.hs, A.o )
[3 of 3] Compiling Main             ( irc.hs, irc.o )
Linking irc ...
[tommd@Mavlo Test]$ ./irc
siglist_a    = 0x080ab4c0
siglist_b    = 0x080ab4c0
siglist_main = 0x080ab4c0
siglist_a   [2] = Just "Interrupt"
siglist_b   [2] = Just "Interrupt"
siglist_main[2] = Just "Interrupt"
[tommd@Mavlo Test]$ ghc-6.10.4 irc.hs --make
[1 of 3] Compiling A                ( A.hs, A.o )
[2 of 3] Compiling B                ( B.hs, B.o )
[3 of 3] Compiling Main             ( irc.hs, irc.o )
Linking irc ...
[tommd@Mavlo Test]$ ./irc
siglist_a    = 0x0809ec80
siglist_b    = 0x0809ec80
siglist_main = 0x0809ec80
siglist_a   [2] = Just "Interrupt"
siglist_b   [2] = Just "Interrupt"
siglist_main[2] = Just "Interrupt"