[release/7.0] Gradual decommit in wks#76306

Merged

carlossanlop merged 6 commits intorelease/7.0from

backport/pr-73620-to-release/7.0

Sep 29, 2022

Commits on Sep 28, 2022

Initial version of gradual decommit for WKS.

PeterSolMS
authored and
github-actions
committed
Change decommit_step to take a step_milliseconds parameter - this makes the logic for the WKS decommit more straightforward.

PeterSolMS
authored and
github-actions
committed
Only do decommits at most every 100 milliseconds to limit the number of decommitted regions.

PeterSolMS
authored and
github-actions
committed
Address code review feedback: disable the logic in decommit_ephemeral_segment_pages for WKS, some changes in distribute_free_regions as a consequence.

PeterSolMS
authored and
github-actions
committed
Remove unused static field ephemeral_elapsed.

PeterSolMS
authored and
github-actions
committed
Fix typo in comment.

PeterSolMS
authored and
github-actions
committed