Ocaml：在使用包含C指针的自定义块时GC上的段错误

我正尝试在C库和Ocaml程序之间创建一个绑定。与Gc连接时遇到问题。我做了一个小程序来复制我的问题。目标是将在C程序中分配的一个custom_block传递给Ocaml中的主程序，并在C结构中包含一个指针。然后，我正在尝试使用它（只是在示例中打印一个值），然后清洗（我强制呼叫GC）。Ocaml：在使用包含C指针的自定义块时GC上的段错误

在下面的ocaml主程序中，我可以注释行“my_print_block”或行“Gc.compact（）”，一切工作正常。指针的地址是正确的，我可以打印的值和调用析构函数释放C分配的指针。但是，当这两个激活时，我得到一个分段错误。

Mail.ml

type ptr 

external create_block: String.t -> ptr = "create_block" 
external print_block: ptr -> unit  = "print_block" 

let my_print_block x :unit = 
    print_block x; 
() 

let main() = 
     let z = create_block "2.4" in 
     let _ = my_print_block z in 
     let() = Gc.compact() in 
     () 

let _ = main()

Interface.c

#include <caml/mlvalues.h> 
#include <caml/memory.h> 
#include <caml/alloc.h> 
#include <caml/custom.h> 
#include <stdio.h> 
#include <stdlib.h> 
#include <string.h> 

struct foo 
{ 
     float x; 
}; 

void local_destroy(value v) 
{ 
     struct foo* p = *((struct foo**)Data_custom_val(v)); 
     printf("freeing p now (%p)\n with *p=%f \n", p, p->x ); 
     fflush(stdout); 
     free(p); 
} 

static struct custom_operations ops = { 
     "ufpa custom_operations", 
     local_destroy, 
     custom_compare_default,  //default function, should not be used 
     custom_hash_default,  //default function, should not be used 
     custom_serialize_default, //default function, should not be used 
     custom_deserialize_default, //default function, should not be used 
     custom_compare_ext_default //default function, should not be used 
}; 

void print_block(value type_str) 
{ 
     CAMLparam1(type_str); 
     struct foo* p = *((struct foo**)Data_custom_val(type_str)); 
     printf("value float = %f\n", p->x); 
} 
CAMLprim value create_block(value type_str) 
{ 
     CAMLparam1(type_str); 
     //retrieving str and creating a float value 
     char* fval = String_val(type_str); 
     float val = atof(fval); 

     //creating and allocating a custom_block 
     CAMLlocal1(res); 
     res = alloc_custom(&ops, sizeof(struct foo*), 10, 100); 

     //creating and allocating a struct pointer 
     struct foo* ptr = malloc(sizeof(struct foo)); 
     printf("allocating : %p\n", ptr); 
     ptr->x = val; 

     //copying the pointer itself in the custom block 
     memcpy(Data_custom_val(res), &ptr, sizeof(struct foo*)); 
     CAMLreturn(res); 
}

生成文件

main.native: interface.c main.ml 
     rm -rf _build 
     rm -f main.native main.byte 
     ocamlbuild -cflags -g interface.o 
     ocamlbuild -lflag -custom -cflags -g -lflags -g main.byte -lflags interface.o 
     #ocamlbuild -cflags -g -lflags -g main.native -lflags interface.o

随着ocamldebug，程序似乎在my_print_block上崩溃，但我无法从跟踪中提取更多的意义。

用gdb，误差位于GC

#0 0x000000000040433d in caml_oldify_one() 
#1 0x0000000000406060 in caml_oldify_local_roots() 
#2 0x000000000040470f in caml_empty_minor_heap() 
#3 0x00000000004141ca in caml_gc_compaction() 
#4 0x000000000041bfd0 in caml_interprete() 
#5 0x000000000041df48 in caml_main() 
#6 0x000000000040234c in main()

我见过几个例子，我看了一下C绑定的文档在https://caml.inria.fr/pub/docs/manual-ocaml/intfc.html但我不图什么，我做错了。我使用ocaml的version4.04.0 + flambda

谢谢您的帮助

来源

2017-01-30 Quentin baduel