Some problems with Ocaml <-> C and GC ...

[Didier PLAINDOUX <didier@ssti.fr>]

Hello,

Actually i connect SP (Sgml parser of J. Clark) to Ocaml.
This connection is based on Ocaml to C and C to Ocaml
callbacks. I use (i hope in a good way) all Caml allocations
in order to "live in harmony" with the GC.

For Example :
|value mkCouple(value left,value right) {
|   CAMLparam2(left,right);
|   CAMLlocal1(_obj);
|   _obj = alloc_tuple(2);
|   Store_field(_obj,0,left);
|   Store_field(_obj,1,right);
|   CAMLreturn _obj;
|};

|value dispatchDTDMessage(value group,value event,DtdElementDefinition*
p_spDtd) {
|   CAMLparam2(group,event);
|   static value * group_call_closure_dtd = NULL;
|   if (group_call_closure_dtd == NULL) {
|      group_call_closure_dtd = caml_named_value("dispatchDTDMessage");
|   };
|   CAMLreturn
callback3(*group_call_closure_dtd,group,event,(value)p_spDtd);
|};

In fact, if after each callback (C -> Ocaml) i do not invocate
Gc.full_major ()
i have a core dumped. In the other case (Gc.full_major () is applied)

| let dispatchDTDMessage (g : ('dtd)groupParserType) (ev : lsdDTDEvent)
(c:spDtd) =
| Gc.full_major ();
| match ev with ...

the computation works and terminate normally ...

For instance, i build a DTD using injective types and if i print this
TERM
on stdout and do DTD comparison (for example) there is no problem.
But if i do not print this TERM in stdout i also have a core dumped as
result !

Gc trace when Verbose = 123 :
| <>Starting new major GC cycle
| allocated_words = 3880
| extra_heap_memory = 3000u
| amount of work to do = 77483u
| Marking 13957 words
| ! Starting new major GC cycle
| Illegal instruction (core dumped)

Thanks for any help ...

Didier