prisma-risk / tsoracle / 26374735542 / 1
95%
main: 95%

DEFAULT BRANCH: main
Ran
Files 76
Run time 2s
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
coverage: 94.878% (+0.03%) from 94.846%
26374735542.1

push

github

web-flow 
refactor(driver-paxos): extract ApplyEngine + ApplyTask from StandaloneHost (#327)

StandaloneHost carried the apply state, snapshot policy, the spawned apply
task's lifecycle, and the synchronous stepping path inline: an 11-field
struct whose start() closure duplicated apply_once()'s drain+snapshot four
lines, and whose apply_handle / apply_shutdown were two Mutex<Option<..>>
kept in lockstep only by convention.

Extract a pub(crate) apply module:

- ApplyEngine bundles apply_state + snapshot policy and owns the single
  drain+snapshot step (apply_step) shared by the sync stepping path and the
  async apply task, a drain-only recover() for construction (recovery stays
  snapshot-free), and the accessors the barrier-linearized reads use.
- ApplyTask owns the join handle + per-spawn shutdown Notify; stop(self)
  consumes it, making double-stop unrepresentable.

StandaloneHost drops to 8 fields: apply_state + policy collapse into one
engine, and apply_handle + apply_shutdown collapse into one
Option<ApplyTask> (no Mutex, since start/stop take &mut self), so a
half-installed apply task is structurally impossible. The public method
surface and the PaxosHighWaterHost impl are unchanged; every method is now a
thin delegator.

Behavior-preserving internal refactor: no public API change. The yieldpoint
label and the snapshot-free recovery path are preserved; all existing tests
pass unchanged.

11411 of 12027 relevant lines covered (94.88%)

498186.6 hits per line

Source Files on job 26374735542.1