Actions
Bug #11016
closedOn cancelling solutions of verification jobs scheduler does not terminate verification tasks
Start date:
11/22/2021
Due date:
% Done:
0%
Estimated time:
Detected in build:
git
Platform:
Published in build:
Description
I noticed that after cancelling a verification job solution scheduler does not launch solution of new verification tasks, but old ones continue to run until they will finish themselves. It may be not so noticeable when verification tasks are simple, but for complex ones it is a big deal, since users may have to wait for several minutes till solution will be eventually cancelled.
Perhaps, this is not an issue of scheduler, but something is wrong with BenchExec - CPAchecker.
Updated by Evgeny Novikov almost 3 years ago
- Status changed from New to Rejected
- Assignee deleted (
Evgeny Novikov)
I could not reproduce this issue. Probably, it really can take quite much time to terminate a large verification job with many verification tasks that are generated and solved with a very high degree of parallelism.
Actions