Use Klever extensions to Python multiprocessing for deciding sub-jobs in parallel
At the moment when decision of some sub-job fails decisions of other sub-jobs are terminated using standard means of Python multiprocessing. Although this likely works well it leads to a job status Corrupted since it doesn't deal carefully with reports uploading. Switching to Klever extensions to multiprocessing should help.
In addition I suggest to improve Klever extensions to Python multiprocessing so that they will be more robust, in particular there won't be any hang ups any more.
Updated by Evgeny Novikov about 2 years ago
- Assignee changed from Evgeny Novikov to Ilja Zakharov
- Priority changed from High to Urgent
- Target version set to 1.0
Ilja did this and much more before implementing a new approach for evaluating a verification progress - issue #8446, branch 8149-new-progress.