Feature #8371

Allow to specify units for computational resource limits

Added by Evgeny Novikov about 1 month ago. Updated 7 days ago.

Status:ResolvedStart date:08/19/2017
Priority:UrgentDue date:
Assignee:Ilja Zakharov% Done:

0%

Category:-Spent time:-
Target version:0.2
Published in build:

Description

To enforce computational resource limits we use BenchExec which supported units even in version 1.7 we used before recent changes. Our format allows to specify limits for verification tasks just in bytes and milliseconds which isn't convenient. Limits for verification jobs can be specified in a Bridge form where unit GB is for memory and min is for time (both numbers are floats) - I think that can be remained as is.

To keep backward compatibility I suppose to still interpret limits without units as bytes and milliseconds for memory and time correspondingly.


Related issues

Related to Klever - Bug #8370: Fix CPU time limits for tasks Closed 08/19/2017

History

#1 Updated by Evgeny Novikov about 1 month ago

Please, see my comments about time limits for verification jobs in https://forge.ispras.ru/issues/8370#note-2.

#2 Updated by Evgeny Novikov 20 days ago

  • Assignee deleted (Ilja Zakharov)
  • Priority changed from Urgent to High

This issue does not have such the high priority.

#3 Updated by Ilja Zakharov 7 days ago

  • Status changed from New to Resolved
  • Assignee set to Ilja Zakharov
  • Priority changed from High to Urgent

Implemented in core-refactoring.

I have done it as I required this for further refactoring issues. Currently, tasks.json and a configuration of a scheduler node file are allowed to contain values with explicit units for memory- and time-related entries.

#4 Updated by Evgeny Novikov 7 days ago

  • Category deleted (Tasks generation)
  • Target version set to 0.2

Good news that soon we will enjoy this at last!

Indeed various places and components were affected by this feature implementation.

Also available in: Atom PDF