diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-12-31 07:52:48 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-12-31 11:23:51 +0100 |
| commit | cdafa1cb6598419a8652212dd409e7bf45cf9bf0 (patch) | |
| tree | 596a4c7fc9d02a513026211f12091e39bc396367 | |
| parent | 72e912b366997786c9fe695fbb282bf8c1eb2f1c (diff) | |
syz-manager: increase corpus fetch batch size
A corpus of 3166 and max signal of 141819 caused "no outputs"
with qemu emulation (too many RPCs required to fetch everything).
Increase batch sizes somewhat, should reduce number of RPCs 4x.
| -rw-r--r-- | syz-manager/rpc.go | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/syz-manager/rpc.go b/syz-manager/rpc.go index a42782175..72173aae6 100644 --- a/syz-manager/rpc.go +++ b/syz-manager/rpc.go @@ -331,7 +331,7 @@ func (serv *RPCServer) Poll(a *rpctype.PollArgs, r *rpctype.PollRes) error { // Let rotated VMs run in isolation, don't send them anything. return nil } - r.MaxSignal = f.newMaxSignal.Split(500).Serialize() + r.MaxSignal = f.newMaxSignal.Split(2000).Serialize() if a.NeedCandidates { r.Candidates = serv.mgr.candidateBatch(serv.batchSize) } @@ -341,7 +341,7 @@ func (serv *RPCServer) Poll(a *rpctype.PollArgs, r *rpctype.PollRes) error { // If we do it using the final batchSize, it can be very slow // (batch of size 6 can take more than 10 mins for 50K corpus and slow kernel). // So use a larger batch initially (we use no stats as approximation of initial pump). - const initialBatch = 30 + const initialBatch = 50 if len(a.Stats) == 0 && batchSize < initialBatch { batchSize = initialBatch } |