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

tweak local cache cleanup #8738

Merged
merged 1 commit into from
Feb 3, 2021
Merged

tweak local cache cleanup #8738

merged 1 commit into from
Feb 3, 2021

Conversation

garyverhaegen-da
Copy link
Contributor

For various reasons, my attempts at improving the cache cleanup process have been delayed. There are, however, two simple, non-controversial changes I can "backport" without having to wait for consensus on the whole thing:

  1. Increase the threshold. At least for the compat jobs, we have seen builds failing after starting with ~32GB free.
  2. Kill dangling Bazel processes, which keep some files open and sometimes cause the clean-up process to crash.

CHANGELOG_BEGIN
CHANGELOG_END

For various reasons, my attempts at improving the cache cleanup process
have been delayed. There are, however, two simple, non-controversial
changes I can "backport" without having to wait for consensus on the
whole thing:

1. Increase the threshold. At least for the compat jobs, we have seen
   builds failing after starting with ~32GB free.
2. Kill dangling Bazel processes, which keep some files open and
   sometimes cause the clean-up process to crash.

CHANGELOG_BEGIN
CHANGELOG_END
Copy link
Contributor

@cocreature cocreature left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks! I think this might also just be good enough for now. The permission denied issue is annoying, the long wait times haven’t been that big of an issue.

@garyverhaegen-da garyverhaegen-da merged commit 5734730 into main Feb 3, 2021
@garyverhaegen-da garyverhaegen-da deleted the tweak-disk-cleanup branch February 3, 2021 18:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants