Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Task executor preference #2187

Merged
merged 23 commits into from Dec 13, 2023
Merged

Task executor preference #2187

Changes from all commits
Commits
Show all changes
23 commits
Select commit Hold shift + click to select a range
b4e3724
Initial revision of task executors proposal
ktoso Oct 16, 2023
714a76c
Cleanup and remove unclear pieces of design
ktoso Oct 16, 2023
d11cc51
add missing withTaskExecutor in snippet
ktoso Oct 17, 2023
41cc3d9
Update NNNN-task-executor-preference.md
ktoso Oct 18, 2023
f6f17e8
remove ordering promises; they are not strictly guaranteed
ktoso Oct 19, 2023
a023e7a
preference also affects default actors
ktoso Oct 25, 2023
1bef6aa
introduce the notion of TaskExecutor, in order to handle default actors
ktoso Nov 1, 2023
152d77d
change title
ktoso Nov 1, 2023
03759d7
add some warnings about when to use this proposal
ktoso Nov 1, 2023
2cbcac7
arrow typo in diagram
ktoso Nov 1, 2023
e2e8de6
Fix typo (#11)
Genaro-Chris Nov 1, 2023
4a6e0a5
Fixed typo. (#12)
wadetregaskis Nov 1, 2023
5ecbea1
Update missed section; SerialExecutors are NOT TaskExecutors by default
ktoso Nov 1, 2023
2e905b7
Explain Task(on actor) a bit more -- in future directions
ktoso Nov 1, 2023
428beb6
fix typo in async let example
ktoso Nov 7, 2023
594b747
add unownedTaskExecutor API
ktoso Nov 13, 2023
1287b64
minor rewording in sentence
ktoso Nov 13, 2023
045eeab
document that executor can be both serial and task executor
ktoso Nov 21, 2023
08d1dea
add minor notes to serial+task executor section
ktoso Nov 21, 2023
935ec5f
Apply suggestions from code review
ktoso Dec 5, 2023
454f0f0
Update NNNN-task-executor-preference.md
ktoso Dec 5, 2023
51439d5
Cleanup a comment
ktoso Dec 8, 2023
66f61de
Update proposals/NNNN-task-executor-preference.md
DougGregor Dec 13, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Jump to
Jump to file
Failed to load files.
Diff view
Diff view