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

fix: dirty files detection #105

Merged
merged 6 commits into from
Apr 17, 2024
Merged

fix: dirty files detection #105

merged 6 commits into from
Apr 17, 2024

Conversation

klkvr
Copy link
Member

@klkvr klkvr commented Apr 17, 2024

Follow-up to #104. Right now we detect and remove dirty cache entries in ArtifactsCacheInner::filter which is redundant as we can just do a single iteration over all cached files.

Now file filtering is done in 2 steps:

  1. ArtifactsCacheInner::find_and_remove_dirty detects all dirty entries (even those that are not in scope of current compiler run) and removes them from cache.
  2. ArtifactsCacheInner::filter schedules for compilation all sources for which we are missing artifacts (either because of removed entry or because we never compiled given source with current version)

@klkvr klkvr requested review from DaniPopes and Evalir as code owners April 17, 2024 12:20
Copy link
Member

@mattsse mattsse left a comment

Choose a reason for hiding this comment

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

lgtm

@mattsse mattsse merged commit e8c0901 into main Apr 17, 2024
14 checks passed
@DaniPopes DaniPopes deleted the klkvr/fix-cache branch June 5, 2024 16:58
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