Skip to content

Commit 3b3ca4b

Browse files
Remove R&D spike docs from houliston/scheduler branch.
Spike write-ups belong in spike worktrees only; keep progress-guarantee content inline in scheduler docs and TaskQueue header. Co-authored-by: Cursor <cursoragent@cursor.com>
1 parent c33d48b commit 3b3ca4b

3 files changed

Lines changed: 2 additions & 105 deletions

File tree

‎docs/explanation/scheduler.md‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -189,7 +189,7 @@ The queues are **lock-free** at the algorithm level: no mutexes, and the system
189189
- Overflow paths use CAS loops on list pointers.
190190
- Consumers may spin waiting for a producer's `committed` flag.
191191

192-
The hot-path slot claim via `fetch_add` is wait-free within a non-full block. See `docs/spikes/taskqueue-waitfree-assessment.md` for a detailed progress-guarantee analysis.
192+
The hot-path slot claim via `fetch_add` is wait-free within a non-full block.
193193

194194
## Group and sync semantics
195195

‎docs/spikes/taskqueue-waitfree-assessment.md‎

Lines changed: 0 additions & 103 deletions
This file was deleted.

‎src/threading/scheduler/queue/TaskQueue.hpp‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -46,7 +46,7 @@ namespace threading {
4646
* retired to a graveyard and deleted when the queue is destroyed. Per-producer FIFO is
4747
* preserved; cross-producer ordering is not guaranteed.
4848
*
49-
* Progress guarantees (see docs/spikes/taskqueue-waitfree-assessment.md):
49+
* Progress guarantees:
5050
* - Wait-free: slot claim via write.fetch_add and enqueue/dequeue on a non-overflow block
5151
* once the slot is committed.
5252
* - Lock-free but not wait-free: block linking (link_next_block), tail/head CAS, graveyard

0 commit comments

Comments
 (0)