Skip to content

feat(mesh): pull/lease streaming scheduler — Pando StreamLender/Limiter (move 2) - #27

Merged
mdheller merged 1 commit into
mainfrom
feat/lease-scheduler
Aug 4, 2026
Merged

feat(mesh): pull/lease streaming scheduler — Pando StreamLender/Limiter (move 2)#27
mdheller merged 1 commit into
mainfrom
feat/lease-scheduler

Conversation

@mdheller

@mdheller mdheller commented Aug 4, 2026

Copy link
Copy Markdown
Contributor

Continues the volunteer-mesh march — turns synchronous place→dispatch into an opportunistic, async, churn-tolerant pull model, the thing that actually scales to 400k flaky nodes.

tools/lease_scheduler.py:

  • Workers lease WUs when idle (pull) → faster/idler devices pull more (adaptive, no speed estimation), slow ones pull less (backpressure).
  • Conservative single-copy — one WU to one worker (maximize distinct in flight); redundant-quorum is an optional overlay, not the default.
  • Crash-stop work-stealing — a worker that misses its lease deadline has its unit re-lent by index; its late result is dropped (re-lent copy authoritative).
  • Ordered re-merge; per-worker Limiter; heartbeat extends a lease.

Distilled from Pando. 129 tools tests green. docs/VOLUNTEER_MESH.md move 2 → shipped; verification (#25) is now explicitly the overlay on top of pull/lease dispatch.

…er (move 2)

Continues the volunteer-mesh march. Turns synchronous place->dispatch into an opportunistic,
async, churn-tolerant pull model — the thing that actually scales to 400k flaky nodes.

tools/lease_scheduler.py:
  - workers LEASE Work Units when idle (pull) -> faster/idler devices pull more (adaptive, no
    speed estimation), slow ones pull less (automatic backpressure).
  - conservative single-copy: one WU to at most one worker at a time (maximize distinct units in
    flight); redundant-quorum is an optional overlay, not the default.
  - crash-stop work-stealing: a worker that misses its lease deadline has its unit RE-LENT by
    index; a late result from the crashed worker is dropped (re-lent copy is authoritative).
  - ordered re-merge (results_in_order); per-worker Limiter (max_in_flight); heartbeat extends a
    lease's deadline.

Distilled from Pando (Personal Volunteer Computing in Browsers). Tests: +7 = 129 tools tests green.
docs/VOLUNTEER_MESH.md move 2 -> shipped; work_unit verification is now explicitly the optional
overlay on top of pull/lease dispatch. Makefile `lease`; CapD scheduler link.
@mdheller
mdheller merged commit 45f2335 into main Aug 4, 2026
1 check passed
@mdheller
mdheller deleted the feat/lease-scheduler branch August 4, 2026 05:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant