[PATCH 0/2] pipe: Fixes

From: David Howells
Date: Thu Dec 05 2019 - 12:21:46 EST



Hi Linus, Eric,

Here are a couple of patches to fix bugs syzbot found in the pipe changes:

(1) An assertion check will sometimes trip when polling a pipe because the
ring size and indices used are approximate and may be being changed
simultaneously.

An equivalent approximate calculation was done previously, but without
the assertion check, so I've just dropped the check. To make it
accurate, the pipe mutex would need to be taken or the spin lock could
be used - but usage of the spinlock would need to be rolled out into
splice, iov_iter and other places for that.

(2) The index mask and the max_usage values need to be regenerated after
dropping the locks to wait in pipe_write() as F_SETPIPE_SZ could have
been called during the wait.

David
---
David Howells (2):
pipe: Remove assertion from pipe_poll()
pipe: Fix missing mask update after pipe_wait()


fs/pipe.c | 3 +++
1 file changed, 3 insertions(+)