macos - 从 Rust 调用动态链接的 Haskell 代码

Question

我正在尝试用一些 Haskell 代码编译一些 Rust 代码。我有一个测试系统设置了一个文件，Fibonacci.hs 有一个函数，它在 Haskell 中计算斐波那契数，并通过 Haskell 的 FFI 将函数导出为 fibonacci_hs(如下所示: https://github.com/nh2/haskell-from-python ，尽管我将复制并粘贴到底部)，并且在 wrapper.c 中定义了要导出的函数，以便在初始化和退出 Haskell 的 RTS 时调用。

代码如下所示:

{- Fibonacci.hs -}
{-# LANGUAGE ForeignFunctionInterface #-}

module Fibonacci where

import Foreign.C.Types

fibonacci :: Int -> Int
fibonacci n = fibs !! n
    where fibs = 0 : 1 : zipWith (+) fibs (tail fibs)

fibonacci_hs :: CInt -> CInt
fibonacci_hs = fromIntegral . fibonacci . fromIntegral

foreign export ccall fibonacci_hs :: CInt -> CInt

---

// wrapper.c

#include <stdlib.h>
#include "HsFFI.h"

void
example_init (void)
{
  hs_init (NULL, NULL);
}

void
example_exit (void)
{
  hs_exit ();
}

我通过以下方式编译这些:

ghc -c -dynamic -fPIC Fibonacci.hs

ghc -c -dynamic -fPIC wrapper.c

然后我通过以下方式将对象链接到共享/动态库(稍后会详细介绍):

ghc -o libfibonacci.so -shared -dynamic -fPIC Fibonacci.o wrapper.o -lHSrts

从链接存储库运行 Python 示例代码时，它在我的 Mac 上运行得很好，但我无法将它与 Rust 链接。

在 Rust 中，我的代码看起来像这样:

//main.rs
#[link(name = "fibonacci")]
extern {
    fn fibonacci_hs (n : i32); // c_int = i32
    fn fib_init (); // start hs rts
    fn fib_exit (); // kill hs rts
}

fn main () {
    unsafe {
        fib_init();
        for i in 0..100 {
            println!("{:?}th fibonacci : {:?}", i, fibonacci_hs(i));
        }
        fib_exit();
    }
}

然后我用 rustc main.rs -L 编译。(因为共享库文件是本地的)。

我在 Mac 上生成的错误，当使用动态库编译时.rs -L . ) 在运行时:

dyld: Symbol not found: _ffi_call
  Referenced from: ./libfibonacci.so
  Expected in: flat namespace
 in ./libfibonacci.so
Trace/BPT trap: 5

提前感谢您的帮助。

Answer 1

当您编译共享库时，看起来您还需要链接到 libffi:

ghc -o libfibonacci.dylib -shared -dynamic -fPIC \
  Fibonacci.hs wrapper.c -lHSrts -lffi

我通过进入我的 GHC 库目录 (/usr/local/lib/ghc-7.10.1/rts) 推断出这一点，然后搜索符号 ffi_call :

$ grep -lRa ffi_call .
./include/ffi.h
./rts/libHSrts-ghc7.10.1.dylib
...

然后我使用 nm 找到它所在的确切库:

for i in *dylib; do
   if nm $i | grep -q 'T.*ffi_call'; then
       echo "== $i";
   fi;
done

然后我可以运行:

DYLD_LIBRARY_PATH='.' ./main

不幸的是，您的代码似乎不太正确，因为我只得到一堆空元组。您忘记了函数的返回类型，然后遇到一个问题，即第 46 次左右的斐波那契数对于 u32 来说太大了。

此外，您应该使用 libc 包中的类型，在这里使用 u64 可能是最安全的。

我已经使用 Homebrew 安装了 GHC 7.10.1，但希望相同的模式可以在其他地方使用。