On 2019-05-14 07:13:50 [-0500], Corey Minyard wrote: > > Corey, would it make any change which waiter is going to be woken up? > > In the application that found this, the wake order probably isn't > relevant. what I expected. > For other applications, I really doubt that very many are using multiple > waiters. If so, this bug would have been reported sooner, I think. most other do either one waiter/waker pair or one waker and multiple waiter. And then reinit_completion() is used for the next round. > As you mention, for RT you would want waiter woken by priority and FIFO > within priority. I don't think POSIX says anything about FIFO within > priority, but that's probably a good idea. That's no longer a simple > wait queue The way it is now is probably closer to that than what Peter > suggested, but not really that close. > > This is heavily used in drivers and fs code, where it probably doesn't > matter. I looked through a few users in mm and kernel, and they had > one waiter or were init/shutdown type things where order is not important. > > So I'm not sure it's important. Why did you bring POSIX into this? This isn't an API exported to userland which would fall into that category. Peter's suggestion for FIFO is that we probably don't want to starve one thread/waiter if it is always enqueued at the end of the list. As you said, in your case it does not matter because (I assume) each waiter is equal and the outcome would be the same. > -corey Sebastian
