Repository navigation

V4 core spike: RESP write path, client-side cache, and the context surface - #3219

Closed

mgravell wants to merge 370 commits into

mainfrom

marc/interpolated-writer-design

Closed

V4 core spike: RESP write path, client-side cache, and the context surface#3219
mgravell wants to merge 370 commits into
mainfrom
marc/interpolated-writer-design

This pull request is big! We're only showing the most recent 250 commits

Commits on Sep 14, 2026
- Say the RS0026 exemption once, not fifty times
  mgravell
  committed
  5724562
- The sorted-set commands
  mgravell
  committed
  4a70149
- Merge the hash, set and sorted-set surfaces
  mgravell
  committed
  1d16f26
- Registration is implementing the interface
  mgravell
  committed
  a539a53
- Restore the SWR queue entry, deleted by accident
  mgravell
  committed
  30db4ec
- Stale-while-revalidate: serve the old value, refresh behind it
  mgravell
  committed
  253cc2e
- Invalidation grace period: bridge the burst, do not resurrect
  mgravell
  committed
  6b94d58
- Flush the cache when a connection is lost
  mgravell
  committed
  f281115
- Host the cache on the multiplexer, and route real invalidations to it
  mgravell
  committed
  4d608dd
- Refuse to cache keys outside the tracked prefixes
  mgravell
  committed
  e42c8d2
- Record what the prefix rule narrows, and what it leaves
  mgravell
  committed
  76744af
- An under-declared script is already broken before caching sees it
  mgravell
  committed
  4358d84
- Fire-and-forget is never cached, and never served from cache
  mgravell
  committed
  abd8770
- Split CacheOptions from CachePolicy
  mgravell
  committed
  286a461
- Bound one entry, and make the sweep actually run
  mgravell
  committed
  e2d2ea3
- CacheTrackingMode: broadcast or per-key, chosen rather than assumed
  mgravell
  committed
  728e910
- Bound the cache: byte and entry quotas, with sampled eviction
  mgravell
  committed
  87d5afa
- Queue: get the arrays off the new API
  mgravell
  committed
  a416320
- Queue: how the lease returns satisfy the old array API
  mgravell
  committed
  a32a749
Commits on Sep 15, 2026
- Queue: the legacy array bridge is a parallel internal extension method
  mgravell
  committed
  bbf38e4
- Rendering is not executing: RespContext.Execute -> Render
  mgravell
  committed
  682cc68
- Wipe pooled arrays whose elements can hold references
  mgravell
  committed
  2c90504
- MGET returns a pooled lease; the array shape moves to an internal sibling
  mgravell
  committed
  ae3abb1
- Measure when invalidations actually arrive
  mgravell
  committed
  eddb3b5
- A write tells the cache before it is sent
  mgravell
  committed
  b21ad97
- Record why HIMPORT is a holdout, and why EVALSHA is not
  mgravell
  committed
  e501a1c
- A bulk write invalidates its own arguments, not the whole cache
  mgravell
  committed
  bbb91af
- Merge the HIMPORT/EVALSHA holdout notes
  mgravell
  committed
  5207627
- Arrays off the new surface: 28 returns become ReadOnlyLease<T>
  mgravell
  committed
  9625bde
- Cacheability exclusions: say it at the command, not in a table
  mgravell
  committed
  28d7fa3
- The Keys command group
  mgravell
  committed
  71422d5
- Record the framing: this is V4, not a parallel option
  mgravell
  committed
  cc2781a
- Correct the V4 note: composition, not a second write path
  mgravell
  committed
  662bba0
- The array siblings are permanent fixtures, and say so
  mgravell
  committed
  bf221f8
- Plan the vexing commands as three probes, one per layer
  mgravell
  committed
  db6d4e3
- Enforce the argument limit when a frame is closed
  mgravell
  committed
  940a0b2
- Count arguments in one place, and refuse the limit as they are written
  mgravell
  committed
  a7e8024
- Benchmark the initial buffer estimate; leave it at 24
  mgravell
  committed
  a09f4d4
- Settle both cacheability second opinions
  mgravell
  committed
  36e10b1
- DUMP's internal encoding is not our problem
  mgravell
  committed
  02a5da2
- EVALSHA is composition too: SCRIPT LOAD + EVALSHA, not an alternate rendering
  mgravell
  committed
  910d6f7
- NoScriptCache controls what we send, not what the server keeps
  mgravell
  committed
  75b4400
- NoScriptCache is a weaker claim on the cache, not the absence of one
  mgravell
  committed
  5d319e4
- The evictable scripts are exactly the ones nothing is believed about
  mgravell
  committed
  92674cc
- Scripts on the new surface: SCRIPT LOAD + EVALSHA as one unit
  mgravell
  committed
  10f7b7c
- Log the two-phase reply direction: inspect on the reader, parse at the consumer
  mgravell
  committed
  d399e6c
