C共有ライブラリの作成 のバックアップ(No.2)

• バックアップ一覧
• 差分 を表示
• 現在との差分 を表示
• ソース を表示
• C共有ライブラリの作成 へ行く。
  • 1 (2010-12-07 (火) 23:00:29)
  • 2 (2010-12-07 (火) 23:02:04)

概要 †

• OCaml特有の話
  • OCamlの関数を.soなり.dllなりのシンボルとして直接エクスポートすることはできない。 Cの関数でスタブを書く必要がある。
  • OCaml側で, モジュール初期化時に Callback.register 文字列 関数 とすれば 関数を "文字列" という名前でエクスポートできる
  • C側では*caml_named_value(文字列)として関数の名前を取得する。
  • caml_callbackで関数を呼ぶ
• FFI一般の話
  • OCamlランタイムを初期化する必要がある。
  • OCamlの値とCの値の相互変換が必要である。下の例ではVal_int(C→OCaml)とInt_val(OCaml→C)を用いている。 OCamlのint型は31ビット幅であることに注意。

Linuxの場合 †

ライブラリ側ファイル †

• foo.ml

  let succ x = x+1
  let _ = Callback.register "succ" succ

• foostub.h

  int succ_caml(int x);

• foostub.c

  #include <caml/mlvalues.h>
  #include <caml/callback.h>
  #include "foostub.h"
  int succ_caml(int x) {
    return Int_val(caml_callback(*caml_named_value("succ"), Val_int(x)));
  }

コンパイル †

• ocamlcにオプション -output-obj -o libname.so とすれば共有ライブラリが得られる．

  gcc -I/usr/local/lib/ocaml -c foostub.c
  ocamlc -output-obj -o libfoo.so foo.ml foostub.o

プログラム本体 †

• usefoo.c

  #include "foostub.h"
  #include <stdio.h>
  #include <caml/callback.h>
  
  int main(int argc, char** argv) {
    caml_startup(argv);
    printf("%d\n", succ_caml(10));
    return 0;
  }

コンパイル †

• 普通の共有ライブラリとしてリンクして実行。

  gcc -I/usr/local/lib/ocaml -o usefoo libfoo.so usefoo.c

実行 †

$ export LD_LIBRARY_PATH=`pwd`:$LD_LIBRARY_PATH
$ ./usefoo
11