Jak wymusić GHC na wywoływanych wywołaniach FFI?

Question

Zrobiłem mały moduł C, aby poprawić wydajność, ale GHC nie inline funkcji inline, a koszty połączeń eliminuje przyspieszenie. Przykładowo test.h:

int inc (int x); 

test.c:

#include "test.h" 
int inc(int x) {return x + 1;} 

Test.hc:

{-# LANGUAGE ForeignFunctionInterface #-} 
module Test (inc) where 
import Foreign 
import Foreign.C 
foreign import ccall unsafe "test.h inc" c_inc :: CInt -> CInt 
inc = fromIntegral . c_inc . fromIntegral 
{-# INLINE c_inC#-} 
{-# INLINE inC#-} 

Main.hs:

import System.Environment 
import Test 
main = do {args <- getArgs; putStrLn . show . inc . read . head $ args } 

Making:

$ gcc -O2 -c test.c 
$ ghc -O3 test.o Test.hs 
$ ghc --make -O3 test.o Main 
$ objdump -d Main > Main.as 

Wreszcie w Main.as mam callq <inc> instrukcji zamiast pożądanych inc wieku.

Answer 1

GHC nie będzie wstawiał kodu C poprzez jego backend asm lub backend LLVM. Zazwyczaj będziesz wywoływał C tylko ze względu na wydajność, jeśli to, co dzwonisz, naprawdę kosztuje dużo. Inkrementacja int nie jest czymś, co mamy już za sobą.

Teraz, jeśli zadzwonisz przez C, możesz uzyskać GCC do wstawiania rzeczy (sprawdź wygenerowany zespół).

Teraz jednak istnieje kilka rzeczy, które możesz zrobić już, aby zminimalizować koszt połączenia:

foreign import ccall unsafe "test.h inc" c_inc :: CInt -> CInt 

inc = fromIntegral . c_inc . fromIntegral 

Podaj rodzaj podpisu dla inc. Płacisz cenne cykle, przeliczając tutaj na Integer.

Oznacz rozmowę jako "niebezpieczną", tak jak robisz, aby środowisko wykonawcze nie zostało zakodowane przed wywołaniem.

Zmierz obciążenie połączenia FFI - powinno być w nanosekundach. Jeśli jednak uznasz to za zbyt drogie, możesz write a new primop and jump to it directly. Ale lepiej najpierw mieć numery criterion.