Message-ID: <44299BE5.6040308@am.sony.com>
Date: Tue, 28 Mar 2006 12:26:13 -0800
From: Tim Bird <tim.bird@am.sony.com>
User-Agent: Thunderbird 1.5 (X11/20051201)
MIME-Version: 1.0
To: Ingo Molnar <mingo@elte.hu>
CC: linux-kernel@vger.kernel.org, Thomas Gleixner <tglx@linutronix.de>,
       Linus Torvalds <torvalds@osdl.org>, Andrew Morton <akpm@osdl.org>,
       Arjan van de Ven <arjan@infradead.org>
Subject: Re: [patch 06/10] PI-futex: rt-mutex docs
References: <20060325184620.GG16724@elte.hu>
In-Reply-To: <20060325184620.GG16724@elte.hu>
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 7bit
Sender: linux-kernel-owner@vger.kernel.org
Content-Length: 1092
Lines: 42

Some minor nits.

Ingo Molnar wrote:
> Is the temporary priority
> +boosted owner blocked on a rt_mutex itself it propagates the priority
> +boosting to the owner of the rt_mutex it is blocked on.

Should that sentence start with "If"?

> The priority
> +boosting is immidiately removed once the rt_mutex has been unlocked.

immidiately -> immediately

> Per
> +rtmutex only the top priority waiter is enqueued into the owners
> +priority waiters list. Also this list enqueues in priority
> +order.

owners -> owner's

> The optimized fathpath operations require cmpxchg
> +support.

fathpath -> fastpath

If you would like the above changes in patch format,
please let me know.

Regards,
 -- Tim

=============================
Tim Bird
Architecture Group Chair, CE Linux Forum
Senior Staff Engineer, Sony Electronics
=============================
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/