Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

fix bad behaviour of caml_alloc_custom_mem #12318

Merged
merged 9 commits into from Nov 13, 2023

Commits on Oct 20, 2023

  1. Configuration menu
    Copy the full SHA
    1ce30c7 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    ab63129 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    9ae9928 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    26ebc3d View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    7b2c759 View commit details
    Browse the repository at this point in the history
  6. alloc_custom_mem: do not convert memory size to heap proportion and l…

    …ater back to work units using a different heap size. When the heap is growing, this unduly accelerates the major GC, slowing down the program.
    damiendoligez committed Oct 20, 2023
    Configuration menu
    Copy the full SHA
    a7cd0c6 View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    7ae91bc View commit details
    Browse the repository at this point in the history

Commits on Nov 10, 2023

  1. Move the computation of max_major back to custom.c and call this

    computation from adjust_gc_speed whenever max = 0.
    This streamlines alloc_custom_gen and fixes a bug reported by @gasche.
    damiendoligez committed Nov 10, 2023
    Configuration menu
    Copy the full SHA
    e27a6a3 View commit details
    Browse the repository at this point in the history

Commits on Nov 13, 2023

  1. Configuration menu
    Copy the full SHA
    c49bf68 View commit details
    Browse the repository at this point in the history