From bb5e6c0f355e952e91e8aef0ffb51b7b153b2e25 Mon Sep 17 00:00:00 2001 From: Dmitry Vyukov Date: Wed, 10 Apr 2024 09:55:53 +0200 Subject: syz-ci: flush coverage report generator Flush manager coverage report generator after requesting JSONL report. We won't use coverage reports after this point, but it consumes gigs of RAM. --- syz-ci/manager.go | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'syz-ci/manager.go') diff --git a/syz-ci/manager.go b/syz-ci/manager.go index 542d3950e..38fcc4a77 100644 --- a/syz-ci/manager.go +++ b/syz-ci/manager.go @@ -877,7 +877,10 @@ func (mgr *Manager) uploadCoverStat(fuzzingMinutes int) error { } defer buildSem.Signal() - resp, err := mgr.httpGET("/cover?jsonl=1") + // Coverage report generation consumes and caches lots of memory. + // In the syz-ci context report generation won't be used after this point, + // so tell manager to flush report generator. + resp, err := mgr.httpGET("/cover?jsonl=1&flush=1") if err != nil { return fmt.Errorf("failed to httpGet /cover?jsonl=1 report: %w", err) } -- cgit mrf-deployment