From fd8caa5462e64f37cb9eebd75ffca1737dde447d Mon Sep 17 00:00:00 2001 From: Aleksandr Nogikh Date: Thu, 23 Sep 2021 16:15:41 +0000 Subject: all: replace collide mode by `async` call property Replace the currently existing straightforward approach to race triggering (that was almost entirely implemented inside syz-executor) with a more flexible one. The `async` call property instructs syz-executor not to block until the call has completed execution and proceed immediately to the next call. The decision on what calls to mark with `async` is made by syz-fuzzer. Ultimately this should let us implement more intelligent race provoking strategies as well as make more fine-grained reproducers. --- prog/prog.go | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'prog/prog.go') diff --git a/prog/prog.go b/prog/prog.go index d41117a2f..09da7fdf2 100644 --- a/prog/prog.go +++ b/prog/prog.go @@ -19,7 +19,8 @@ type Prog struct { // IMPORTANT: keep the exact values of "key" tag for existing props unchanged, // otherwise the backwards compatibility would be broken. type CallProps struct { - FailNth int `key:"fail_nth"` + FailNth int `key:"fail_nth"` + Async bool `key:"async"` } type Call struct { -- cgit mrf-deployment