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

Support a worker pool #42511

Closed

wjhuang2016 opened this issue Mar 23, 2023 · 0 comments · Fixed by #42513

Labels

type/enhancement

Member

wjhuang2016 commented Mar 23, 2023 •

edited

Enhancement

We need to support a worker pool that can change workers dynamically by the resource manager.

wjhuang2016 added the type/enhancement label

wjhuang2016 mentioned this issue

resourcemanager: support worker pool #42513

Merged

12 tasks

ti-chi-bot closed this as completed in #42513

ti-chi-bot pushed a commit that referenced this issue


          resourcemanager: support worker pool (#42513)

d3c0756

close #42511

tangenta mentioned this issue

workerpool: add skip register option #42641

Merged

12 tasks

ti-chi-bot pushed a commit that referenced this issue


          workerpool: add skip register option (#42641)

1a4d46d

ref #42511

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment