From 6a6069d55f0be157ff177150594fabcbc4b1f283 Mon Sep 17 00:00:00 2001 From: Emilio Jesus Gallego Arias Date: Wed, 16 Sep 2020 22:20:13 +0200 Subject: [gc] Set GC policy as best-fit in OCaml >= 4.10.0 Closes #11277 ; the `space_overhead` parameter has been selected for maximum speedup, in some cases it could also increase memory consumption. Please use `OCAMLRUNPARAM` to tune it and report back your experiments. --- doc/changelog/07-commands-and-options/13040-gc+best_fit.rst | 9 +++++++++ 1 file changed, 9 insertions(+) create mode 100644 doc/changelog/07-commands-and-options/13040-gc+best_fit.rst (limited to 'doc') diff --git a/doc/changelog/07-commands-and-options/13040-gc+best_fit.rst b/doc/changelog/07-commands-and-options/13040-gc+best_fit.rst new file mode 100644 index 0000000000..74818f8464 --- /dev/null +++ b/doc/changelog/07-commands-and-options/13040-gc+best_fit.rst @@ -0,0 +1,9 @@ +- **Changed:** + When compiled with OCaml >= 4.10.0, Coq will use the new best-fit GC + policy, which should provide some performance benefits. Coq's policy + is optimized for speed, but could increase memory consumption in + some cases. You are welcome to tune it using the ``OCAMLRUNPARAM`` + variable and report back setting so we could optimize more. + (`#13040 `_, + fixes `#11277 `_, + by Emilio Jesus Gallego Arias). -- cgit v1.2.3