2.6 KiB
2.6 KiB
Gateway Sessions and Queueing (Agent Execution Model)
This document explains how the gateway maps WebSocket clients onto durable sessions, and how work is serialised per session so agent execution stays coherent under concurrent requests.
If you only want the protocol surface, see docs/api/PROTOCOL.md.
Key Ideas
- A WebSocket client gets a
connectionId. - Each connection is attached to a
sessionId. - Agent work is queued per
sessionId(FIFO), not per connection. - Sessions persist in SQLite via
SessionManagereven if clients disconnect.
Component Map
flowchart LR
subgraph GW[Gateway Process]
WS[WebSocket connection\n(connectionId)]
GS[GatewayServer]
LQ[LaneQueue\nper-session FIFO]
SB[SessionBridge\nconnectionId -> sessionId -> AgentOrchestrator]
end
subgraph CORE[Flynn Core]
SM[SessionManager\nin-memory cache + SQLite]
SS[SessionStore\nSQLite tables]
AO[AgentOrchestrator]
end
WS --> GS
GS --> LQ
GS --> SB
SB --> AO
SB --> SM
SM --> SS
Session IDs (What Actually Gets Stored)
The durable session ID stored by SessionManager is:
<frontend>:<userId>
For the gateway:
SessionBridge.connect()assigns aconnectionId(UUID).- It defaults the connection's
sessionIdtows:<connectionId>. - It then calls
SessionManager.getSession('ws', sessionId).
That means gateway sessions are stored as:
ws:ws:<connectionId>
This is expected: the gateway adds its own namespace, and the session manager namespaces again by frontend.
Key files:
src/gateway/session-bridge.tssrc/session/manager.ts
Per-Session FIFO Queueing (LaneQueue)
agent.send uses a lane ID derived from the session:
- lane =
SessionBridge.getSessionId(connectionId)(preferred) - fallback lane =
connectionId(only if session lookup fails)
Within a lane:
- Only one request executes at a time.
- Later requests queue (FIFO) and start after the active request finishes.
Across lanes:
- Independent sessions run in parallel.
Key files:
src/gateway/lane-queue.tssrc/gateway/handlers/agent.ts
Cancellation Semantics
agent.cancel performs two separate actions:
- Cancels any queued (not-yet-started) work in the lane (
LaneQueue.cancel(laneId)). - Requests cancellation of the active agent operation (
AgentOrchestrator.cancel()viaSessionBridge.cancel()).
Important:
- Cancellation is best-effort for the currently running work: it stops at the next safe point in the agent loop.
- Queued work is deterministically rejected.
Key files:
src/gateway/handlers/agent.tssrc/backends/native/orchestrator.ts