Thread (19 messages) 19 messages, 3 authors, 2015-09-14

Re: [RFC][PATCH RT 0/3] RT: Fix trylock deadlock without msleep() hack

From: Thomas Gleixner <hidden>
Date: 2015-09-05 10:35:24
Also in: lkml

On Thu, 3 Sep 2015, Steven Rostedt wrote:
There are a lot of trylocks in the kernel, and I'm sure there's more around
that need to be convert to this method.
The only ones we need to convert are those which do an actual trylock
loop. The others, which simply bail if the trylock fails are
completely irrelevant.
I think this is an elegant solution but others may feel
differently. As I think a msleep() hail mary is extremely non
deterministic, it's a blemish for a kernel that prides itself on
adding determinism.
I agree that the msleep hack is horrible. Though I do not agree that
this solution is elegant. It's clever.

I was looking into that a few days ago and did not come up with
something sensible, but your patch and reading up on your well done
explanation made me look another time.

So the problem we need to solve is:

retry:
	lock(B);
	if (!try_lock(A)) {
		unlock(B);
		cpu_relax();
		goto retry;
	}

So instead of doing that proposed magic boost, we can do something
more straight forward:

retry:
	lock(B);
	if (!try_lock(A)) {
		lock_and_drop(A, B);
		unlock(A);
		goto retry;
	}

lock_and_drop() queues the task as a waiter on A, drops B and then
does the PI adjustment on A. 

Thoughts?

Thanks,

	tglx
Keyboard shortcuts
hback out one level
jnext message in thread
kprevious message in thread
ldrill in
Escclose help / fold thread tree
?toggle this help