On Sat, Apr 14, 2018 at 02:47:21PM -0700, Linus Torvalds wrote:
> On Sat, Apr 14, 2018 at 1:58 PM, Al Viro <v...@zeniv.linux.org.uk> wrote:
> > That breaks d_invalidate(), unfortunately. Look at the termination
> > conditions in the loop there...
> Ugh. I was going to say "but that doesn't even use select_collect()",
> but yeah, detach_and_collect() calls it.
> It would be easy enough to just change the
> if (!list_empty(&data.select.dispose))
> there to
> if (!list_empty(&data.select.found))
You would have to do the same in check_and_drop() as well,
and that brings back d_invalidate()/d_invalidate() livelock
we used to have. See 81be24d263db...
I'm trying to put something together, but the damn thing is
full of potential livelocks, unfortunately ;-/ Will send
a followup once I have something resembling a sane solution...