Project

General

Profile

Actions

Feature #6552

open

Implement Cluster Scheduler

Added by Ilja Zakharov over 8 years ago. Updated about 8 years ago.

Status:
New
Priority:
High
Assignee:
Category:
Scheduling
Target version:
-
Start date:
01/28/2016
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

Cluster Scheduler is intended to orchestrate a cluster with a Docker swarm infrastructure to solve verification tasks and jobs.


Related issues 5 (2 open3 closed)

Blocked by Klever - Feature #6630: Implement Docker registry for verifiers and CoreNew01/29/2016

Actions
Blocked by Klever - Feature #6540: Merge scheduler job and task clients codeClosedIlja Zakharov01/28/2016

Actions
Blocked by Klever - Feature #6553: Extract common functions of schedulers into schedulers common libraryNewIlja Zakharov01/28/2016

Actions
Blocked by Klever - Feature #6747: Support UAtomizer as one of Klever verification back-endsRejected02/03/2016

Actions
Blocked by Klever - Feature #7799: Integrate Ultimate Automizer as an alternative verification toolClosedIlja Zakharov12/13/2016

Actions
Actions

Also available in: Atom PDF