diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2024-07-01 14:26:06 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2024-08-02 13:16:51 +0000 |
| commit | 137fdde817df60cccfeb9a40237533e48bc143ec (patch) | |
| tree | 01df640f5820f1bcc01596134210667f59be1555 /executor/_include/flatbuffers/string.h | |
| parent | 66fcb0a84fcd55ad8e1444cdd0bc0ad6592f7329 (diff) | |
executor: restart procs more deterministically
Currently we force restart in rpcserver, but this has 2 problems:
1. It does not know the proc where the requets will land.
2. It does not take into account if the proc has already restarted
recently for other reasons.
Restart procs in executor only if they haven't restarted recenlty.
Also make it deterministic. Given all other randomess we have,
there does not seem to be a reason to use randomized restarts
and restart after fewer/more runs.
Also restart only after corpus triage.
Corpus triage is slow already and there does not seem to be enough
benefit to restart during corpus triage.
Also restart at most 1 proc at a time,
since there are lots of serial work in the kernel.
Diffstat (limited to 'executor/_include/flatbuffers/string.h')
0 files changed, 0 insertions, 0 deletions
