Messages in this thread | | | Date | Tue, 28 Mar 2006 12:26:13 -0800 | From | Tim Bird <> | Subject | Re: [patch 06/10] PI-futex: rt-mutex docs |
| |
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/
| |