Repository navigation

feat(io): range readers and a lazily fetched remote_buffer - #1

Merged

jeandet merged 7 commits into

mainfrom

feat/remote-buffer

Nov 2, 2026

Merged

feat(io): range readers and a lazily fetched remote_buffer#1
jeandet merged 7 commits into
mainfrom
feat/remote-buffer

Commits on Nov 2, 2026
- feat(io): range_reader concept and local_range_reader
  
  jeandet
  and
  claude
  committed
  cef5b90
- feat(io): reserved_region with page protection and memory/file backing
  
  jeandet
  and
  claude
  committed
  cfb8fa2
- feat(io): remote_buffer page cache with read-ahead and batched fetches
  
  jeandet
  and
  claude
  committed
  8b92ec1
- fix(io): address review of remote_buffer and reserved_region
  
  jeandet
  and
  claude
  committed
  6bf80db
- feat(io): remote_buffer waits through the reader's blocking_wait
  
  jeandet
  and
  claude
  committed
  cf58c1b
- test(io): blocking_wait test synchronised by latches, not sleeps; document the exactly-once contract
  
  jeandet
  and
  claude
  committed
  41cf7fb
- fix(io): final review — known-size constructor, empty range at EOF, destination count
  
  jeandet
  and
  claude
  committed
  29e4469