Ocaml DLL and memory leaks

Ocaml DLL and memory leaks

[Dmitry Bely]

I have an Ocaml module packed into DLL that is dynamically loaded by
the main C program. What should I do to free all memory taken by Ocaml
runtime when the DLL is unloaded? The following scenario does not
work:

  [...]
  case DLL_PROCESS_ATTACH:
    [...]
    caml_startup(argv);
    break;

  case DLL_PROCESS_DETACH:
    value* at_exit = caml_named_value("Pervasives.do_at_exit");
    if (at_exit != NULL) caml_callback_exn(*at_exit, Val_unit);
    value* compact = caml_named_value("Gc.compact");
    if (compact != NULL) caml_callback_exn(*compact, Val_unit);
    /* Memory leak! */

Any idea?

- Dmitry Bely

Re: [Caml-list] Ocaml DLL and memory leaks

[Xavier Leroy]

> I have an Ocaml module packed into DLL that is dynamically loaded by
> the main C program. What should I do to free all memory taken by Ocaml
> runtime when the DLL is unloaded?

This si not possible currently.  I agree the OCaml runtime system
should one day provide a cleanup function to do this.

Regards,

- Xavier Leroy

Re: [Caml-list] Ocaml DLL and memory leaks

[Dmitry Bely]

On 5/10/07, Xavier Leroy <Xavier.Leroy@inria.fr> wrote:
> > I have an Ocaml module packed into DLL that is dynamically loaded by
> > the main C program. What should I do to free all memory taken by Ocaml
> > runtime when the DLL is unloaded?
>
> This is not possible currently.  I agree the OCaml runtime system
> should one day provide a cleanup function to do this.

It turned out that at least for Microsoft C runtime things are not
that bad. If you statically link CRT, it will clean up all resources
itself.

- Dmitry Bely