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.

Sign up for GitHub

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

Jump to bottom

make the pruning of thread pools a public API #761

Closed
wants to merge 1 commit into from
Closed

make the pruning of thread pools a public API #761

wants to merge 1 commit into from

Commits on Feb 27, 2019

  1. make the pruning of thread pools a public API 

    This makes the pruning of thread pools a public API, which may
or may not be a no-op, depending on the underlying thread pool
implementation.

It also reworks the Ruby implementation to be more aggressive in
the pruning - it will kill all to-be-pruned threads in one call
instead of doing them one by one. Moreover, workers do not get
woken up to check for their idleness anymore, the thread of the
caller does it instead.
    @doudou
    doudou committed Feb 27, 2019
    Configuration menu
    Copy the full SHA
    7e83fbf View commit details
    Browse the repository at this point in the history