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.
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Introduce executor for concurrent search #98204
Introduce executor for concurrent search #98204
Changes from 9 commits
20e6dbe
01733dc
9229f4d
f67551f
db6e906
3b86ab1
438d76d
ad260e0
5a8ec56
9069bfe
026258c
fed2aaf
6688e92
cfcc819
d2a982b
0b2b243
103363f
b44a239
4220d6a
89faa2b
9ec1fd5
eced2c8
2844a05
5959f83
ee55047
8c77ed6
af76ab6
262996d
bb4ffca
c3d8034
151b93b
23121e3
bca4050
df0ff91
9b92a0b
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
If the thread is interrupted, shouldn't we bubble it up via
Thread.currentThread().interrupt();
?