On 11/01/2012 05:56 AM, Mel Gorman wrote:
On Thu, Oct 25, 2012 at 02:16:19PM +0200, Peter Zijlstra wrote:
This is probably a first: formal description of a complex high-level
computing problem, within the kernel source.


Who does not love the smell of formal methods first thing in the
morning?

The only issue I have with this document is that it does not have
any description of how the source code tries to solve the problem
at hand.

A description of how the problem is solved will make the documentation
useful to people trying to figure out why the NUMA code does what
it does.

Of course, since we still do not know what sched-numa needs to do
in order to match autonuma performance, that description would have
to be updated later, anyway.

--
All rights reversed
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to [email protected]
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/

Reply via email to