You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Hi, I'd like to take T09, building on the Redis RunStore from T08 (#27).
Rough plan:
Add a new opt-in adapter so the run lease (claim/renew/release) and checkpoint writes share one owner/fence. This replaces the separate run lock and checkpoint lock.
Use one Lua script per operation. Each script checks owner, fence, Redis TIME, and the run/checkpoint revision, then advances the run, checkpoint, journal and outbox together, or writes nothing.
Keep all keys of a session in one hash-tag slot and verify the slot at startup. A cross-slot or unsupported deployment fails fast (crossSlotConfigFailsFast). The existing RedisLeasedCheckpointSaver and its key format stay unchanged.
Tests against a real Redis via Testcontainers. Cover: two runIds in the same session, stale-owner heartbeat/release/run/checkpoint/journal/outbox writes being rejected, and an injected commit failure leaving no partial checkpoint or run progress with no ownerless fallback. The README will state that async HA failover is not consensus fencing and that RPO0 is not promised.
Activity
Merge pull request #7 from spring-ai-alibaba/1025-yuluo/dashscope-model
PoisonGodv commentedon Oct 26, 2026
Hi, I'd like to take T09, building on the Redis
RunStorefrom T08 (#27).Rough plan:
TIME, and the run/checkpoint revision, then advances the run, checkpoint, journal and outbox together, or writes nothing.crossSlotConfigFailsFast). The existingRedisLeasedCheckpointSaverand its key format stay unchanged.Two questions before I start:
argi-loop-core. Should T09 target the loop-core contracts, or is there a pending Core change for a unified lease/commit contract that I should wait for?Thanks!