mcp: prune completed listen request IDs from the session (#1190)
### Problem `ServerSession` tracks the request IDs of in-flight `subscriptions/listen` streams so `Close` can cancel the parked handlers and avoid the jsonrpc2 drain deadlock. The ID is appended when the listen starts, but it is never removed when the listen handler returns. Every completed listen stream (peer cancel, unsubscribe, stream break) therefore leaves one stale entry in the session for its entire lifetime. On a long-lived session where a client repeatedly subscribes and unsubscribes, the slice grows without bound: one leaked entry per cycle. `Close` calls `jsonrpc2.Connection.Cancel` on each recorded ID, and a stale ID is a no-op there today, but the bookkeeping is meant to hold only in-flight listens and currently never shrinks. ### Change Drop the request ID from the session's bookkeeping when the listen handler returns, matching the lifecycle of the in-flight handler that owns it. ### Tests Three tests reproduce the leak, failing on `main` and passing here: - `TestListenPrunedAfterSingleCompletion` - `TestListenIDsDoNotAccumulate` - `TestListenIDsLeakViaPublicSubscribeUnsubscribe` The third exercises the leak through the public `Subscribe`/`Unsubscribe` API. `go test ./mcp/` passes. --------- Co-authored-by: Guglielmo Colombo <guglielmoc@google.com>
This commit is contained in:
parent
c68ad9a4e6
commit
2732839dba
2 changed files with 98 additions and 4 deletions
|
|
@ -3341,10 +3341,7 @@ func TestServerSessionCloseWithActiveListen(t *testing.T) {
|
|||
// Sanity check: the auto-listen must actually have registered an entry in
|
||||
// listenIDs, otherwise the test below would trivially pass without
|
||||
// exercising the fix.
|
||||
ss.mu.Lock()
|
||||
n := len(ss.listenIDs)
|
||||
ss.mu.Unlock()
|
||||
if n == 0 {
|
||||
if n := listenIDsCount(ss); n == 0 {
|
||||
t.Fatal("expected auto-listen to register a request ID on the server session")
|
||||
}
|
||||
|
||||
|
|
@ -3357,6 +3354,90 @@ func TestServerSessionCloseWithActiveListen(t *testing.T) {
|
|||
}
|
||||
}
|
||||
|
||||
// listenIDsCount reports how many request IDs are currently recorded in the
|
||||
// session's listenIDs set.
|
||||
func listenIDsCount(ss *ServerSession) int {
|
||||
ss.mu.Lock()
|
||||
defer ss.mu.Unlock()
|
||||
return len(ss.listenIDs)
|
||||
}
|
||||
|
||||
// A completed listen stream must not leave a stale entry in the session.
|
||||
func TestListenPrunedAfterSingleCompletion(t *testing.T) {
|
||||
cs, ss, cleanup := basicClientServerConnection(t, nil, nil, func(s *Server) {
|
||||
AddTool(s, &Tool{Name: "t"}, sayHi)
|
||||
})
|
||||
_ = cleanup
|
||||
|
||||
ctx := context.Background()
|
||||
lctx, cancel := context.WithCancel(ctx)
|
||||
go cs.subscriptionsListen(lctx, &SubscriptionsListenParams{
|
||||
Notifications: &NotificationSubscriptions{ToolsListChanged: true},
|
||||
})
|
||||
time.Sleep(30 * time.Millisecond)
|
||||
cancel() // peer cancels: server handler returns
|
||||
time.Sleep(30 * time.Millisecond)
|
||||
|
||||
if n := listenIDsCount(ss); n != 0 {
|
||||
t.Fatalf("completed listen left %d stale entry/ies", n)
|
||||
}
|
||||
}
|
||||
|
||||
// Completed listens must not accumulate: the slice grows without bound today.
|
||||
func TestListenIDsDoNotAccumulate(t *testing.T) {
|
||||
cs, ss, cleanup := basicClientServerConnection(t, nil, nil, func(s *Server) {
|
||||
AddTool(s, &Tool{Name: "t"}, sayHi)
|
||||
})
|
||||
_ = cleanup
|
||||
|
||||
ctx := context.Background()
|
||||
|
||||
const cycles = 15
|
||||
for range cycles {
|
||||
lctx, cancel := context.WithCancel(ctx)
|
||||
go cs.subscriptionsListen(lctx, &SubscriptionsListenParams{
|
||||
Notifications: &NotificationSubscriptions{ToolsListChanged: true},
|
||||
})
|
||||
time.Sleep(15 * time.Millisecond)
|
||||
cancel()
|
||||
time.Sleep(10 * time.Millisecond)
|
||||
}
|
||||
time.Sleep(30 * time.Millisecond)
|
||||
|
||||
if n := listenIDsCount(ss); n != 0 {
|
||||
t.Fatalf("listenIDs grew unbounded: %d stale entries after %d completed listens", n, cycles)
|
||||
}
|
||||
}
|
||||
|
||||
// The leak is reachable through the public Subscribe/Unsubscribe API: every
|
||||
// subscription opens a listen stream and unsubscribing completes it, so a real
|
||||
// client cycling subscriptions on a long-lived session leaks one entry per cycle.
|
||||
func TestListenIDsLeakViaPublicSubscribeUnsubscribe(t *testing.T) {
|
||||
cs, ss, cleanup := basicClientServerConnection(t, nil, nil, func(s *Server) {
|
||||
AddTool(s, &Tool{Name: "t"}, sayHi)
|
||||
})
|
||||
_ = cleanup
|
||||
|
||||
ctx := context.Background()
|
||||
|
||||
const cycles = 3
|
||||
for i := range cycles {
|
||||
uri := fmt.Sprintf("resource://cycle-%d", i)
|
||||
if err := cs.Subscribe(ctx, &SubscribeParams{URI: uri}); err != nil {
|
||||
t.Fatalf("Subscribe %d: %v", i, err)
|
||||
}
|
||||
time.Sleep(15 * time.Millisecond)
|
||||
if err := cs.Unsubscribe(ctx, &UnsubscribeParams{URI: uri}); err != nil {
|
||||
t.Fatalf("Unsubscribe %d: %v", i, err)
|
||||
}
|
||||
}
|
||||
time.Sleep(30 * time.Millisecond)
|
||||
|
||||
if n := listenIDsCount(ss); n != 0 {
|
||||
t.Fatalf("public Subscribe/Unsubscribe leaked %d stale listenIDs after %d cycles", n, cycles)
|
||||
}
|
||||
}
|
||||
|
||||
func TestCustomMethods(t *testing.T) {
|
||||
type searchParams struct {
|
||||
ParamsBase
|
||||
|
|
|
|||
|
|
@ -1962,6 +1962,19 @@ func (ss *ServerSession) handle(ctx context.Context, req *jsonrpc.Request) (any,
|
|||
ss.mu.Lock()
|
||||
ss.listenIDs = append(ss.listenIDs, req.ID)
|
||||
ss.mu.Unlock()
|
||||
// The listen completes when the handler returns (peer cancellation,
|
||||
// stream break, or error); drop the ID so completed listens don't
|
||||
// accumulate in the slice indefinitely.
|
||||
defer func() {
|
||||
ss.mu.Lock()
|
||||
for i, id := range ss.listenIDs {
|
||||
if id == req.ID {
|
||||
ss.listenIDs = append(ss.listenIDs[:i], ss.listenIDs[i+1:]...)
|
||||
break
|
||||
}
|
||||
}
|
||||
ss.mu.Unlock()
|
||||
}()
|
||||
}
|
||||
|
||||
res, err := handleReceive(ctx, ss, req)
|
||||
|
|
|
|||
Loading…
Reference in a new issue