Actions
Feature #6618
closedNot all restrictions of verification tasks are passed to BenchExec
Start date:
01/29/2016
Due date:
% Done:
0%
Estimated time:
Published in build:
Description
For instance, it seems that CPAchecker can use all cores rather than the default number of them (2 at the moment).
Updated by Evgeny Novikov about 7 years ago
- Assignee set to Ilja Zakharov
- Priority changed from High to Urgent
This issue should be fixed together with other scheduling deadlock issues.
Updated by Ilja Zakharov almost 7 years ago
- Tracker changed from Bug to Feature
With a new resource manager all restrictions can be passed to BenchExec. But currently there are two problems rest unsolved:
- BenchExec and RunExec have different API to set CPU cores and for us the better option is to provide particular core identifiers and this should be implemented in BenchExec.
- Without container mode BenchExec and RunExec do not restrict disk space so we should switch to it.
Updated by Ilja Zakharov almost 7 years ago
- Status changed from New to Resolved
Implemented in be-advanced-integration.
Updated by Ilja Zakharov almost 7 years ago
- Status changed from Resolved to Closed
Merged in 5baf5c80.
Actions