Merge pull request #66013 from ahoppen/ahoppen/sourcekitd-barriers

[sourcekitd] Allow client to enable use of dispatch barriers for open/edit/close on the message handling queue
This commit is contained in:
Alex Hoppen
2023-06-07 12:47:52 -07:00
committed by GitHub
6 changed files with 108 additions and 32 deletions

View File

@@ -207,7 +207,8 @@ UID_KEYS = [
# in this time. For cancellation testing purposes.
KEY('SimulateLongRequest', 'key.simulate_long_request'),
KEY('IsSynthesized', 'key.is_synthesized'),
KEY('BufferName', 'key.buffer_name')
KEY('BufferName', 'key.buffer_name'),
KEY('BarriersEnabled', 'key.barriers_enabled'),
]
@@ -272,6 +273,7 @@ UID_REQUESTS = [
REQUEST('Diagnostics', 'source.request.diagnostics'),
REQUEST('Compile', 'source.request.compile'),
REQUEST('CompileClose', 'source.request.compile.close'),
REQUEST('EnableRequestBarriers', 'source.request.enable_request_barriers'),
]