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

Change to more efficient worker termination #1358

Merged
merged 1 commit into from
Nov 21, 2022
Merged

Commits on Nov 21, 2022

  1. Change to more efficient worker termination

    * Before: Mutant would terminate all worker processes in sequence, while
      waiting for each pid to terminate separtae.
      This creates way more context switches than needed and resulted in a
      serial bottleneck.
    * Now mutant signals all worker processes than collects the statuses in
      a secondary loop.
    * Reducing this serial dependency improves mutant exit performance by
      several seconds on a high core cound machine, and is also measurable
      on more regular machines.
    mbj committed Nov 21, 2022
    Configuration menu
    Copy the full SHA
    25f9d8b View commit details
    Browse the repository at this point in the history