[<prev] [next>] [<thread-prev] [day] [month] [year] [list]
Message-ID: <CAHk-=wiGB-Xt1CPbLQ3wY5KENq48Ws5WNwHz+aQp+gmZY+47EQ@mail.gmail.com>
Date: Sun, 22 Dec 2019 09:50:53 -0800
From: Linus Torvalds <torvalds@...ux-foundation.org>
To: Jan Stancek <jstancek@...hat.com>
Cc: linux-fsdevel <linux-fsdevel@...r.kernel.org>,
Linux Kernel Mailing List <linux-kernel@...r.kernel.org>,
David Howells <dhowells@...hat.com>,
Al Viro <viro@...iv.linux.org.uk>, rasibley@...hat.com
Subject: Re: [PATCH] pipe: fix empty pipe check in pipe_write()
On Sun, Dec 22, 2019 at 4:35 AM Jan Stancek <jstancek@...hat.com> wrote:
> Problem is that after pipe_write() reacquires pipe lock, it
> re-checks for empty pipe with potentially stale 'head' and
> doesn't wake up read side anymore. pipe->tail can advance
> beyond 'head', because there are multiple writers.
Thank you. Patch is obviously correct, applied.
I wonder how much that whole "cache head/tail/mask" really helps, and
if we should strive to get rid of it entirely (and just make
"pipe_emptuy()" and friends take a 'const struct pipe_inode_info *"
argument).
Oh well. I've apple your one-liner, but next time I might decide the
cleverness and slight code generation advantage might not be worth it.
Hopefully there won't _be_ a next time, of course ;)
Linus
Powered by blists - more mailing lists