Почему мой код на C из F # очень медленный (по сравнению с нативным)? - PullRequest
6 голосов
/ 14 марта 2012

Итак, я написал некоторый числовой код на C, но хотел вызвать его из F #.Однако он работает невероятно медленно.

Время:

  • gcc -O3: 4 секунды
  • gcc -O0: 30 секунд
  • fsharp код, которыйвызывает оптимизированный код gcc: 2 минуты 30 секунд.

Для справки, код c:

int main(int argc, char** argv)
{
    setvals(100,100,15,20.0,0.0504);
    float* dmats = malloc(sizeof(float) * factor*factor);
    MakeDmat(1.4,-1.92,dmats); //dmat appears to be correct
    float* arr1 = malloc(sizeof(float)*xsize*ysize);
    float* arr2 = malloc(sizeof(float)*xsize*ysize);
    randinit(arr1);
    for (int i = 0;i < 10000;i++)
    {
            evolve(arr1,arr2,dmats);
            evolve(arr2,arr1,dmats);
            if (i==9999) {print(arr1,xsize,ysize);};
    }
    return 0;
}

Я пропустил реализацию функций.Код F #, который я использую:

open System.Runtime.InteropServices
open Microsoft.FSharp.NativeInterop

[<DllImport("a.dll")>] extern void main (int argc, char* argv)
[<DllImport("a.dll")>] extern void setvals (int _xsize, int _ysize, int _distlimit,float _tau,float _Iex)
[<DllImport("a.dll")>] extern void MakeDmat(float We,float Wi, float*arr)
[<DllImport("a.dll")>] extern void randinit(float* arr)
[<DllImport("a.dll")>] extern void print(float* arr)
[<DllImport("a.dll")>] extern void evolve (float* input, float* output,float* connections)

let dlimit,xsize,ysize = 15,100,100
let factor = (2*dlimit)+1
setvals(xsize,ysize,dlimit,20.0,0.0504)
let dmat = Array.zeroCreate (factor*factor)
MakeDmat(1.4,-1.92,&&dmat.[0])

let arr1 = Array.zeroCreate (xsize*ysize)
let arr2 = Array.zeroCreate (xsize*ysize)
let addr1 = &&arr1.[0]
let addr2 = &&arr2.[0]
let dmataddr = &&dmat.[0]
randinit(&&dmat.[0])
[0..10000] |> List.iter (fun _ ->
    evolve(addr1,addr2,dmataddr)
    evolve(addr2,addr1,dmataddr)
        )

print(&&arr1.[0])

Код F # скомпилирован с оптимизацией.

Является ли моноинтерфейс для вызова кода C действительно очень медленным (почти 8 мс накладных расходов на вызов функции) или я просто делаю что-то глупое?

1 Ответ

11 голосов
/ 14 марта 2012

Похоже, что проблема в том, что вы используете float как на стороне F #, так и на стороне C подписи PInvoke.В F # float действительно System.Double и, следовательно, 8 байтов.В C a float обычно 4 байта.

Если бы это работало под CLR, я бы ожидал, что вы увидите несбалансированную ошибку стека PInvoke во время отладки.Я не уверен, есть ли у Моно подобные проверки или нет.Но возможно, это связано с проблемой, которую вы видите.

...