|
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).
|