Project

General

Profile

Feature #8467

Reduce the default number of task generator workers

Added by Evgeny Novikov almost 3 years ago. Updated almost 3 years ago.

Status:
Closed
Priority:
Urgent
Category:
Bridge
Target version:
Start date:
09/29/2017
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

Recently Core have stated to generate verification tasks (former abstract verification tasks) in parallel. As a number of corresponding workers a former number of task generator workers is used by default. This causes, say, 8 workers can be used at once that can result in different unpleasant consequences rather while users don't need this actually.


Related issues

Related to Klever - Bug #8460: Klever stops solving tasksClosed09/27/2017

Actions
Related to Klever - Feature #8463: Allow to configure the number of result processorsClosed09/29/2017

Actions
Related to Klever - Feature #6608: Generate abstract verification tasks in parallelClosed01/29/2016

Actions
Related to Klever - Feature #8464: Reduce computational resources consumed by auxiliary tasks generation and results processing workersNew09/29/2017

Actions
Related to Klever - Feature #8466: Improve error messages when Native Scheduler terminates jobs because of reached computational resource limits Closed09/29/2017

Actions

History

#1

Updated by Evgeny Novikov almost 3 years ago

  • Status changed from New to Closed

I did it in f8b0c07b to master. Hope that users will experience less troubles like #8460 and #8466 after this.

#2

Updated by Ilja Zakharov almost 3 years ago

Considering resource consumptions I have not noticed any sufficient overhead, so I doubt that the fix was needed at all.

Also available in: Atom PDF