Skip to content

Add work and resource challenge explainers #4

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
triggeredcode wants to merge 4 commits into
base: design/explainer-recovery-time
Choose a base branch
from
Open

Add work and resource challenge explainers #4

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
b384cf5
content: illustrate indexed chunk reads
triggeredcode Oct 16, 2026
818a18c
content: illustrate non-preemptive dispatch
triggeredcode Oct 16, 2026
684df44
content: illustrate lease return ordering
triggeredcode Oct 16, 2026
8d9bb3e
content: illustrate exact token refill
triggeredcode Oct 16, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
12 changes: 3 additions & 9 deletions challenges/chunk-store-easy/statement.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,16 +9,10 @@
"kind": "figure",
"label": "FIG 1",
"illustration": {
"id": "systems.frames",
"props": {
"title": "One blob · independently readable frames",
"note": "ReadAt uses the index to select a frame",
"frames": [
{ "label": "Block 0", "status": "not read", "tone": "neutral", "fields": [{ "label": "header", "detail": "lengths", "tone": "neutral" }, { "label": "AAAA", "detail": "payload", "tone": "neutral" }, { "label": "CRC", "detail": "integrity", "tone": "neutral" }] },
{ "label": "Block 1", "status": "read + verified", "tone": "signal", "fields": [{ "label": "header", "detail": "lengths", "tone": "accent" }, { "label": "BCDE", "detail": "requested CD", "tone": "signal" }, { "label": "CRC", "detail": "checked", "tone": "warning" }], "note": "Offset 5, length 2 touches only this block in the example below." }
]
}
"id": "systems.chunk-story",
"props": {}
},
"presentation": "immersive",
"caption": "Compression and integrity are block-local. That locality is what makes exact random reads cheap and bounded."
},
{
Expand Down
15 changes: 3 additions & 12 deletions challenges/deadline-scheduler-easy/statement.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,19 +9,10 @@
"kind": "figure",
"label": "FIG 1",
"illustration": {
"id": "systems.ranges",
"props": {
"title": "One worker · three non-preemptive jobs",
"min": 0,
"max": 11,
"rows": [
{ "label": "A", "start": 0, "end": 6, "tone": "warning", "note": "Starts at 0; cannot be interrupted when B and C arrive." },
{ "label": "B", "start": 6, "end": 8, "tone": "signal", "note": "Waits until the worker becomes idle." },
{ "label": "C", "start": 8, "end": 11, "tone": "accent", "note": "Ordering is chosen only at an idle boundary." }
],
"markers": [{ "at": 1, "label": "C arrives", "tone": "danger" }, { "at": 6, "label": "A done", "tone": "signal" }]
}
"id": "systems.scheduler-story",
"props": {}
},
"presentation": "immersive",
"caption": "Once A starts it owns the worker until tick 6. Better ordering happens only at idle boundaries."
},
{
Expand Down
12 changes: 3 additions & 9 deletions challenges/durable-queue-easy/statement.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,16 +9,10 @@
"kind": "figure",
"label": "FIG 1",
"illustration": {
"id": "systems.snapshot",
"props": {
"title": "FIFO is defined by when a job becomes available",
"rows": [
{ "label": "Enqueue", "cells": [{ "label": "A", "detail": "ready", "tone": "accent" }, { "label": "B", "detail": "ready", "tone": "accent" }] },
{ "label": "Lease A", "cells": [{ "label": "B", "detail": "ready", "tone": "accent" }, { "label": "A", "detail": "leased until 10", "tone": "warning" }], "note": "A still occupies capacity while leased." },
{ "label": "Nack A", "cells": [{ "label": "B", "detail": "next", "tone": "signal" }, { "label": "A", "detail": "back of queue", "tone": "accent" }], "note": "A's old token is now stale." }
]
}
"id": "systems.queue-story",
"props": {}
},
"presentation": "immersive",
"caption": "Nack or visibility expiry returns a leased job to the back of the available queue. It receives a fresh token when leased again."
},
{
Expand Down
14 changes: 3 additions & 11 deletions challenges/fair-gate-easy/statement.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,18 +9,10 @@
"kind": "figure",
"label": "FIG 1",
"illustration": {
"id": "systems.budget",
"props": {
"title": "A burst of four tokens · refill two per three ticks",
"capacity": 4,
"snapshots": [
{ "label": "tick 0 · full", "segments": [{ "label": "available", "value": 4, "tone": "signal" }] },
{ "label": "tick 0 · after cost 3", "segments": [{ "label": "available", "value": 1, "tone": "warning" }], "note": "a second cost-3 request is rejected" },
{ "label": "tick 3 · before retry", "segments": [{ "label": "available", "value": 3, "tone": "signal" }], "note": "two tokens accrued lazily" },
{ "label": "tick 3 · after retry", "segments": [{ "label": "available", "value": 0, "tone": "accent" }], "note": "the retry is now admitted" }
]
}
"id": "systems.gate-story",
"props": {}
},
"presentation": "immersive",
"caption": "No timer updates the bucket in the background. Each request first accounts for elapsed virtual time, then makes one deterministic decision."
},
{
Expand Down
Loading