You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
In the old collide mode (that was replaced in #2788), we used to trigger kernel races of the following form.
We execute a call that creates an fd.
In parallel, we execute a call that consumes the same (predicted) fd value.
We did it implicitly (by rerunning all calls in parallel without cleaning up the resource value array), now we could implement this in a more explicit form:
Collect resource values after each prog execution.
Substitute them in the prog/collide.go mutations.
The text was updated successfully, but these errors were encountered:
In the old collide mode (that was replaced in #2788), we used to trigger kernel races of the following form.
We did it implicitly (by rerunning all calls in parallel without cleaning up the resource value array), now we could implement this in a more explicit form:
prog/collide.go
mutations.The text was updated successfully, but these errors were encountered: