Project

General

Profile

Actions

Feature #8201

closed

Use container mode for running both tasks and jobs

Added by Ilja Zakharov almost 7 years ago. Updated almost 7 years ago.

Status:
Closed
Priority:
Urgent
Assignee:
Category:
Scheduling
Target version:
-
Start date:
05/18/2017
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

BenchExec now provides better isolation mode called container mode. According to preliminary experiments that I have conducted tasks can be solved in the mode but additional directories management should be implemented, but core cannot be started in such mode. Moreover, I was able to start it with BenchExec in the container mode but not with RunExec. We should choose which tool to use and implement support for it.


Related issues 3 (0 open3 closed)

Blocks Klever - Feature #6618: Not all restrictions of verification tasks are passed to BenchExecClosedIlja Zakharov01/29/2016

Actions
Blocks Klever - Feature #6554: Native scheduler does not track disk spaceClosedIlja Zakharov01/28/2016

Actions
Blocked by Klever - Feature #6863: Try to invoke Core by means of BenchExecRejected02/12/2016

Actions
Actions #1

Updated by Evgeny Novikov almost 7 years ago

  • Assignee set to Ilja Zakharov
Actions #2

Updated by Ilja Zakharov almost 7 years ago

  • Status changed from New to Resolved

Implemented in be-advanced-integration.

Actions #3

Updated by Ilja Zakharov almost 7 years ago

  • Status changed from Resolved to Closed

Merged in 5baf5c80.

Actions

Also available in: Atom PDF