Project

General

Profile

Actions

Feature #8467

closed

Reduce the default number of task generator workers

Added by Evgeny Novikov over 6 years ago. Updated over 6 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 5 (1 open4 closed)

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

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

Actions
Related to Klever - Feature #6608: Generate abstract verification tasks in parallelClosedIlja Zakharov01/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 ClosedIlja Zakharov09/29/2017

Actions
Actions #1

Updated by Evgeny Novikov over 6 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.

Actions #2

Updated by Ilja Zakharov over 6 years ago

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

Actions

Also available in: Atom PDF