diff options
| author | coqbot-app[bot] | 2020-11-16 16:52:04 +0000 |
|---|---|---|
| committer | GitHub | 2020-11-16 16:52:04 +0000 |
| commit | 29dc0d5b8951bb467bb2cc473a90e8feaadbb9b8 (patch) | |
| tree | d810f14bebd5da3d0c8e2612e4d0da317c9cb0cd /doc | |
| parent | af96434d2991b9f01f6cd3963ed114b57e40792f (diff) | |
| parent | 6a6069d55f0be157ff177150594fabcbc4b1f283 (diff) | |
Merge PR #13040: [gc] Set GC policy as best-fit in OCaml >= 4.10.0
Reviewed-by: gares
Reviewed-by: ppedrot
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/changelog/07-commands-and-options/13040-gc+best_fit.rst | 9 |
1 files changed, 9 insertions, 0 deletions
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 <https://github.com/coq/coq/pull/13040>`_, + fixes `#11277 <https://github.com/coq/coq/issues/11277>`_, + by Emilio Jesus Gallego Arias). |