Re: [PATCH 02/31] sched, numa, mm: Describe the NUMA scheduling problem formally

2012-11-01 Thread Rik van Riel
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

Re: [PATCH 02/31] sched, numa, mm: Describe the NUMA scheduling problem formally

2012-11-01 Thread Mel Gorman
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? > Signed-off-by: Peter Zijlstra >

Re: [PATCH 02/31] sched, numa, mm: Describe the NUMA scheduling problem formally

2012-11-01 Thread Mel Gorman
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? Signed-off-by: Peter Zijlstra

Re: [PATCH 02/31] sched, numa, mm: Describe the NUMA scheduling problem formally

2012-11-01 Thread Rik van Riel
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

[PATCH 02/31] sched, numa, mm: Describe the NUMA scheduling problem formally

2012-10-25 Thread Peter Zijlstra
This is probably a first: formal description of a complex high-level computing problem, within the kernel source. Signed-off-by: Peter Zijlstra Cc: Linus Torvalds Cc: Andrew Morton Cc: Peter Zijlstra Cc: "H. Peter Anvin" Cc: Mike Galbraith Rik van Riel [ Next step: generate the kernel

[PATCH 02/31] sched, numa, mm: Describe the NUMA scheduling problem formally

2012-10-25 Thread Peter Zijlstra
This is probably a first: formal description of a complex high-level computing problem, within the kernel source. Signed-off-by: Peter Zijlstra a.p.zijls...@chello.nl Cc: Linus Torvalds torva...@linux-foundation.org Cc: Andrew Morton a...@linux-foundation.org Cc: Peter Zijlstra