lkn
/
ollie
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Mark LSP timeout retention resolved

This commit is contained in:
Ollie Agent 2026-08-18 07:05:33 +02:00
parent 55d1814aa7
commit fa2d65d762
1 changed files with 2 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
doc/concurrency-resource-audit.md
View File

@ -268,13 +268,9 @@ Cancellation removes the request from the active set. `NextPending` discards sta
### M11. LSP timed-out requests retain channels until late responses
**Evidence:** `tools/lsp/server.go:146-176`.
**Status:** Resolved by the existing request cleanup.
After timeout, the pending request is deleted, but a late response keeps the associated channel alive until it arrives or the process exits.
**Impact:** bounded retention under repeated timeouts; potentially significant with a stalled server.
**Remediation:** bound outstanding requests and make shutdown release all pending waiters.
Timeout and send-error paths delete the request channel from `pending`. Late responses find no pending entry and are discarded, so they do not retain the channel. Shutdown also releases all pending waiters.
### M12. `pushProcInterrupt` has weak connection ownership