Project

General

Profile

Actions
Copy link

Feature #8201

closed

Use container mode for running both tasks and jobs

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

Status:
Closed
Priority:
Urgent
Assignee:
Ilja Zakharov
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 open — 3 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
Copy link

Also available in: Atom PDF