Implement Shard lease protocol: RenewShardLease, Deregister, epoch in AssignShards - #3834

Draft

Aditya1404Sal wants to merge 22 commits into

golemcloud:mainfrom

Aditya1404Sal:shard-manager/ticket4-shard-lease-protocol

Commits on Sep 3, 2026

Make the shard manager elect a single leader in distributed mode and fence its state writes on the leadership
Aditya1404Sal
committed
771f0b5

Commits on Sep 4, 2026

Fix leadership release ordering, watchdog anchoring, and the shard-count check from review
Aditya1404Sal
committed
813903a
Add the shard lease protocol to the wire additively, keeping behaviour unchanged
Aditya1404Sal
committed
426600c
Make AssignShards a full-replace push carrying epochs and make Register persist before acknowledging
Aditya1404Sal
committed
8906d33
Enforce the shard lease: timer, renewal, deregistration and startup re-grant
Aditya1404Sal
committed
7124fa5
Give the executor an epoched, renewable shard lease that fences admission when it lapses
Aditya1404Sal
committed
243bd4d
Park the renewal loop on an unexpiring lease, back off failed renewals and test the executor lease paths
Aditya1404Sal
committed
a2e9171
Widen the two lease-timing test windows so a descheduled thread cannot fail them
Aditya1404Sal
committed
bd75829
Remove SetShardAssignment and reserve the AssignShards field it used
Aditya1404Sal
committed
3bb50a2
Document the shard lease in the deployment guide
Aditya1404Sal
committed
c95bc0c
Reject an absent or out-of-range lease expiry on the wire
Aditya1404Sal
committed
b31256a
Recover agents when a renewal widens the shard set, and pin the lease error arms
Aditya1404Sal
committed
1f2e44d

Commits on Sep 7, 2026

Commits on Sep 8, 2026