Ocaml: segfault в GC при использовании настраиваемого блока, содержащего указатель C

Question

Я пытаюсь создать привязку между библиотекой C и программой Ocaml. Я столкнулся с проблемой при взаимодействии с Gc. Я сделал небольшую программу для дублирования моей проблемы. Цель состоит в том, чтобы передать custom_block, выделенный в программе C, и содержащий указатель на структуру C основной программе в Ocaml. Затем я пытаюсь использовать его (просто распечатать значение в примере) перед очисткой (я принудительно вызываю вызов 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); 
} 

Makefile

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, но я не смог извлечь больше смысла из трассы.

С БГД, ошибка находится в 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

Благодарим Вас за помощь

Answer 1

Ваш print_block функция использует CAMLparam1() поэтому он должен вернуться с CAMLreturn0. Я не уверен, что это твоя проблема, это то, что я заметил. Но это может быть проблема.