Repository navigation

CAS: keep the mount lease with one thread and one renewal path - #2475

Draft

filimonov wants to merge 38 commits into

fix/antalya-26.6/cas-mount-renewal-no-deadlinefrom

refactor/antalya-26.6/cas-mount-one-lease-thread

Commits on Oct 2, 2026
- Route the CAS reclaim's lease-loss step and fence arm through the runtime
  
  filimonov
  and
  claude
  committed
  2835741
- Latch the fence at the start of a CAS reclaim and arm only when admissible
  
  filimonov
  and
  claude
  committed
  76979a4
- Run the CAS mount lease and its reclaim on one thread
  
  filimonov
  and
  claude
  committed
  07ecdee
- Let only the CAS lease thread drive the renewer while it runs
  
  filimonov
  and
  claude
  committed
  ecd7d59
- Describe the single CAS lease thread in the mounts and leases doc
  
  filimonov
  and
  claude
  committed
  fd39d11
- Trip and request the remount of a CAS interference report in one step
  
  filimonov
  and
  claude
  committed
  bb38179
- Pin the one-step CAS interference report with a deterministic test
  
  filimonov
  and
  claude
  committed
  6897788
- Arm a latched CAS mount fence from a renewal with room for a ref append
  
  filimonov
  and
  claude
  committed
  a9af278
- Say that writes resume when a renewal restores the CAS mount lease
  
  filimonov
  and
  claude
  committed
  ccda27b
- Make a CAS mount ready through the lease thread instead of a re-anchor
  
  filimonov
  and
  claude
  committed
  123d67c
- Describe CAS mount readiness through the lease thread
  
  filimonov
  and
  claude
  committed
  78ae6eb
- Run the CAS readiness death test in a fresh process and pin the arm order
  
  filimonov
  and
  claude
  committed
  30ff8c8
- Describe when a CAS remount counts as succeeded or failed
  
  filimonov
  and
  claude
  committed
  e5e1dcb
- Merge the CAS lease expiry warning from the fix branch
  
  filimonov
  and
  claude
  committed
  f535696
- Renew the CAS mount lease through one step, also from the test seam
  
  filimonov
  and
  claude
  committed
  a127ae0
- Remove MountLeaseRenewer::renewForRemount
  
  filimonov
  and
  claude
  committed
  1facfbc
- Run every CAS mount renewal on the lease plane without a lease bound
  
  filimonov
  and
  claude
  committed
  59c93ef
- Remove the CAS mount renewal deadline counter and classifications
  
  filimonov
  and
  claude
  committed
  8ba79c8
- Return the identity, ending and duration of a CAS mount renewal
  
  filimonov
  and
  claude
  committed
  cbada51
- Report CAS mount renewals from their result, without a thread-local stack
  
  filimonov
  and
  claude
  committed
  0145e1c
- Pass the lease deadline to the CAS mount farewell
  
  filimonov
  and
  claude
  committed
  68462f8
- Define the two-envelope write cost once in CasRequestBudget
  
  filimonov
  and
  claude
  committed
  531f6cb
- Name the default safety margin and the default write window
  
  filimonov
  and
  claude
  committed
  dabc19a
- Correct the lease margin, grace, FORGET trip and renewal descriptions
  
  filimonov
  and
  claude
  committed
  48fd237
- Make warnOnceIfLeaseExpired private
  
  filimonov
  and
  claude
  committed
  7a3d9f6
- Delete process_epoch and the epoch accessors nothing reads
  
  filimonov
  and
  claude
  committed
  45aac31
- Test the Vanished lifecycle instead of a shadow flag in enterVanished
  
  filimonov
  and
  claude
  committed
  97953a2
- Read the renewal period and the boot clock from one place
  
  filimonov
  and
  claude
  committed
  e488f97
- Derive allow_steal from the round trigger in CasGcScheduler
  
  filimonov
  and
  claude
  committed
  a9a02fc
- Use remountTerminal in the GC scheduler loops
  
  filimonov
  and
  claude
  committed
  e6cabaf
- Remove the write-only fence, runtime and renewal result fields
  
  filimonov
  and
  claude
  committed
  1152bc8
- Log the stale-mount observation once per window start
  
  filimonov
  and
  claude
  committed
  8ffad69
- Assert GC quiescence over a parked real round
  
  filimonov
  and
  claude
  committed
  8ddd799
- Name the renewer's claim and farewell plane for what it is
  
  filimonov
  and
  claude
  committed
  04b4e91
- Name the lease keeper's two recurring conditions; drop dead code
  
  filimonov
  and
  claude
  committed
  6bdde54
- Bound the lease-keeper tests that could hang; pin two untested paths
  
  filimonov
  and
  claude
  committed
  8920c76
- Make lease-keeper comments, counters and docs say what the code does
  
  filimonov
  and
  claude
  committed
  98ca1ad
- Fix four lease-keeper comments that named the wrong callers or order
  
  filimonov
  and
  claude
  committed
  56897c5

Commits

Commits on Oct 2, 2026