diff options
| author | Fabian Mastenbroek <mail.fabianm@gmail.com> | 2020-04-06 16:36:49 +0200 |
|---|---|---|
| committer | Fabian Mastenbroek <mail.fabianm@gmail.com> | 2020-04-06 16:49:53 +0200 |
| commit | 02864ba50fafffd19bb1b635eea06004d9fd78aa (patch) | |
| tree | 5ed6de9f907d493d841951fe9b8fb611616c1b43 /docs/setup.md | |
| parent | 6fc21e6df6345c6ec029cc50674352949af83510 (diff) | |
perf: Optimize SimpleVirtDriver
This change optimizes the SimpleVirtDriver by removing unnecessary
cancellations (which take a lot of time due to exception construction).
Moreover, we now try to keep intermediate state sorted so that we do not
have to re-sort every scheduling cycle (which was rather heavy as
profiling showed).
Diffstat (limited to 'docs/setup.md')
0 files changed, 0 insertions, 0 deletions