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

Add user-wide cache goal #50

Merged
merged 6 commits into from
Jul 17, 2024
Merged
Changes from 1 commit
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
121 changes: 121 additions & 0 deletions src/2024h2/user-wide-cache.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,121 @@
# User-wide build cache

| Metadata | |
| -------- | ------------------------------------------------------------ |
| Owner(s) | ![Help wanted][] |
| Teams | [cargo] |
| Status | Orphaned |
nikomatsakis marked this conversation as resolved.
Show resolved Hide resolved

## Summary

Extend Cargo's caching of intermediate artifacts across a workspace to caching them across all workspaces of the user.

## Motivation

The primary goal of this effort is to improve build times by reusing builds across projects.

Secondary goals are
- Reduce disk usage
- More precise cross-job caching in CI

### The status quo

When Cargo performs a build, it will build the package you requested and all
dependencies individually, linking them in the end.
These build results (intermediate build artifacts) and the linked result (final
build artifact) are stored in the target-dir, which is per-workspace by
default.

Ways cargo will try to reuse builds today:
- On a subsequent build, Cargo tries to reuse these build results by
"fingerprinting" the inputs to the prior build and checking if that
fingerprint has changed.
- When dependencies are shared by host (`build.rs`, proc-macros) and
platform-target and the platform-target is the host, Cargo will attempt to
share host/target builds

Some users try to get extra cache reuse by assigning all workspaces to use the same target-dir.
- Cross-project conflicts occur because this shares both intermediate (generally unique) and final build artifacts (might not be unique)
- `cargo clean` will clear the entire cache for every project
- Rebuild churn from build inputs, like `RUSTFLAGS`, that cause a rebuild but aren't hashed into the file path

In CI, users generally have to declare what directory is should be cached between jobs.
This directory will be compressed and uploaded at the end of the job.
If the next job's cache key matches, the tarball will be downloaded and decompressed.
If too much is cached, the time for managing the cache can dwarf the benefits of the cache.
Some third-party projects exist to help manage cache size.

### The next 6 months

Add support for user-wide intermediate artifact caching
- Re-work target directory so each intermediate artifact is in a self-contained directory
- Develop and implement transition path for tooling that accesses intermediate artifacts
- Adjust `cargo build` to
- Hash all build inputs into a user-wide hash key
- If hash key is present, use the artifacts straight from the cache, otherwise build it and put it in the cache
- Limit this immutable packages ("non-local" in cargo terms, like Registry, git dependencies)
- Limit this to idempotent packages (can't depend on proc-macro, can't have a `build.rs`)
- Track intermediate build artifacts for garbage collection
- Explore
- Idempotence opt-ins for `build.rs` or proc-macros until sandboxing solutions can determine the level of idempotence.
- a CLI interface for removing anything in the cache that isn't from this CI job's build, providing more automatic CI cache management without third-party tools.

Compared to pre-built binaries, this is adaptive to what people use
- feature flags
- RUSTFLAGS
- dependency versions

A risk is that this won't help as many people as they hope because being able
to reuse caches between projects will depend on the exact dependency tree for
every intermediate artifact.
For example, when building a proc-macro
- `unicode-ident` has few releases, so its likely this will get heavy reuse
- `proc-macro2` is has a lot of releases *and* depends on `unicode-ident`
- `quote` has a lot of releases *and* depends on `proc-macro2` and `unicode-ident`
- `syn` has a lot of releases *and* depends on `proc-macro2`, `unicode-ident`, and optionally on `quote`

With `syn` being a very heavy dependency, if it or any of its dependency versions are mismatched between projects,
the user won't get shared builds of `syn`.

See also [cargo#5931](https://github.com/rust-lang/cargo/issues/5931).

### The "shiny future" we are working towards

The cache lookup will be extended with plugins to read and/or write to different sources.
Open source projects and companies can have their CI read from and write to their cache.
Individuals who trust the CI can then configure their plugin to read from the CI cache.

A cooperating CI service could provide their own plugin that,
instead of caching everything used in the last job and unpacking it in the next,
their plugin could download only the entries that will be needed for the current build
(e.g. say a dependency changed)
and only upload the cache entries that were freshly built.
Fine-grained caching like this would save the CI service on bandwidth, storage,
and the compute time from copying, decompressing, and compressing the cache.
Users would have faster CI time and save money on their CI service, minus any
induced demand that faster builds creates.

## Design axioms

*This section is optional, but including [design axioms][da] can help you signal how you intend to balance constraints and tradeoffs (e.g., "prefer ease of use over performance" or vice versa). Teams should review the axioms and make sure they agree. [Read more about design axioms][da].*

[da]: ../about/design_axioms.md

## Ownership and team asks

**Owner:** *Identify a specific person or small group of people if possible, else the group that will provide the owner. Github user names are commonly used to remove ambiguity.*

*This section defines the specific work items that are planned and who is expected to do them. It should also include what will be needed from Rust teams. The table below shows some common sets of asks and work, but feel free to adjust it as needed. Every row in the table should either correspond to something done by a contributor or something asked of a team. For items done by a contributor, list the contributor, or ![Heap wanted][] if you don't yet know who will do it. For things asked of teams, list ![Team][] and the name of the team. The things typically asked of teams are defined in the [Definitions](#definitions) section below.*

| Subgoal | Owner(s) or team(s) | Notes |
| ---------------------------------------------- | ----------------------- | ----- |
| User-wide caching | | |
| ↳ Implementation | *Goal owner, typically* | |
| ↳ Standard reviews | ![Team][] [cargo] | |
| ↳ Design meeting | ![Team][] [cargo] | |
| ↳ Author stabilization report | *Goal owner, typically* | |
| ↳ Stabilization decision | ![Team][] [cargo] | |
| Inside Rust blog post inviting feedback | ![Team][] [cargo] | |
| Top-level Rust blog post inviting feedback | ![Team][] [cargo] | |
epage marked this conversation as resolved.
Show resolved Hide resolved

## Frequently asked questions