Project

General

Profile

Feature #6608

Generate abstract verification tasks in parallel

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

Status:
Closed
Priority:
Urgent
Assignee:
Category:
*Abstract tasks generation
Target version:
Start date:
01/29/2016
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

This can considerably speed up the whole process of preparing tasks on the basis of jobs.

It is already implemented for verification tasks.


Related issues

Related to Klever - Feature #6807: Separate verification tasks generation and verification results processingClosed02/04/2016

Actions
Related to Klever - Bug #7571: Exceptions in VTG strategies aren't reported as corresponding test case failuresClosed09/19/2016

Actions
Related to Klever - Feature #7451: Extract default verifier options from VTG strategies source code to configuration fileClosed08/05/2016

Actions
Related to Klever - Feature #8467: Reduce the default number of task generator workersClosed09/29/2017

Actions
Blocked by Klever - Bug #8265: Klever core CPU scalingClosed06/30/2017

Actions

History

#1

Updated by Evgeny Novikov over 3 years ago

  • Priority changed from Normal to High
#2

Updated by Evgeny Novikov over 2 years ago

  • Priority changed from High to Urgent

This is the main bottleneck when we have a really huge computation power and many tasks.

#3

Updated by Evgeny Novikov over 2 years ago

  • Assignee changed from Evgeny Novikov to Ilja Zakharov

Let's Ilja will do it.

#4

Updated by Evgeny Novikov almost 2 years ago

  • Target version set to 2.0
#5

Updated by Evgeny Novikov almost 2 years ago

  • Target version changed from 2.0 to 0.2

This considerable Core refactoring is always completed and it would be better to have it in master ASAP while Klever 1.0 will be devoted to great conceptual improvements.

#6

Updated by Ilja Zakharov almost 2 years ago

  • Status changed from New to Resolved

Implemented in the core-refactoring branch as a part of VTG and AVTG major refactoring.

#7

Updated by Evgeny Novikov almost 2 years ago

I merged the branch to master in aec48ac1. To specify the number of generator workers one should use the same parameter as was used before for parallel generation of verification tasks.

#8

Updated by Evgeny Novikov almost 2 years ago

  • Status changed from Resolved to Closed

Also available in: Atom PDF