Project

General

Profile

Actions
Copy link

Feature #6608

closed

Generate abstract verification tasks in parallel

Added by Evgeny Novikov almost 9 years ago. Updated about 7 years ago.

Status:
Closed
Priority:
Urgent
Assignee:
Ilja Zakharov
Category:
*Abstract tasks generation
Target version:
0.2
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 5 (0 open — 5 closed)

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

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

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

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

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

Actions
Actions
Copy link
 #1

Updated by Evgeny Novikov almost 9 years ago

  • Priority changed from Normal to High
Actions
Copy link
 #2

Updated by Evgeny Novikov about 8 years ago

  • Priority changed from High to Urgent

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

Actions
Copy link
 #3

Updated by Evgeny Novikov over 7 years ago

  • Assignee changed from Evgeny Novikov to Ilja Zakharov

Let's Ilja will do it.

Actions
Copy link
 #4

Updated by Evgeny Novikov over 7 years ago

  • Target version set to 2.0
Actions
Copy link
 #5

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

Actions
Copy link
 #6

Updated by Ilja Zakharov over 7 years ago

  • Status changed from New to Resolved

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

Actions
Copy link
 #7

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

Actions
Copy link
 #8

Updated by Evgeny Novikov about 7 years ago

  • Status changed from Resolved to Closed
Actions
Copy link

Also available in: Atom PDF