Skip to content

Auto-adjust timeout based on actual durations#447

Draft
emaxx-google wants to merge 2 commits into
marxin:masterfrom
emaxx-google:dynamic-timeouts
Draft

Auto-adjust timeout based on actual durations#447
emaxx-google wants to merge 2 commits into
marxin:masterfrom
emaxx-google:dynamic-timeouts

Conversation

@emaxx-google
Copy link
Copy Markdown
Collaborator

Automatically reduce the "--timeout" value when actual jobs are executed quicker than its value. Because timings vary hugely in practice, we multiply measured durations by 10x.

The auto-adjustment can save a lot of time during late stages of the reduction, when the interestingness test finishes quickly normally, but some unsuccessful reductions may hang (something we observe happening a lot in practice with C/C++ compilers).

A new flag "--no-auto-adjust-timeout" can be used to suppress the new logic if it misbehaves in some cases.

Automatically reduce the "--timeout" value when actual jobs are executed
quicker than its value. Because timings vary hugely in practice, we
multiply measured durations by 10x.

The auto-adjustment can save a lot of time during late stages of the reduction,
when the interestingness test finishes quickly normally, but some unsuccessful
reductions may hang (something we observe happening a lot in practice with
C/C++ compilers).
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant