Re: [patch 06/10] PI-futex: rt-mutex docs

[Tim Bird <tim.bird@am.sony.com>]

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/