[Sorry, not read the other replies yet, in meetings all day today]
On Wed, May 31, 2023 at 05:13:58PM +0100, Richard W.M. Jones wrote:
To start with I have opened a discussion topic. We can think about
opening bugs later.
https://discuss.ocaml.org/t/ocaml-heap-fsck-and-forcing-collection-of-unr...
There were some replies to this thread. One open merge request is
notable - it adds compaction back:
https://github.com/ocaml/ocaml/pull/12193
although only for "small" blocks, less than 128 * 8-byte words, which
probably covers everything we do.
It seems like full_major is the way to force freeing of unreachable
objects, in all versions of OCaml.
Rich.
--
Richard Jones, Virtualization Group, Red Hat
http://people.redhat.com/~rjones
Read my programming and virtualization blog:
http://rwmj.wordpress.com
libguestfs lets you edit virtual machines. Supports shell scripting,
bindings from many languages.
http://libguestfs.org