如果我想调用多个C函数，每个函数都依赖于前一个函数的结果，那么创建一个包装器C函数来处理这三个调用是否更好？与使用Haskell FFI而不转换类型相比，它会花费相同的代价吗？
假设我有以下Haskell代码：
foo :: CInt -> IO CInt
foo x = do
a <- cfA x
b <- cfB a
c <- cfC c
return c
每个函数cf*都是一个C调用。
从性能的角度来看，创建一个单独的C函数如cfABC，然后在Haskell中只进行一次外部调用会更好吗？
int cfABC(int x) {
int a, b, c;
a = cfA(x);
b = cfB(a);
c = cfC(b);
return c;
}
Haskell 代码：
foo :: CInt -> IO CInt
foo x = do
c <- cfABC x
return c
如何测量从Haskell调用C的性能开销？不是C函数本身的开销，而是从Haskell到C再返回时所产生的“上下文切换”的开销。
{-# LANGUAGE ForeignFunctionInterface #-}
module Main (main) where
import Criterion.Main
import Foreign.C.Types
import Control.Monad
foreign import ccall safe "funcs.h cfA" c_cfA :: CInt -> IO CInt
foreign import ccall safe "funcs.h cfB" c_cfB :: CInt -> IO CInt
foreign import ccall safe "funcs.h cfC" c_cfC :: CInt -> IO CInt
foreign import ccall safe "funcs.h cfABC" c_cfABC :: CInt -> IO CInt
wrap :: (CInt -> IO CInt) -> Int -> IO Int
wrap foo arg = fmap fromIntegral $ foo (fromIntegral arg)
cfabc = wrap c_cfABC
foo :: Int -> IO Int
foo = wrap (c_cfA >=> c_cfB >=> c_cfC)
main :: IO ()
main = defaultMain
[ bench "three calls" $ foo 16
, bench "single call" $ cfabc 16
]
当所有的C函数只返回参数时，单个包装调用的平均值略高于100纳秒[105-112]，而三个独立调用的平均值约为300纳秒[290-315]。
因此，一个安全的c调用大约需要100纳秒，通常将它们封装成单个调用更快。但是，如果被调用的函数执行了一些足够复杂的操作，这种差异就不会产生影响。
unsafe 调用会停止所有其他的 Haskell 线程。你知道为什么吗？ - Thiago Negri-threaded链接，则safe外部调用将停止所有其他Haskell线程。我不明白为什么一个unsafe的外部调用（令人困惑的是，这意味着调用它是安全的，因为它不需要任何预防措施）会这样做。 - Daniel Fischerunsafe调用无法被抢先，因为它被内联到运行时系统中。因此，只有在此调用返回之前，运行时系统才能向另一个Haskell线程转移控制权。而且，当没有线程可用于进行外部调用并保持Haskell RTS调度程序运行时，safe调用可能会打开一个新的操作系统线程。 - Thiago NegriforkOS的文档中写道：“为了允许进行外部调用而不阻塞所有Haskell线程（使用GHC），在链接程序时只需要使用-threaded选项，并确保外部导入未标记为unsafe即可。”（我强调）。我仍然不知道为什么在原则上RTS不能同时运行具有unsafe调用的其他线程，但至少GHC的实现不能。一个unsafe的外部调用无法被抢占，因为GHC的调度程序只有在线程分配时才会介入，而unsafe调用不会分配（就GHC而言）。 - Daniel Fischer这可能非常取决于您的Haskell编译器、C编译器以及将它们绑定在一起的粘合剂。唯一确定的方法是进行测量。
从更哲学的角度来看，每次混合语言都会为新手创建障碍：在这种情况下，仅精通Haskell和C是不够的（这已经给出了一个狭窄的集合），而且您还必须足够了解调用约定等内容才能使用它们。许多时候需要处理微妙的问题（即使从非常相似的语言C++中调用C也并不是那么容易）。除非有非常充分的理由，否则我会坚持使用单一语言。我能想到的唯一例外是为了创建例如Haskell绑定到现有复杂库的情况，类似于Python的NumPy。
foreign ccall unsafe（其中unsafe是关键）基本上和内联C函数调用一样便宜。 然而，在使用unsafe时必须非常小心，而安全变体（foreign ccall）成本更高并涉及锁定。 - gsprdouble x，返回sin(x)*sin(x)*cos(x)/2.0。我使用GCC 4.7.2和-O2编译它。基准测试将其用100000000个不同的参数从0到pi / 2调用，并汇总结果。使用“foreign ccall”大约需要9.6秒，而使用“foreign ccall unsafe”需要4.6秒。从实际的C程序中调用它所需的运行时间为4.4-4.5秒。这至少可以让你有一个想法。Haskell代码是使用GHC 7.4.2编译的。 - gspr