pipe_write() do opportunistic buffer resizing, when the buffer is empty.

but there is a possible sleeping point between the check (cnt == 0) and
the resize (pipespace() call), resulting resizing on possibly not empty
buffer.

fix it by rechecking the buffer usage once the exclusive lock is hold.

it should be revisited later as part of larger work on pipe(2).

ok visa@ anton@

0 files changed, 0 insertions, 0 deletions