- Size the inspect/parse split: 89 pure parsers, 6 doing both
  mgravell
  committed
  f823a62
- Render each script once, and honour NoScriptCache on the new surface
  mgravell
  committed
  b779959
- The last five leases: read-only on the surface, writable for IDatabase
  mgravell
  committed
  a4d0b23
- Demote the writable-lease handlers, as Values was
  mgravell
  committed
  582fcee
- Wire Keys and Scripts into TransitionalDatabase, and watch for the next one
  mgravell
  committed
  96dbaab
- The list commands
  mgravell
  committed
  b56ead3
- Ask the muxer what the server can do, when it is there to ask
  mgravell
  committed
  2609d07
- Cover the two commands the transitional surface respells
  mgravell
  committed
  bcc4c47
- The service slot composes; nothing replaces it
  mgravell
  committed
  e615efc
- The two respelt commands now ask before respelling
  mgravell
  committed
  e09411a
- Merge the Keys and Scripts work, so lists absorb cleanly
  mgravell
  committed
  018d5ec
- Issue CLIENT TRACKING from the handshake, not from the tests
  mgravell
  committed
  75933c6
- Merge marc/lists
  mgravell
  committed
  d5bb4f3
- Queue: close both CLIENT TRACKING items, open the WithCache soundness one
  mgravell
  committed
  a595626
- Make RespClientCache internal; the public opt-out is WithoutCache()
  mgravell
  committed
  80d0b1d
- The HyperLogLog group, and a probe that moves flags rather than bytes
  mgravell
  committed
  f828ddc
- SORT, on the key group, with SORT_RO where the server has it
  mgravell
  committed
  8c79064
- IMultiMessage can decline: GetMessages returns null for "write me normally"
  mgravell
  committed
  655a33e
- Make the composed script pair actually work against a server
  mgravell
  committed
  1785495
- Stage 1c: skip SCRIPT LOAD when the endpoint is believed to hold the script
  mgravell
  committed
  4be82fe
- The geospatial group, with GEOSEARCH where the server has one
  mgravell
  committed
  73bbc56
- Pin that batch and transaction contexts already queue rather than send
  mgravell
  committed
  831ebe7
- Split the command-group target: keyspace groups leave IServer and ISubscriber
  mgravell
  committed
  3abb43e
- Queue: record the split's commit hash
  mgravell
  committed
  5f3c6bc
- Merge marc/lists: the HyperLogLog, SORT and geospatial groups
  mgravell
  committed
  ab1d61c
- Use AsRedisValue for CLIENT TRACKING prefixes, so Debug builds too
  mgravell
  committed
  abfc2ba
- Wire IServer's context, and give ad-hoc frames their command identity
  mgravell
  committed
  4bfc05f
- Queue: record the IServer context commit hash
  mgravell
  committed
  0994dc0
- The vector-set group, less VADD and VSIM
  mgravell
  committed
  394a226
- VADD and VSIM, and the vector-set group is complete
  mgravell
  committed
  c3e7df0
- Queue: locking waits for transactions, and why the Lua shortcut was declined
  mgravell
  committed
  c221a77
- Pin what every IMultiMessage does inside a transaction
  mgravell
  committed
  b66f664
- Make a dropped IMultiMessage expansion impossible to write by accident
  mgravell
  committed
  6fe595e
- Merge branch 'marc/interpolated-writer-design' into marc/lists
  mgravell
  committed
  0c8b961
- RespValue: a scalar reply as a window, with nothing of its own
  mgravell
  committed
  0535736
- Prove the value dies with its lease, by every route and both branches
  mgravell
  committed
  dfd673f
- Measure what a transaction condition costs a thread
  mgravell
  committed
  0ac297f
- One rule for the prefix: As gives you something you keep
  mgravell
  committed
  a55035c
- Name the inspect half of SetResult
  mgravell
  committed
  ea26ce6
- Queue: the verdict increment, and errors-as-values as a post-verdict decision
  mgravell
  committed
  2f42d85
- Notice NOSCRIPT on the frame path, so a stale script belief is not permanent
  mgravell
  committed
  a86e563
- A lease can hold a second thing to give back
  mgravell
  committed
  7d5972a
- RespValue belongs in RESPite, so move it there
  mgravell
  committed
  a3ad7a6
- Inspect returns a verdict, and NOSCRIPT retries in the pipeline
  mgravell
  committed
  7d52169
- Every path retries NOSCRIPT, so the eight catch sites go
  mgravell
  committed
  d338591
- Queue: close the inspect/parse split
  mgravell
  committed
  83ffccb
- MGET as windows into one buffer: 77x less garbage
  mgravell
  committed
  1e36e47
- default(RespValue) is nil, and a cache hit is read in place
  mgravell
  committed
  0116dba
- Pin that keys beyond the bitmap still route
  mgravell
  committed
  681bc7c
