Re: [PATCH -v5][RFC]: mutex: implement adaptive spinning

Peter Zijlstra
2009-01-08T07:11:22Z

On Wed, 2009-01-07 at 15:32 -0800, Linus Torvalds wrote:
>
> On Wed, 7 Jan 2009, Steven Rostedt wrote:
> >
> > What would be interesting is various benchmarks against all three.
> >
> > 1) no mutex spinning.
> > 2) get_task_struct() implementation.
> > 3) spin_or_sched implementation.
>
> One of the issues is that I cannot convince myself that (2) is even
> necessarily correct. At least not without having all cases happen inder
> the mutex spinlock - which they don't. Even with the original patch, the
> uncontended cases set and cleared the owner field outside the lock.

Yes, 2 isn't feasible for regular mutexes as we have non-atomic owner
tracking.

I've since realized the whole rtmutex thing is fundamentally difference
on a few levels:

a) we have atomic owner tracking (that's the lock itself, it holds the
task_pointer as a cookie), and

b) we need to do that whole enqueue on the waitlist thing because we
need to do the PI propagation and such to figure out if the current task
is even allowed to acquire -- that is, only the highest waiting and or
lateral steal candidates are allowed to spin acquire.