Handle documents being deleted before processing their requests #2313
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Motivation
We sometimes get
Errno::ENOENT
in our telemetry and I believe I finally figured out why.Consider this sequence of events:
textDocument/didClose
notification. This is handled immediately, removing the document from the storeENOENT
Implementation
I believe we have two options:
Stop processing
textDocument/didClose
synchronously and throw it in the incoming queue. This will guarantee that we only close the document after processing all requests received for it. However, we will waste time processing requests for a file that was already deletedThe second option is what I implemented: we raise a specific error for when documents no longer exist and avoid reporting those to our telemetry.
Automated Tests
Added a test that reproduces the behaviour. Notice that it's difficult to control the order of execution of messages, so the test itself is not 100% reliable, but it does catch the bug.