- Queue: WATCH waits for the Message refactor, because the pulse goes with it
  mgravell
  committed
  1839496
- Flip the other twenty, and gate the whole idea behind its own ID
  mgravell
  committed
  edeae93
- Decided: errors stay exceptions on the new surface
  mgravell
  committed
  c5d87d4
- Queue: frame the errors decision as call vs pcall, which fixes the shape of any future opt-in
  mgravell
  committed
  18679de
- Merge branch 'marc/interpolated-writer-design' into marc/resp-result-views
  mgravell
  committed
  588b7e4
- IRespHandler parses from a positioned reader, not a span
  mgravell
  committed
  4e7fca4
- Merge branch 'marc/interpolated-writer-design' into marc/resp-result-views
  mgravell
  committed
  53759b1
- Take the positioned reader, and say why a window cannot
  mgravell
  committed
  ab1996d
- Queue: the down-level story, measured across four toolchains
  mgravell
  committed
  7ebc88f
- Queue: the other three MSFT points, with the tensions each collides with
  mgravell
  committed
  68bb062
- Queue: generating the shims was declined - build cost; a unit test enforces coverage instead
  mgravell
  committed
  499103b
- Async suffixes on the new surface (MSFT review)
  mgravell
  committed
  24d37ba
- Cancellation is per-call, and a real token is refused rather than ignored
  mgravell
  committed
  81c6f98
- Honour an already-cancelled token, and prove the buffer comes back
  mgravell
  committed
  8784461
- Group accessors as methods too, for compilers older than C# 14
  mgravell
  committed
  0a05dd9
- Channel prefixes compose, like key prefixes already did
  mgravell
  committed
  57ec73f
- Record the prefix correction, and unstale two design claims
  mgravell
  committed
  c55559e
- Pin that a null key prefix adds nothing rather than resetting
  mgravell
  committed
  e8544b6
- Name the prefix methods for what they do: Append, not With
  mgravell
  committed
  051c31b
- One projection per element type, shared by every aggregate form
  mgravell
  committed
  6c74d80
- HIMPORT is not a third seam: it is the script seam, scoped differently
  mgravell
  committed
  73ec0bc
- Pin the composed pair's refusal inside a transaction
  mgravell
  committed
  4194894
- Batches and transactions offer the command groups by name
  mgravell
  committed
  f2f19b3
- A caller-supplied hash is EVALSHA, even without the expansion
  mgravell
  committed
  274c41e
- Pair types derive both aggregate forms from one shape too
  mgravell
  committed
  9193189
- HIMPORT injects through IMultiMessage, so the bridge hook retires
  mgravell
  committed
  8606a91
- The OBJECT family moves to the Keys group
  mgravell
  committed
  d1e946c
- The stream group's scalar half
  mgravell
  committed
  c015879
- Park the composite-array shapes, with the wire evidence for the candidate
  mgravell
  committed
  9992902
- The array group, less ARGREP
  mgravell
  committed
  6a81bed
- Prototype the deferred walk, and measure what it is actually worth
  mgravell
  committed
  f49605b
- Note the capnproto lineage, and where the analogy stops
  mgravell
  committed
  5a012da
- Time the deferred walk on the nested shape, and correct a wrong attribution
  mgravell
  committed
  98b7f06
- Decided: no indexer on the aggregate
  mgravell
  committed
  76a175e
- Count is fine: streamed aggregates do not happen in practice
  mgravell
  committed
  de44670
Commits on Sep 16, 2026
Commits on Sep 17, 2026
- The server-scoped group, and the namespace that was standing on its name
  mgravell
  committed
  80a19e4
- A text twin for CopyTo: decode straight into a Span<char>
  mgravell
  committed
  f868d11
- Reach the no-decoder path far more often in CopyTo(Span<char>)
  mgravell
  committed
  da6b7fe
- Record why the char side gets no IBufferWriter overload
  mgravell
  committed
  fad5068
- A guide for library authors extending the client
  mgravell
  committed
  ab978ca
- Teach the new API everywhere, and keep the old one findable
  mgravell
  committed
  05013f7
- Retire SER010: this is the 4.0 API, not an experiment
  mgravell
  committed
  26df799
- The server group is Keyspace, not Server
  mgravell
  committed
  d03c41f
- Put the toy server's names back
  mgravell
  committed
  18563be
- .Interpolated dies; the surface splits by audience
  mgravell
  committed
  85eb97b
- Typed root contexts, and accessors that do not box them
  mgravell
  committed
  e34c0d0
- WIP: typed contexts own the groups - TESTS DO NOT COMPILE
  mgravell
  committed
  a24005c
Commits on Sep 18, 2026
Commits on Sep 19, 2026

Commits

Commits on Sep 14, 2026

Commits on Sep 15, 2026

Commits on Sep 16, 2026