Skip to content

HydraCache 0.44.0

Choose a tag to compare

View all tags
@github-actions github-actions released this 13 Jul 15:56
· 1256 commits to main since this release
v0.44.0
0d95cd6

HydraCache 0.44.0

0.44.0 adds deterministic simulation testing as the correctness foundation for
the next distributed-cache releases. It introduces a sans-IO cluster node seam,
a seed-driven simulator crate, deterministic network and storage fault models,
history/invariant/linearizability checks, replay shrinking, and a fast DST gate
that now runs in cargo xtask verify and CI.

This release does not add active-active multi-region writes, CRDT convergence,
transparent database invalidation, global serializable consistency, or external
server deployment. It makes those later features safer to build by giving them a
reproducible simulator and release gate.

Highlights

  • Added a sans-IO cluster-node seam in hydracache:
    ClusterNode, ClientOp, ClientAck, ClusterNodeMessage,
    OutboundClusterMessage, ClusterStorage, StorageOp, StorageResult,
    ManualClusterClock, and in-memory storage test support.
  • Added the hydracache-sim workspace crate with deterministic RNG, logical
    clock, simulated storage, network fault injection, world driver, workload
    history, invariant checker, linearizability checker, and replay/shrinking
    helpers.
  • Added the vopr reproduction binary:
    cargo run -p hydracache-sim --bin vopr -- --seed <S> --steps <N>.
  • Added a PR-sized DST fast budget:
    cargo test -p hydracache-sim --test dst_budget --locked.
  • Wired the DST fast budget into cargo xtask verify and GitHub Actions.
  • Added a scheduled / manual dst-nightly-soak GitHub Actions job that runs
    longer deterministic seed samples.
  • Added checksummed replicated value envelopes and a scrubber that detects
    corrupt durable value artifacts, repairs from fallback copies where possible,
    and reports irreparable corruption loudly.
  • Updated docs/GATES.md and docs/COMPAT.md for the new release gates and
    durable artifact versioning.

Verification

Focused gates:

cargo test -p hydracache --test sans_io_seam --locked
cargo test -p hydracache-sim --locked primitives
cargo test -p hydracache-sim --locked network
cargo test -p hydracache-sim --locked world
cargo test -p hydracache-sim --locked workload
cargo test -p hydracache-sim --locked invariants
cargo test -p hydracache-sim --locked linearizability
cargo test -p hydracache-sim --locked replay
cargo test -p hydracache --locked scrubber
cargo test -p hydracache-sim --locked cli
cargo test -p hydracache-sim --test dst_budget --locked
cargo run -p hydracache-sim --bin vopr --locked -- --seed 44 --steps 16

Full gate:

cargo xtask verify

The release was accepted only after cargo xtask verify completed with
verify: all gates passed.

Scope Boundary

The simulator is a correctness-testing substrate, not a production transport or
storage engine. The new checks make regressions reproducible by seed and history,
but they do not replace real networked integration tests, Docker/runtime smoke
tests, or future active-active / deployment hardening gates.

Assets 2
Loading