Project

General

Profile

Actions

Feature #6552

open

Implement Cluster Scheduler

Added by Ilja Zakharov almost 9 years ago. Updated almost 9 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 #1

Updated by Ilja Zakharov almost 9 years ago

  • Category set to Scheduling
Actions #2

Updated by Evgeny Novikov almost 9 years ago

  • Subject changed from Implement docker scheduler to Implement Docker scheduler
  • Description updated (diff)

I would like to name it "Cluster Scheduler" while Docker is just an internal technique to implement scheduling in clusters. Of course it shouldn't be the primary goal but we can try to provide some generic interface that can be implemented using different techniques.

Actions #3

Updated by Evgeny Novikov almost 9 years ago

  • Subject changed from Implement Docker scheduler to Implement Cluster scheduler
Actions #4

Updated by Evgeny Novikov almost 9 years ago

  • Subject changed from Implement Cluster scheduler to Implement Cluster Scheduler
  • Description updated (diff)

First of all we will try to use the VerifierCloud infrastructure on our cluster. This is one example why Cluster Scheduler haven't necessary to use Docker.

Actions

Also available in: Atom PDF