一言で言うと、「マニュアル http://caml.inria.fr/pub/docs/manual-ocaml/manual033.html の通りにやれ、それ以外のことをするな」に尽きます。
OCaml の GC タイミングにより、プログラムの全く関係ない所で プログラムがクラッシュします。これは解析、テストが大変に難しい。
対処療法として OCaml のテストプログラムから C関数を何百万回も呼び出し、その都度 GC を強制的に掛ければ問題の早期発見ができる、かも、しれませんが、 されないこともあるわけです。そもそも何百万回も呼び出すには コストがかかりすぎる場合もある。
ですから兎に角バクを入れない、つまりマニュアルに沿って書く、 ことが必要になります。
兎に角マニュアル 19.5 を完全理解しないうちは OCaml-C interface を書いてはダメ。
- Simple interface で使える関数は 19.4.4 の Simple interface にある
- Rule 2 Local variables of type value must be declared with one of the CAMLlocal macros. Arrays of values are declared with CAMLlocalN. These macros must be used at the beginning of the function, not in a nested block. 配列の初期化などでついローカルブロックを使ってから
CAMLlocalnを宣言したくなるが、してはいけない。 - Simple interface で確保した
valueに対してField(b, n) = vと書いてはいけない。Store_field(b, n, v)と書く。
- Low-level interface で使える関数は 19.4.4 の Low-level interface にある
- Low-level function で確保した
valueは、次の allocation が起こる前に必ず正しい値でフィールドが埋まっていなければならない。例えば、caml_alloc_smallした場合次の allocation が起こる前にフィールドを初期化せねばならない。 一方、Simple interface のcaml_allocはフィールドは 0 クリアされているので問題ない。 - Low-level function で確保した
valueのフィールド初期化はField(b, n) = vで行う。Store_field(b, n, v)を使ってはいけない。既に初期化されているフィールドを変更する場合にはcaml_modify(&Field(b, n), v)を使う。
CAMLparam と CAMLlocal で受け取った/作った value は
simple でも low-level でもアクセスしてよいが、一度どちらかで始めたら
混ぜてはいけない。
じゃあ、 simple interface だけ使う。
caml_alloc_small,caml_alloc_shrは使わないField(b, n) = vとcaml_modify(&Field(b,n), v)は使わない。Store_field(b, n, v)を使う。