Skip to content

Make the runtime library disk cache best-effort.#869

Merged
maleadt merged 1 commit into
mainfrom
tb/fix_runtime_race
Jul 9, 2026
Merged

Make the runtime library disk cache best-effort.#869
maleadt merged 1 commit into
mainfrom
tb/fix_runtime_race

Conversation

@maleadt

@maleadt maleadt commented Jul 9, 2026

Copy link
Copy Markdown
Member

The cache directory is shared across processes and can be deleted at any point (e.g. by reset_runtime()), racing concurrent compilation.

Hopefully fixes a crash seen on CUDA.jl CI.
Won't be relevant anymore soon, after #794 the runtime is managed by Julia, but let's still fix this for now.

The cache directory is shared across processes and can be deleted at any
point (e.g. by `reset_runtime()`), racing concurrent compilation.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
@maleadt maleadt merged commit a17a5b3 into main Jul 9, 2026
32 of 37 checks passed
@maleadt maleadt deleted the tb/fix_runtime_race branch July 9, 2026 13:25
@codecov

codecov Bot commented Jul 9, 2026

Copy link
Copy Markdown

Codecov Report

❌ Patch coverage is 90.90909% with 1 line in your changes missing coverage. Please review.
✅ Project coverage is 80.06%. Comparing base (318b07e) to head (c6d9dc6).
⚠️ Report is 1 commits behind head on main.

Files with missing lines Patch % Lines
src/rtlib.jl 90.90% 1 Missing ⚠️
Additional details and impacted files
@@            Coverage Diff             @@
##             main     #869      +/-   ##
==========================================
+ Coverage   80.02%   80.06%   +0.04%     
==========================================
  Files          25       25              
  Lines        4805     4810       +5     
==========================================
+ Hits         3845     3851       +6     
+ Misses        960      959       -1     

☔ View full report in Codecov by Harness.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

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.

1 participant