lkml.org 
[lkml]   [2013]   [Feb]   [7]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
From
SubjectRe: [PATCH 0/3] scheduler include file reorganization

* Clark Williams <williams@redhat.com> wrote:

>
> Ingo,
>
> Is this more in line with what you wanted?
>
> I moved the sysctl bits out into include/linux/sched/sysctl.h, then
> updated any source dependent on sysctl bits, then added my SCHED_RR
> tuning knob, then finally created include/linux/sched/rt.h to hold
> most of the rt scheduler specific bits.
>
> Clark Williams (3):
> sched: move sched.h sysctl bits into separate header
> sched/rt: add a tuning knob to allow changing SCHED_RR timeslice
> sched/rt: move rt specific bits into new header file
>
> block/blk-exec.c | 1 +
> drivers/spi/spi.c | 2 +-
> drivers/staging/csr/bh.c | 2 +-
> drivers/staging/csr/unifi_sme.c | 2 +-
> drivers/tty/sysrq.c | 1 +
> fs/select.c | 1 +
> include/linux/sched.h | 144 +-------------------------------------
> include/linux/sched/rt.h | 58 +++++++++++++++
> include/linux/sched/sysctl.h | 110 +++++++++++++++++++++++++++++
> init/init_task.c | 2 +
> kernel/futex.c | 1 +
> kernel/hrtimer.c | 2 +
> kernel/irq/manage.c | 1 +
> kernel/rtmutex-debug.c | 1 +
> kernel/rtmutex-tester.c | 1 +
> kernel/rtmutex.c | 1 +
> kernel/sched/core.c | 19 +++++
> kernel/sched/cpupri.c | 2 +
> kernel/sched/rt.c | 6 +-
> kernel/sched/sched.h | 2 +
> kernel/sysctl.c | 8 +++
> kernel/timer.c | 1 +
> kernel/trace/trace.c | 1 +
> kernel/trace/trace_sched_wakeup.c | 2 +-
> kernel/watchdog.c | 1 +
> mm/mmap.c | 1 +
> mm/mremap.c | 1 +
> mm/page-writeback.c | 1 +
> mm/page_alloc.c | 1 +
> 29 files changed, 227 insertions(+), 149 deletions(-)
> create mode 100644 include/linux/sched/rt.h
> create mode 100644 include/linux/sched/sysctl.h

Yeah, that looks pretty good.

I'll give it some testing.

Thanks,

Ingo


\
 
 \ /
  Last update: 2013-02-07 21:01    [W:0.077 / U:0.656 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site