lkml.org 
[lkml]   [2009]   [Jan]   [10]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
From
SubjectRe: [git pull] RT scheduler updates for tip

* Gregory Haskins <ghaskins@novell.com> wrote:

> Gregory Haskins wrote:
> > Ingo Molnar wrote:
> >
> >> * Ingo Molnar <mingo@elte.hu> wrote:
> >>
> >>
> >>>
> >>> Could you send a delta fix against cpus4096 for that bug you fixed?
> >>>
> >>>
>
> Hi Ingo,
> I have rebased the series against tip/cpus4096 as of today. I
> built/boot this kernel for both SMP/UP on a 4-way x86_64 box, and they
> look sane. Let me know if they still look broken to you.
>
> The following changes since commit 6092848a2a23b660150a38bc06f59d75838d70c8:
> Sergio Luis (1):
> x86: mark get_cpu_leaves() with __cpuinit annotation
>
> are available in the git repository at:
>
>
> git://git.kernel.org/pub/scm/linux/kernel/git/ghaskins/linux-2.6-hacks.git
> sched/latest
>
> Gregory Haskins (11):
> sched: cleanup inc/dec_rt_tasks
> sched: track the next-highest priority on each runqueue
> sched: use highest_prio.curr for pull threshold
> sched: use highest_prio.next to optimize pull operations
> sched: only try to push a task on wakeup if it is migratable
> sched: pull only one task during NEWIDLE balancing to limit
> critical section
> sched: make double-lock-balance fair
> sched: add sched_class->needs_post_schedule() member
> plist: fix PLIST_NODE_INIT to work with debug enabled
> sched: create "pushable_tasks" list to limit pushing to one attempt
> RT: fix push_rt_task() to handle dequeue_pushable properly
>
> include/linux/init_task.h | 1 +
> include/linux/plist.h | 9 +-
> include/linux/sched.h | 2 +
> kernel/sched.c | 89 +++++++++++--
> kernel/sched_rt.c | 324
> +++++++++++++++++++++++++++++++--------------
> 5 files changed, 311 insertions(+), 114 deletions(-)

pulled into tip/sched/rt, thanks Gregory!

Ingo


\
 
 \ /
  Last update: 2009-01-11 05:03    [W:0.332 / U:0.056 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site