Project

General

Profile

Actions

Bug #10920

closed

Reschedule verification tasks resulting to OOM

Added by Evgeny Novikov about 1 year ago. Updated about 1 year ago.

Status:
Closed
Priority:
Urgent
Assignee:
Category:
Scheduling
Target version:
Start date:
09/03/2021
Due date:
% Done:

0%

Estimated time:
Detected in build:
git
Platform:
Published in build:

Description

Core and Scheduler contribute considerably to reduce the overall time of verification job solution by speculatively shrinking a memory limit for verification tasks. AFAIK, they reschedule verification tasks with CPU timeouts (indeed, too much time may be necessary, say, for the garbage collector to hit within the reduced memory limit). It looks that this is not the case for out of memory cases. For instance, you can look here (this the internally available link, please, request for rights).

Actions #1

Updated by Evgeny Novikov about 1 year ago

  • Priority changed from High to Urgent

This is very unpleasant issue since we loose good verification results quite often.

Actions #2

Updated by Evgeny Novikov about 1 year ago

BTW, there is the "java.lang.OutOfMemoryError" exception rather than exceeding the overall memory limit, that can explain, why rescheduling does not work.

Actions #3

Updated by Evgeny Novikov about 1 year ago

  • Status changed from New to Resolved

Ilja fixed the issue in branch out-of-mem-problem that undergoes testing at the moment.

Actions #4

Updated by Evgeny Novikov about 1 year ago

  • Status changed from Resolved to Closed

All tests passed and demonstrated that the issue has gone, so, I merged the branch to master in 6fb78ab26.

Actions

Also available in: Atom PDF