Skip to contentSkip to conversation

CFS (Completely Fair Scheduler), v2

PATCH In review Ingo Molnar 11 participants 37 messages Apr 16, 2007 – Apr 18, 2007

Subsystems (2)
lore
Share & tools
lore
#0 lore raw

PATCH 1/1 CFS (Completely Fair Scheduler), v2

this is the second release of the CFS (Completely Fair Scheduler) patchset, against v2.6.21-rc7:

http://redhat.com/~mingo/cfs-scheduler/sched-cfs-v2.patch

i'd like to thank everyone for the tremendous amount of feedback and testing the v1 patch got - i could hardly keep up with just reading the mails! Some of the stuff people addressed i couldnt implement yet, i mostly concentrated on bugs, regressions and debuggability.

there's a fair amount of churn:

   15 files changed, 456 insertions(+), 241 deletions(-)

But it's an encouraging sign that there was no crash bug found in v1, all the bugs were related to scheduling-behavior details. The code was tested on 3 architectures so far: i686, x86_64 and ia64. Most of the code size increase in -v2 is due to debugging helpers, they'll be removed later. (The new /proc/sched_debug file can be used to see the fine details of CFS scheduling.)

Changes since -v1:

- make nice levels less starvable. (reported by Willy Tarreau)

- fixed child-runs first. A /proc/sys/kernel/sched_child_runs_first flag can be used to turn it on/off. (This might fix the Kaffeine bug reported by S.Çağlar Onur <)

- changed SCHED_FAIR back to SCHED_NORMAL (suggested by Con Kolivas)

- UP build fix. (reported by Gabriel C)

- timer tick micro-optimization (Dmitry Adamushko)

- preemption fix: sched_class->check_preempt_curr method to decide whether to preempt after a wakeup (or at a timer tick). (Found via a fairness-test-utility written for CFS by Mike Galbraith)

- start forked children with neutral statistics instead of trying to inherit them from the parent: Willy Tarreau reported that this results in better behavior on extreme workloads, and it also simplifies the code quite nicely. Removed sched_exit() and the ->task_exit() methods.

- make nice levels independent of the sched_granularity value

- new /proc/sched_debug file listing runqueue details and the rbtree

- new SCH-* fields in /proc/<NR>/status to see scheduling details

- new cpu-hog feature (off by default) and sysctl tunable to set it:
/proc/sys/kernel/sched_max_hog_history_ns tunable defaults to 0 (off). Positive values are meant the maximum 'memory' that the scheduler has of CPU hogs.

- various code cleanups

- added more statistics temporarily: sum_exec_runtime, sum_wait_runtime.

- added -CFS-v2 to EXTRAVERSION

as usual, any sort of feedback, bugreports, fixes and suggestions are more than welcome,

Ingo

#1 lore raw

17 Nis 2007 Sal tarihinde, Ingo Molnar şunları yazmıştı:

Quoted 3 lines

- fixed child-runs first. A /proc/sys/kernel/sched_child_runs_first flag can be used to turn it on/off. (This might fix the Kaffeine bug reported by S.Çağlar Onur <)

Sorry for delayed response but i just find some free time, do you still want me to test mainline + "parent-runs first" patch or will i drop that one and test v2 which can change default behaviour?

Signature · 4 lines
S.Çağlar Onur <[email protected]>
http://cekirdek.pardus.org.tr/~caglar/

Linux is like living in a teepee. No Windows, no Gates and an Apache in house!
#2 lore raw
Quoted 8 lines · S.Çağlar Onur

17 Nis 2007 Sal tarihinde, Ingo Molnar şunları yazmıştı:

Quoted 3 lines

- fixed child-runs first. A /proc/sys/kernel/sched_child_runs_first flag can be used to turn it on/off. (This might fix the Kaffeine bug reported by S.Çağlar Onur <)

Sorry for delayed response but i just find some free time, do you still want me to test mainline + "parent-runs first" patch or will i drop that one and test v2 which can change default behaviour?

i suspect for now it would be sufficient if you could check the v2 patch.

if it _works_, please try this:

echo 0 > /proc/sys/kernel/sched_child_runs_first

this should break Kaffeine again :)

(if it doesnt work then the Kaffeine problem is unrelated to child-runs-first.)

Ingo

#3 lore raw

17 Nis 2007 Sal tarihinde, Ingo Molnar şunları yazmıştı:

Quoted 7 lines
Quoted 3 lines

Sorry for delayed response but i just find some free time, do you still want me to test mainline + "parent-runs first" patch or will i drop that one and test v2 which can change default behaviour?

i suspect for now it would be sufficient if you could check the v2 patch.

Quoted 8 lines

if it _works_, please try this:

echo 0 > /proc/sys/kernel/sched_child_runs_first

this should break Kaffeine again :)

(if it doesnt work then the Kaffeine problem is unrelated to child-runs-first.)

OK, i tested both plain -rc7 and -rc7 + CFSv2 with while sched_child_runs_first enabled/disabled.

I'm always using same video file and try to reproduce freeze with constantly pressing forward/backward buttons. With CFS 2-3 forward/backward attempt reproduces this behaviour.

And here are the results.

Mainline still has no issues with both xine-lib/kaffeine and xine-ui (kaffeine-0.8.4, xine-lib-1.1.5 [both xcb enabled], xine-ui-0.99.4). I really try hard to reproduce the freeze, but i can't...

And CFSv2 still fails for both child_runs_first and parent_runs_first cases with same strace output (FUTEX_WAIT).

If you want me to test something else just ask please :)

Cheers

Signature · 4 lines
S.Çağlar Onur <[email protected]>
http://cekirdek.pardus.org.tr/~caglar/

Linux is like living in a teepee. No Windows, no Gates and an Apache in house!
#4 lore raw
Quoted 21 lines · S.Çağlar Onur

17 Nis 2007 Sal tarihinde, Ingo Molnar şunları yazmıştı:

Quoted 7 lines
Quoted 4 lines

Sorry for delayed response but i just find some free time, do you still want me to test mainline + "parent-runs first" patch or will i drop that one and test v2 which can change default behaviour?

i suspect for now it would be sufficient if you could check the v2 patch.

Quoted 9 lines

if it _works_, please try this:

echo 0 > /proc/sys/kernel/sched_child_runs_first

this should break Kaffeine again :)

(if it doesnt work then the Kaffeine problem is unrelated to child-runs-first.)

OK, i tested both plain -rc7 and -rc7 + CFSv2 with while sched_child_runs_first enabled/disabled.

Quoted 8 lines

I'm always using same video file and try to reproduce freeze with constantly pressing forward/backward buttons. With CFS 2-3 forward/backward attempt reproduces this behaviour.

And here are the results.

Mainline still has no issues with both xine-lib/kaffeine and xine-ui (kaffeine-0.8.4, xine-lib-1.1.5 [both xcb enabled], xine-ui-0.99.4). I really try hard to reproduce the freeze, but i can't...

And CFSv2 still fails for both child_runs_first and parent_runs_first cases with same strace output (FUTEX_WAIT).

I have the same problem here ( same packages ).

Even VLC if I go forward/backward and then play again its start to ramdom freeze here but only for 1 - 2 seconds maybe.

Quoted 4 lines

If you want me to test something else just ask please :)

Cheers

#5 lore raw
In reply to S.Çağlar Onur
Quoted 1 line · S.Çağlar Onur

If you want me to test something else just ask please :)

yes, it would be nice to do a:

strace -o kaffine.log -f -tttTTT kaffeine

log. Because in your old log this is visible:

clone(child_stack=0xb02394a4, flags=CLONE_VM|CLONE_FS|CLONE_FILES|CLONE_SIGHAND|CLONE_THREAD|CLONE_SYSVSEM|CLONE_SETTLS|CLONE_PARENT_SETTID|CLONE_CHILD_CLEARTID, parent_tidptr=0xb0239bd8, {entry_number:6, base_addr:0xb0239b90,
limit:1048575, seg_32bit:1, contents:0, read_exec_only:0,
limit_in_pages:1, seg_not_present:0, useable:1},
child_tidptr=0xb0239bd8) = 11340
futex(0x89ac218, FUTEX_WAKE, 1) = 1

we cloned a task and immediately afterwards we used futex 0x89ac218. After that point many things happen, but the lockup itself:

 futex(0x89ac218, FUTEX_WAIT, 2, NULL)   = 0
 futex(0x89ac218, FUTEX_WAIT, 2, NULL)   = 0
 futex(0x89ac218, FUTEX_WAIT, 2, NULL)   = 0

is the same futex. Probably related to the same child thread? It would be nice to also get a gdb backtrace:

gdb kaffine
<reproduce the hang>
Ctrl-C
bt

this should give you a gdb backtrace of that kaffeine hang. Thanks,

Ingo

#6 lore raw
In reply to Ingo Molnar
Quoted 5 lines · Ingo Molnar

this is the second release of the CFS (Completely Fair Scheduler) patchset, against v2.6.21-rc7:

http://redhat.com/~mingo/cfs-scheduler/sched-cfs-v2.patch

i'd like to thank everyone for the tremendous amount of feedback and testing the v1 patch got - i could hardly keep up with just reading the mails! Some of the stuff people addressed i couldnt implement yet, i mostly concentrated on bugs, regressions and debuggability.

Can I make a suggestion?

Would it be possible (from now on) to publish changes relevant to the previous patch (eventually leading to a series of patches that describes the evolution of the new scheduler) so that it's easier for us reviewers/critics to see the latest changes. E.g. if import such changes into something like quilt (using my gquilt GUI wrapper, of course :-)) I can then use meld (or similar) to follow what's going as suggestions get folded in and bugs get fixed etc.

Thanks
Peter

Signature · 4 lines
Peter Williams                                   [email protected]

"Learning, n. The kind of ignorance distinguishing the studious."
 -- Ambrose Bierce
#7 lore raw
Quoted 9 lines · Peter Williams

Can I make a suggestion?

Would it be possible (from now on) to publish changes relevant to the previous patch (eventually leading to a series of patches that describes the evolution of the new scheduler) so that it's easier for us reviewers/critics to see the latest changes. E.g. if import such changes into something like quilt (using my gquilt GUI wrapper, of course :-)) I can then use meld (or similar) to follow what's going as suggestions get folded in and bugs get fixed etc.

the v1 patch is still downloadable so you can do a delta by first applying the v1 patch to a quilt queue, doing a 'quilt snapshot', then 'quilt pop', add the v2 patch to the series file, do a 'quilt push', then doing a "quilt diff --snapshot". (I just posted the delta patch in this thread so you can pick it from there too.)

Ingo

#8 lore raw
In reply to Ingo Molnar
Quoted 61 lines · Ingo Molnar

this is the second release of the CFS (Completely Fair Scheduler) patchset, against v2.6.21-rc7:

http://redhat.com/~mingo/cfs-scheduler/sched-cfs-v2.patch

i'd like to thank everyone for the tremendous amount of feedback and testing the v1 patch got - i could hardly keep up with just reading the mails! Some of the stuff people addressed i couldnt implement yet, i mostly concentrated on bugs, regressions and debuggability.

there's a fair amount of churn:

  15 files changed, 456 insertions(+), 241 deletions(-)

But it's an encouraging sign that there was no crash bug found in v1, all the bugs were related to scheduling-behavior details. The code was tested on 3 architectures so far: i686, x86_64 and ia64. Most of the code size increase in -v2 is due to debugging helpers, they'll be removed later. (The new /proc/sched_debug file can be used to see the fine details of CFS scheduling.)

Changes since -v1:

- make nice levels less starvable. (reported by Willy Tarreau)

- fixed child-runs first. A /proc/sys/kernel/sched_child_runs_first flag can be used to turn it on/off. (This might fix the Kaffeine bug reported by S.Çağlar Onur <)

- changed SCHED_FAIR back to SCHED_NORMAL (suggested by Con Kolivas)

- UP build fix. (reported by Gabriel C)

- timer tick micro-optimization (Dmitry Adamushko)

- preemption fix: sched_class->check_preempt_curr method to decide whether to preempt after a wakeup (or at a timer tick). (Found via a fairness-test-utility written for CFS by Mike Galbraith)

- start forked children with neutral statistics instead of trying to inherit them from the parent: Willy Tarreau reported that this results in better behavior on extreme workloads, and it also simplifies the code quite nicely. Removed sched_exit() and the ->task_exit() methods.

- make nice levels independent of the sched_granularity value

- new /proc/sched_debug file listing runqueue details and the rbtree

- new SCH-* fields in /proc/<NR>/status to see scheduling details

- new cpu-hog feature (off by default) and sysctl tunable to set it:
/proc/sys/kernel/sched_max_hog_history_ns tunable defaults to 0 (off). Positive values are meant the maximum 'memory' that the scheduler has of CPU hogs.

- various code cleanups

- added more statistics temporarily: sum_exec_runtime, sum_wait_runtime.

Quoted 6 lines

- added -CFS-v2 to EXTRAVERSION

as usual, any sort of feedback, bugreports, fixes and suggestions are more than welcome,

Ingo

This one (v2-rc2) is not a keeper I'm sorry to say, Ingo. v2-rc0 was much better. Watching amanda run with htop, kmails composer is being subjected to 5 to 10 second pauses, and htop says that gzip -best isn't getting more that 15% of the cpu, and the /amandatapes drive is being written to in a regular pattern that seems to be the cause of the pauses according to gkrellm, which also seems to track the size of the writes, and can show anything from 4.3k to 54 megs as being written in one cycle of its screen update.

Normally hdd will fire up and take it at about 40+M/second steady till its done when there is a file ready to write even if its a 7GB file. And I can type right on during the disk i/o. But not now.

In short, I seem to be heavily I/O bound. But when the write to /dev/hdd3 is done, then gzip -best pops right up to 90% plus cpu and I get my machine back.

In between file writes I checked the drives speed with hdparm:

root@coyote ~]# hdparm -Tt /dev/hdd

/dev/hdd:
Timing cached reads: 856 MB in 2.01 seconds = 426.15 MB/sec
Timing buffered disk reads: 222 MB in 3.01 seconds = 73.68 MB/sec

That's not too shabby, and obviously dma is active at least for the reading.

gzip -best was running while this was executing. So I think the drive is fine and the scheduling is whats funkity. Sorry.

Signature · 6 lines
Cheers, Gene
"There are four boxes to be used in defense of liberty:
 soap, ballot, jury, and ammo. Please use in that order."
-Ed Howdershelt (Author)
  After they got rid of capital punishment, they had to hang twice
  as many people as before.
#9 lore raw

Hi Gene,

Quoted 69 lines · Gene Heskett
Quoted 61 lines · Ingo Molnar

this is the second release of the CFS (Completely Fair Scheduler) patchset, against v2.6.21-rc7:

http://redhat.com/~mingo/cfs-scheduler/sched-cfs-v2.patch

i'd like to thank everyone for the tremendous amount of feedback and testing the v1 patch got - i could hardly keep up with just reading the mails! Some of the stuff people addressed i couldnt implement yet, i mostly concentrated on bugs, regressions and debuggability.

there's a fair amount of churn:

  15 files changed, 456 insertions(+), 241 deletions(-)

But it's an encouraging sign that there was no crash bug found in v1, all the bugs were related to scheduling-behavior details. The code was tested on 3 architectures so far: i686, x86_64 and ia64. Most of the code size increase in -v2 is due to debugging helpers, they'll be removed later. (The new /proc/sched_debug file can be used to see the fine details of CFS scheduling.)

Changes since -v1:

- make nice levels less starvable. (reported by Willy Tarreau)

- fixed child-runs first. A /proc/sys/kernel/sched_child_runs_first flag can be used to turn it on/off. (This might fix the Kaffeine bug reported by S.Ça??lar Onur <)

- changed SCHED_FAIR back to SCHED_NORMAL (suggested by Con Kolivas)

- UP build fix. (reported by Gabriel C)

- timer tick micro-optimization (Dmitry Adamushko)

- preemption fix: sched_class->check_preempt_curr method to decide whether to preempt after a wakeup (or at a timer tick). (Found via a fairness-test-utility written for CFS by Mike Galbraith)

- start forked children with neutral statistics instead of trying to inherit them from the parent: Willy Tarreau reported that this results in better behavior on extreme workloads, and it also simplifies the code quite nicely. Removed sched_exit() and the ->task_exit() methods.

- make nice levels independent of the sched_granularity value

- new /proc/sched_debug file listing runqueue details and the rbtree

- new SCH-* fields in /proc/<NR>/status to see scheduling details

- new cpu-hog feature (off by default) and sysctl tunable to set it:
/proc/sys/kernel/sched_max_hog_history_ns tunable defaults to 0 (off). Positive values are meant the maximum 'memory' that the scheduler has of CPU hogs.

- various code cleanups

- added more statistics temporarily: sum_exec_runtime, sum_wait_runtime.

Quoted 6 lines

- added -CFS-v2 to EXTRAVERSION

as usual, any sort of feedback, bugreports, fixes and suggestions are more than welcome,

Ingo

Quoted 7 lines

This one (v2-rc2) is not a keeper I'm sorry to say, Ingo. v2-rc0 was much better. Watching amanda run with htop, kmails composer is being subjected to 5 to 10 second pauses, and htop says that gzip -best isn't getting more that 15% of the cpu, and the /amandatapes drive is being written to in a regular pattern that seems to be the cause of the pauses according to gkrellm, which also seems to track the size of the writes, and can show anything from 4.3k to 54 megs as being written in one cycle of its screen update.

Have you tried previous version with the fair-fork patch ? It might be possible that your workload is sensible to the fork()'s child getting much CPU upon startup.

Ingo, maybe I'm saying something stupid, but in my userland scheduler, when new tasks are "forked", they are queued at the end of the run queue with a fixed priority. In our case, this would translate into assigning them the same prio and timeslice as their parent, but queuing them at the end so that they don't make existing tasks starve during huge fork() loads.

I don't know how that would be possible (nor if that would help in anything), but I found it was a good compromise over sharing the timeslice with the parent. Perhaps we should have some absolute timeslice and some relative timeslice (eg: X percent of total time divided by the number of tasks) ?

Regards,
Willy

#10 lore raw
Quoted 80 lines · Willy Tarreau

Hi Gene,

Quoted 77 lines · Gene Heskett
Quoted 61 lines · Ingo Molnar

this is the second release of the CFS (Completely Fair Scheduler) patchset, against v2.6.21-rc7:

http://redhat.com/~mingo/cfs-scheduler/sched-cfs-v2.patch

i'd like to thank everyone for the tremendous amount of feedback and testing the v1 patch got - i could hardly keep up with just reading the mails! Some of the stuff people addressed i couldnt implement yet, i mostly concentrated on bugs, regressions and debuggability.

there's a fair amount of churn:

  15 files changed, 456 insertions(+), 241 deletions(-)

But it's an encouraging sign that there was no crash bug found in v1, all the bugs were related to scheduling-behavior details. The code was tested on 3 architectures so far: i686, x86_64 and ia64. Most of the code size increase in -v2 is due to debugging helpers, they'll be removed later. (The new /proc/sched_debug file can be used to see the fine details of CFS scheduling.)

Changes since -v1:

- make nice levels less starvable. (reported by Willy Tarreau)

- fixed child-runs first. A /proc/sys/kernel/sched_child_runs_first flag can be used to turn it on/off. (This might fix the Kaffeine bug reported by S.Ça??lar Onur <)

- changed SCHED_FAIR back to SCHED_NORMAL (suggested by Con Kolivas)

- UP build fix. (reported by Gabriel C)

- timer tick micro-optimization (Dmitry Adamushko)

- preemption fix: sched_class->check_preempt_curr method to decide whether to preempt after a wakeup (or at a timer tick). (Found via a fairness-test-utility written for CFS by Mike Galbraith)

- start forked children with neutral statistics instead of trying to inherit them from the parent: Willy Tarreau reported that this results in better behavior on extreme workloads, and it also simplifies the code quite nicely. Removed sched_exit() and the ->task_exit() methods.

- make nice levels independent of the sched_granularity value

- new /proc/sched_debug file listing runqueue details and the rbtree

- new SCH-* fields in /proc/<NR>/status to see scheduling details

- new cpu-hog feature (off by default) and sysctl tunable to set it:
/proc/sys/kernel/sched_max_hog_history_ns tunable defaults to 0 (off). Positive values are meant the maximum 'memory' that the scheduler has of CPU hogs.

- various code cleanups

- added more statistics temporarily: sum_exec_runtime, sum_wait_runtime.

Quoted 6 lines

- added -CFS-v2 to EXTRAVERSION

as usual, any sort of feedback, bugreports, fixes and suggestions are more than welcome,

Ingo

This one (v2-rc2) is not a keeper I'm sorry to say, Ingo. v2-rc0 was much better. Watching amanda run with htop, kmails composer is being subjected to 5 to 10 second pauses, and htop says that gzip -best isn't getting more that 15% of the cpu, and the /amandatapes drive is being written to in a regular pattern that seems to be the cause of the pauses according to gkrellm, which also seems to track the size of the writes, and can show anything from 4.3k to 54 megs as being written in one cycle of its screen update.

Somewhat interesting to this, I have amanda doing a verify phase too. During the verify phase (and while I was waiting for gmail to transmit this message, it took 30 minutes before it showed up on the list) I noted that when amrestore fired up, it, and its child tar were only taking about 20% of the cpu between them, and that /dev/hdd was showing a pretty steady 55 to 75MB/sec being read. As to what this tells us, I'm not going to hazard a guess because it wouldn't, this time of the night here in WV, USA, even be a SWAG. Its coming up on 2am and the toothpicks holding my eyes open are sagging badly, making creaking noises even.

Quoted 3 lines

Have you tried previous version with the fair-fork patch ? It might be possible that your workload is sensible to the fork()'s child getting much CPU upon startup.

Willy, I think that patch went by, and was followed by the v2-rc2 so fast that I never got a chance to try it with the v2-rc0 framework. So I believe the answer there is probably no. I never saw a problem with the v2-rc0, but Ingo shot me a message about it without enough detail that I could have tested for it.

FWIW, I've been using the CFQ I/O scheduler for quite a while, is it time I gave the AS or Deadline versions another check? They are all built in but I don't know how to change the default on the fly, or even if it can be done.

Quoted 6 lines

Ingo, maybe I'm saying something stupid, but in my userland scheduler, when new tasks are "forked", they are queued at the end of the run queue with a fixed priority. In our case, this would translate into assigning them the same prio and timeslice as their parent, but queuing them at the end so that they don't make existing tasks starve during huge fork() loads.

Quoted 8 lines

I don't know how that would be possible (nor if that would help in anything), but I found it was a good compromise over sharing the timeslice with the parent. Perhaps we should have some absolute timeslice and some relative timeslice (eg: X percent of total time divided by the number of tasks) ?

Regards,
Willy

Thanks Willy.

Signature · 6 lines
Cheers, Gene
"There are four boxes to be used in defense of liberty:
 soap, ballot, jury, and ammo. Please use in that order."
-Ed Howdershelt (Author)
"I take Him shopping with me. I say, 'OK, Jesus, help me find a bargain'" 
--Tammy Faye Bakker
#11 lore raw
Quoted 3 lines · On Tue, 17 Apr 2007 01:51:08 -0400 Gene Heskett <[email protected]> wrote:

FWIW, I've been using the CFQ I/O scheduler for quite a while, is it time I gave the AS or Deadline versions another check? They are all built in but I don't know how to change the default on the fly, or even if it can be done.

easy :)

# cat /sys/block/DEVICE/queue/scheduler
as noop [cfq] ...
# echo IO_SCHED > /sys/block/DEVICE/queue/scheduler
Signature · 2 lines
	Paolo Ornati
	Linux 2.6.21-rc7 on x86_64
#12 lore raw
In reply to Willy Tarreau
Quoted 3 lines · Willy Tarreau

Have you tried previous version with the fair-fork patch ? It might be possible that your workload is sensible to the fork()'s child getting much CPU upon startup.

Dunno about that, but here's a possibly related datapoint. I reported to Ingo yesterday that I was sometimes losing control of my GUI (KDE) under heavy IO. I just reproduced it in mainline rc7. If I start a bonnie, and click around popping windows to the foreground, then poke KDE's menu button, I may lose all GUI capability for a _very_ long time. Here, with bonnie, that means until it gets past writing with putc, and moves on to rewrite. Ages.

-Mike

#13 lore raw
In reply to Willy Tarreau
Quoted 3 lines · Willy Tarreau

Have you tried previous version with the fair-fork patch ? It might be possible that your workload is sensible to the fork()'s child getting much CPU upon startup.

the fair-fork patch is now included in -v2, but that was already in -v2-rc0 too that i sent to Gene separately. I've attached the -rc0->final delta.

Gene, could you please apply this patch to your -v2-rc0 tree and do a quick double-check that indeed these changes cause the regression?

Ingo

---
 include/linux/sched.h     |    7 +
 kernel/exit.c             |    2 
 kernel/posix-cpu-timers.c |   24 ++---
 kernel/rtmutex.c          |    2 
 kernel/sched.c            |  191 +++++++++++++++++++++++++---------------------
 kernel/sched_debug.c      |   14 +--
 kernel/sched_fair.c       |   80 +++++++++++++------
 kernel/sched_rt.c         |   21 +++++
 kernel/sysctl.c           |    8 +
 9 files changed, 218 insertions(+), 131 deletions(-)
include/linux/sched.h +6 -1
Index: linux/include/linux/sched.h
===================================================================
@@ -798,12 +798,15 @@ struct sched_class {
 	void (*dequeue_task) (struct rq *rq, struct task_struct *p);
 	void (*requeue_task) (struct rq *rq, struct task_struct *p);
 
+	void (*check_preempt_curr) (struct rq *rq, struct task_struct *p);
+
 	struct task_struct * (*pick_next_task) (struct rq *rq);
 	void (*put_prev_task) (struct rq *rq, struct task_struct *p);
 
 	struct task_struct * (*load_balance_start) (struct rq *rq);
 	struct task_struct * (*load_balance_next) (struct rq *rq);
 	void (*task_tick) (struct rq *rq, struct task_struct *p);
+	void (*task_new) (struct rq *rq, struct task_struct *p);
 
 	void (*task_init) (struct rq *rq, struct task_struct *p);
 };
@@ -838,7 +841,8 @@ struct task_struct {
 	u64 last_ran;
 
 	s64 wait_runtime;
-	u64 exec_runtime, fair_key;
+	u64 sum_exec_runtime, fair_key;
+	s64 sum_wait_runtime;
 	long nice_offset;
 	s64 hog_limit;
 
@@ -1236,6 +1240,7 @@ extern char * sched_print_task_state(str
 
 extern unsigned int sysctl_sched_max_hog_history;
 extern unsigned int sysctl_sched_granularity;
+extern unsigned int sysctl_sched_child_runs_first;
 
 #ifdef CONFIG_RT_MUTEXES
 extern int rt_mutex_getprio(struct task_struct *p);
kernel/exit.c +1 -1
Index: linux/kernel/exit.c
===================================================================
@@ -112,7 +112,7 @@ static void __exit_signal(struct task_st
 		sig->maj_flt += tsk->maj_flt;
 		sig->nvcsw += tsk->nvcsw;
 		sig->nivcsw += tsk->nivcsw;
-		sig->sum_sched_runtime += tsk->exec_runtime;
+		sig->sum_sched_runtime += tsk->sum_exec_runtime;
 		sig = NULL; /* Marker for below. */
 	}
 
kernel/posix-cpu-timers.c +12 -12
Index: linux/kernel/posix-cpu-timers.c
===================================================================
@@ -161,7 +161,7 @@ static inline cputime_t virt_ticks(struc
 }
 static inline unsigned long long sched_ns(struct task_struct *p)
 {
-	return (p == current) ? current_sched_runtime(p) : p->exec_runtime;
+	return (p == current) ? current_sched_runtime(p) : p->sum_exec_runtime;
 }
 
 int posix_cpu_clock_getres(const clockid_t which_clock, struct timespec *tp)
@@ -249,7 +249,7 @@ static int cpu_clock_sample_group_locked
 		cpu->sched = p->signal->sum_sched_runtime;
 		/* Add in each other live thread.  */
 		while ((t = next_thread(t)) != p) {
-			cpu->sched += t->exec_runtime;
+			cpu->sched += t->sum_exec_runtime;
 		}
 		cpu->sched += sched_ns(p);
 		break;
@@ -422,7 +422,7 @@ int posix_cpu_timer_del(struct k_itimer 
  */
 static void cleanup_timers(struct list_head *head,
 			   cputime_t utime, cputime_t stime,
-			   unsigned long long exec_runtime)
+			   unsigned long long sum_exec_runtime)
 {
 	struct cpu_timer_list *timer, *next;
 	cputime_t ptime = cputime_add(utime, stime);
@@ -451,10 +451,10 @@ static void cleanup_timers(struct list_h
 	++head;
 	list_for_each_entry_safe(timer, next, head, entry) {
 		list_del_init(&timer->entry);
-		if (timer->expires.sched < exec_runtime) {
+		if (timer->expires.sched < sum_exec_runtime) {
 			timer->expires.sched = 0;
 		} else {
-			timer->expires.sched -= exec_runtime;
+			timer->expires.sched -= sum_exec_runtime;
 		}
 	}
 }
@@ -467,7 +467,7 @@ static void cleanup_timers(struct list_h
 void posix_cpu_timers_exit(struct task_struct *tsk)
 {
 	cleanup_timers(tsk->cpu_timers,
-		       tsk->utime, tsk->stime, tsk->exec_runtime);
+		       tsk->utime, tsk->stime, tsk->sum_exec_runtime);
 
 }
 void posix_cpu_timers_exit_group(struct task_struct *tsk)
@@ -475,7 +475,7 @@ void posix_cpu_timers_exit_group(struct 
 	cleanup_timers(tsk->signal->cpu_timers,
 		       cputime_add(tsk->utime, tsk->signal->utime),
 		       cputime_add(tsk->stime, tsk->signal->stime),
-		       tsk->exec_runtime + tsk->signal->sum_sched_runtime);
+		       tsk->sum_exec_runtime + tsk->signal->sum_sched_runtime);
 }
 
 
@@ -536,7 +536,7 @@ static void process_timer_rebalance(stru
 		nsleft = max_t(unsigned long long, nsleft, 1);
 		do {
 			if (likely(!(t->flags & PF_EXITING))) {
-				ns = t->exec_runtime + nsleft;
+				ns = t->sum_exec_runtime + nsleft;
 				if (t->it_sched_expires == 0 ||
 				    t->it_sched_expires > ns) {
 					t->it_sched_expires = ns;
@@ -1004,7 +1004,7 @@ static void check_thread_timers(struct t
 		struct cpu_timer_list *t = list_entry(timers->next,
 						      struct cpu_timer_list,
 						      entry);
-		if (!--maxfire || tsk->exec_runtime < t->expires.sched) {
+		if (!--maxfire || tsk->sum_exec_runtime < t->expires.sched) {
 			tsk->it_sched_expires = t->expires.sched;
 			break;
 		}
@@ -1049,7 +1049,7 @@ static void check_process_timers(struct 
 	do {
 		utime = cputime_add(utime, t->utime);
 		stime = cputime_add(stime, t->stime);
-		sum_sched_runtime += t->exec_runtime;
+		sum_sched_runtime += t->sum_exec_runtime;
 		t = next_thread(t);
 	} while (t != tsk);
 	ptime = cputime_add(utime, stime);
@@ -1208,7 +1208,7 @@ static void check_process_timers(struct 
 				t->it_virt_expires = ticks;
 			}
 
-			sched = t->exec_runtime + sched_left;
+			sched = t->sum_exec_runtime + sched_left;
 			if (sched_expires && (t->it_sched_expires == 0 ||
 					      t->it_sched_expires > sched)) {
 				t->it_sched_expires = sched;
@@ -1300,7 +1300,7 @@ void run_posix_cpu_timers(struct task_st
 
 	if (UNEXPIRED(prof) && UNEXPIRED(virt) &&
 	    (tsk->it_sched_expires == 0 ||
-	     tsk->exec_runtime < tsk->it_sched_expires))
+	     tsk->sum_exec_runtime < tsk->it_sched_expires))
 		return;
 
 #undef	UNEXPIRED
kernel/rtmutex.c +1 -1
Index: linux/kernel/rtmutex.c
===================================================================
@@ -337,7 +337,7 @@ static inline int try_to_steal_lock(stru
 	 * interrupted, so we would delay a waiter with higher
 	 * priority as current->normal_prio.
 	 *
-	 * Note: in the rare case of a SCHED_FAIR task changing
+	 * Note: in the rare case of a SCHED_OTHER task changing
 	 * its priority and thus stealing the lock, next->task
 	 * might be current:
 	 */
kernel/sched.c +105 -86

295 lines not on this page · raw message

kernel/sched_debug.c +7 -7
Index: linux/kernel/sched_debug.c
===================================================================
@@ -51,10 +51,10 @@ print_task(struct seq_file *m, struct rq
 		p->prio,
 		p->nice_offset,
 		p->hog_limit,
-		p->wait_start_fair,
+		p->wait_start_fair - rq->fair_clock,
 		p->exec_start,
-		p->last_ran,
-		p->exec_runtime);
+		p->sum_exec_runtime,
+		p->sum_wait_runtime);
 }
 
 static void print_rq(struct seq_file *m, struct rq *rq, u64 now)
@@ -66,10 +66,10 @@ static void print_rq(struct seq_file *m,
 	"\nrunnable tasks:\n"
 	"           task   PID     tree-key       delta    waiting"
 	"  switches  prio  nice-offset    hog-limit  wstart-fair   exec-start"
-	"     last-ran exec-runtime\n"
-	"------------------------------------------------------------------"
-	"------------------------------------------------------------------"
-	"-------------------\n");
+	"     sum-exec     sum-wait\n"
+	"---------------------------------------------------------"
+	"--------------------------------------------------------------------"
+	"--------------------------\n");
 
 	curr = first_fair(rq);
 	while (curr) {
kernel/sched_fair.c +57 -23

149 lines not on this page · raw message

kernel/sched_rt.c +21 -0
Index: linux/kernel/sched_rt.c
===================================================================
@@ -34,6 +34,15 @@ static void requeue_task_rt(struct rq *r
 	list_move_tail(&p->run_list, array->queue + p->prio);
 }
 
+/*
+ * Preempt the current task with a newly woken task if needed:
+ */
+static void check_preempt_curr_rt(struct rq *rq, struct task_struct *p)
+{
+	if (p->prio < rq->curr->prio)
+		resched_task(rq->curr);
+}
+
 static struct task_struct * pick_next_task_rt(struct rq *rq)
 {
 	struct prio_array *array = &rq->active;
@@ -140,6 +149,15 @@ static void task_tick_rt(struct rq *rq, 
 	}
 }
 
+/*
+ * No parent/child timeslice management necessary for RT tasks,
+ * just activate them:
+ */
+static void task_new_rt(struct rq *rq, struct task_struct *p)
+{
+	activate_task(rq, p);
+}
+
 static void task_init_rt(struct rq *rq, struct task_struct *p)
 {
 }
@@ -149,6 +167,8 @@ static struct sched_class rt_sched_class
 	.dequeue_task		= dequeue_task_rt,
 	.requeue_task		= requeue_task_rt,
 
+	.check_preempt_curr	= check_preempt_curr_rt,
+
 	.pick_next_task		= pick_next_task_rt,
 	.put_prev_task		= put_prev_task_rt,
 
@@ -156,5 +176,6 @@ static struct sched_class rt_sched_class
 	.load_balance_next	= load_balance_next_rt,
 
 	.task_tick		= task_tick_rt,
+	.task_new		= task_new_rt,
 	.task_init		= task_init_rt,
 };
kernel/sysctl.c +8 -0
Index: linux/kernel/sysctl.c
===================================================================
@@ -222,6 +222,14 @@ static ctl_table kern_table[] = {
 		.proc_handler	= &proc_dointvec,
 	},
 	{
+		.ctl_name	= CTL_UNNUMBERED,
+		.procname	= "sched_child_runs_first",
+		.data		= &sysctl_sched_child_runs_first,
+		.maxlen		= sizeof(unsigned int),
+		.mode		= 0644,
+		.proc_handler	= &proc_dointvec,
+	},
+	{
 		.ctl_name	= KERN_PANIC,
 		.procname	= "panic",
 		.data		= &panic_timeout,
#14 lore raw
In reply to Willy Tarreau
Quoted 83 lines · Willy Tarreau

Hi Gene,

Quoted 62 lines · Gene Heskett
Quoted 61 lines · Ingo Molnar

this is the second release of the CFS (Completely Fair Scheduler) patchset, against v2.6.21-rc7:

http://redhat.com/~mingo/cfs-scheduler/sched-cfs-v2.patch

i'd like to thank everyone for the tremendous amount of feedback and testing the v1 patch got - i could hardly keep up with just reading the mails! Some of the stuff people addressed i couldnt implement yet, i mostly concentrated on bugs, regressions and debuggability.

there's a fair amount of churn:

  15 files changed, 456 insertions(+), 241 deletions(-)

But it's an encouraging sign that there was no crash bug found in v1, all the bugs were related to scheduling-behavior details. The code was tested on 3 architectures so far: i686, x86_64 and ia64. Most of the code size increase in -v2 is due to debugging helpers, they'll be removed later. (The new /proc/sched_debug file can be used to see the fine details of CFS scheduling.)

Changes since -v1:

- make nice levels less starvable. (reported by Willy Tarreau)

- fixed child-runs first. A /proc/sys/kernel/sched_child_runs_first flag can be used to turn it on/off. (This might fix the Kaffeine bug reported by S.Ça??lar Onur <)

- changed SCHED_FAIR back to SCHED_NORMAL (suggested by Con Kolivas)

- UP build fix. (reported by Gabriel C)

- timer tick micro-optimization (Dmitry Adamushko)

- preemption fix: sched_class->check_preempt_curr method to decide whether to preempt after a wakeup (or at a timer tick). (Found via a fairness-test-utility written for CFS by Mike Galbraith)

- start forked children with neutral statistics instead of trying to inherit them from the parent: Willy Tarreau reported that this results in better behavior on extreme workloads, and it also simplifies the code quite nicely. Removed sched_exit() and the ->task_exit() methods.

- make nice levels independent of the sched_granularity value

- new /proc/sched_debug file listing runqueue details and the rbtree

- new SCH-* fields in /proc/<NR>/status to see scheduling details

- new cpu-hog feature (off by default) and sysctl tunable to set it:
/proc/sys/kernel/sched_max_hog_history_ns tunable defaults to 0 (off). Positive values are meant the maximum 'memory' that the scheduler has of CPU hogs.

- various code cleanups

- added more statistics temporarily: sum_exec_runtime, sum_wait_runtime.

Quoted 7 lines
Quoted 6 lines

- added -CFS-v2 to EXTRAVERSION

as usual, any sort of feedback, bugreports, fixes and suggestions are more than welcome,

Ingo

This one (v2-rc2) is not a keeper I'm sorry to say, Ingo. v2-rc0 was much better. Watching amanda run with htop, kmails composer is being subjected to 5 to 10 second pauses, and htop says that gzip -best isn't getting more that 15% of the cpu, and the /amandatapes drive is being written to in a regular pattern that seems to be the cause of the pauses according to gkrellm, which also seems to track the size of the writes, and can show anything from 4.3k to 54 megs as being written in one cycle of its screen update.

Have you tried previous version with the fair-fork patch ? It might be possible that your workload is sensible to the fork()'s child getting much CPU upon startup.

Ingo, maybe I'm saying something stupid, but in my userland scheduler, when new tasks are "forked", they are queued at the end of the run queue with a fixed priority. In our case, this would translate into assigning them the same prio and timeslice as their parent, but queuing them at the end so that they don't make existing tasks starve during huge fork() loads.

Quoted 4 lines

I don't know how that would be possible (nor if that would help in anything), but I found it was a good compromise over sharing the timeslice with the parent. Perhaps we should have some absolute timeslice and some relative timeslice (eg: X percent of total time divided by the number of tasks) ?

One way of handling forked tasks is to give them a high priority but a small chunk (i.e. give them a relatively short time to do some work and surrender the CPU voluntarily before you boot them off). If you choose the size of this reduced chunk well the vast majority of tasks will never be booted off and will do a small bit of work and either exit or sleep and will suffer no penalty as a result of this mechanism. But it gives you a chance to move any newly forked process that turns out to be a CPU hog to a lower priority before it gets its next chunk of CPU at which time it can revert to getting normal size chunks as pre-emption will stop it hogging the CPU from then on.

I've trialled this mechanism in some of my schedulers and it works well.

I found that 10 milliseconds was a good value for the initial chunk of CPU for a newly forked process.

Peter

Signature · 4 lines
Peter Williams                                   [email protected]

"Learning, n. The kind of ignorance distinguishing the studious."
 -- Ambrose Bierce
#15 lore raw
In reply to Gene Heskett
Quoted 8 lines · Gene Heskett

This one (v2-rc2) is not a keeper I'm sorry to say, Ingo. v2-rc0 was much better. Watching amanda run with htop, kmails composer is being subjected to 5 to 10 second pauses, and htop says that gzip -best isn't getting more that 15% of the cpu, and the /amandatapes drive is being written to in a regular pattern that seems to be the cause of the pauses according to gkrellm, which also seems to track the size of the writes, and can show anything from 4.3k to 54 megs as being written in one cycle of its screen update.

ok - fortunately the delta between -v2-rc0 and -v2-final is pretty small. One difference is the child-runs-first fix. To restore the parent-runs-first logic, do this:

echo 0 > /proc/sys/kernel/sched_child_runs_first

does this make any difference?

If not then pretty much the only other change was the nice level tweak i did. Could you try to grab a few snapshots of scheduling state via something like:

while sleep 1; do cat /proc/sched_debug >> to-ingo.txt; done

(and tell me the PID of the kmail composer, to make sure i'm checking the right task's behavior.)

also, as a separate experiment, could you perhaps run this script as root:

cd /proc; for N in [1-9]*; do renice -n 0 $N; done

this will move all tasks in the system to nice level 0 and should make any nice level handling logic in the scheduler irrelevant. Do you have X reniced perhaps?

Lots of system threads have negative or positive nice levels, so once you have executed this script, only a reboot will be a practical way to restore it to the previous settings.

Ingo

#16 lore raw
Quoted 7 lines · Ingo Molnar

ok - fortunately the delta between -v2-rc0 and -v2-final is pretty small. One difference is the child-runs-first fix. To restore the parent-runs-first logic, do this:

echo 0 > /proc/sys/kernel/sched_child_runs_first

does this make any difference?

ok, i've got something better to test: i separated the delta out into a more finegrained stack of 3 patches. You can pick them up from:

http://redhat.com/~mingo/cfs-scheduler/older/sched-cfs-v2-rc0.patch
http://redhat.com/~mingo/cfs-scheduler/older/sched-cfs-v2-rc0-preempt-fix.patch
http://redhat.com/~mingo/cfs-scheduler/older/sched-cfs-v2-rc0-child-runs-first.patch
http://redhat.com/~mingo/cfs-scheduler/older/sched-cfs-v2-rc0-misc.patch

i test-built and test-booted all 4 steps of this. The baseline -v2-rc0 patch should be the one that works - you might want to double-check it, just to be sure. One of the other 3 patches ontop of this baseline causes the regression on your desktop. My current bet is on preempt-fix, so i have put that one first. The other one would be the second patch, child-runs-first. The misc patch should have no effect on behavior - but i've included it for completeness. (and i was wrong about the 'nice fix', it is not in this delta)

Ingo

#17 lore raw
Quoted 10 lines · Ingo Molnar
Quoted 7 lines · Ingo Molnar

ok - fortunately the delta between -v2-rc0 and -v2-final is pretty small. One difference is the child-runs-first fix. To restore the parent-runs-first logic, do this:

echo 0 > /proc/sys/kernel/sched_child_runs_first

does this make any difference?

Quoted 7 lines

ok, i've got something better to test: i separated the delta out into a more finegrained stack of 3 patches. You can pick them up from:

http://redhat.com/~mingo/cfs-scheduler/older/sched-cfs-v2-rc0.patch
http://redhat.com/~mingo/cfs-scheduler/older/sched-cfs-v2-rc0-preempt-fix.patch
http://redhat.com/~mingo/cfs-scheduler/older/sched-cfs-v2-rc0-child-runs-first.patch
http://redhat.com/~mingo/cfs-scheduler/older/sched-cfs-v2-rc0-misc.patch

Isn't that easier for everyone if you keep them as quilt series (ala syslets)?

- Davide

#18 lore raw
Quoted 11 lines · Davide Libenzi
Quoted 8 lines

ok, i've got something better to test: i separated the delta out into a more finegrained stack of 3 patches. You can pick them up from:

http://redhat.com/~mingo/cfs-scheduler/older/sched-cfs-v2-rc0.patch
http://redhat.com/~mingo/cfs-scheduler/older/sched-cfs-v2-rc0-preempt-fix.patch
http://redhat.com/~mingo/cfs-scheduler/older/sched-cfs-v2-rc0-child-runs-first.patch
http://redhat.com/~mingo/cfs-scheduler/older/sched-cfs-v2-rc0-misc.patch

Isn't that easier for everyone if you keep them as quilt series (ala syslets)?

i _do_ have a quilt tree, but i never had the clean splitup above. Why? Because i worked on all of these aspects (and a whole lot of other aspects as well) in parallel during the past 2 days, back and forth, often mixing changes, etc. and there was never any clean splitup.

Now it turned out that the clean splitup of -rc0->final delta would ease Gene's testing so i created it. Note that this is just 30% of the total v1->v2 delta and i just saved the work of having to do a clean splitup of the other 70%. (and note that this splitup will be undone because it makes no sense for any potential upstream merge at all, it's only to ease testing for Gene)

Ingo

#19 lore raw
Quoted 21 lines · Ingo Molnar
Quoted 6 lines · Davide Libenzi
Quoted 6 lines

ok, i've got something better to test: i separated the delta out into a more finegrained stack of 3 patches. You can pick them up from:

http://redhat.com/~mingo/cfs-scheduler/older/sched-cfs-v2-rc0.patch

Quoted 8 lines
Quoted 5 lines

http://redhat.com/~mingo/cfs-scheduler/older/sched-cfs-v2-rc0-preempt-fi
x.patch
http://redhat.com/~mingo/cfs-scheduler/older/sched-cfs-v2-rc0-child-runs
-first.patch
http://redhat.com/~mingo/cfs-scheduler/older/sched-cfs-v2-rc0-misc.patch

Isn't that easier for everyone if you keep them as quilt series (ala syslets)?

i _do_ have a quilt tree, but i never had the clean splitup above. Why? Because i worked on all of these aspects (and a whole lot of other aspects as well) in parallel during the past 2 days, back and forth, often mixing changes, etc. and there was never any clean splitup.

Quoted 6 lines

Now it turned out that the clean splitup of -rc0->final delta would ease Gene's testing so i created it. Note that this is just 30% of the total v1->v2 delta and i just saved the work of having to do a clean splitup of the other 70%. (and note that this splitup will be undone because it makes no sense for any potential upstream merge at all, it's only to ease testing for Gene)

Now he tells me. :-) But I have some CHO stuff to do, so it will be about 36 hours before I can get back to this.

Quoted 1 line

Ingo

Signature · 6 lines
Cheers, Gene
"There are four boxes to be used in defense of liberty:
 soap, ballot, jury, and ammo. Please use in that order."
-Ed Howdershelt (Author)
Support the Girl Scouts!
	(Today's Brownie is tomorrow's Cookie!)
#20 lore raw
In reply to Ingo Molnar
Quoted 12 lines · Ingo Molnar
Quoted 7 lines · Ingo Molnar

ok - fortunately the delta between -v2-rc0 and -v2-final is pretty small. One difference is the child-runs-first fix. To restore the parent-runs-first logic, do this:

echo 0 > /proc/sys/kernel/sched_child_runs_first

does this make any difference?

ok, i've got something better to test: i separated the delta out into a more finegrained stack of 3 patches. You can pick them up from:

Quoted 7 lines

http://redhat.com/~mingo/cfs-scheduler/older/sched-cfs-v2-rc0.patch
http://redhat.com/~mingo/cfs-scheduler/older/sched-cfs-v2-rc0-preempt-fix.p
atch
http://redhat.com/~mingo/cfs-scheduler/older/sched-cfs-v2-rc0-child-runs-fi
rst.patch
http://redhat.com/~mingo/cfs-scheduler/older/sched-cfs-v2-rc0-misc.patch

Ahh, so many cats, and so few recipes here Ingo. In this case cats=patches & recipes=time to test adequately. I do have another box, but it would probably take a week & about a big buck to get that old rh7.3 brought up to date & suitable, and its only a 500MHZ K-III, which might make the diffs more obvious. It would need a video card to replace its dinosaur Diamond and a fresh dvd drive. And its motherboard has very buggy usb chips. TYAN S-1590. Never could get anything bigger than a mouse packet through them.

Quoted 10 lines

i test-built and test-booted all 4 steps of this. The baseline -v2-rc0 patch should be the one that works - you might want to double-check it, just to be sure. One of the other 3 patches ontop of this baseline causes the regression on your desktop. My current bet is on preempt-fix, so i have put that one first. The other one would be the second patch, child-runs-first. The misc patch should have no effect on behavior - but i've included it for completeness. (and i was wrong about the 'nice fix', it is not in this delta)

Ingo

Signature · 7 lines
Cheers, Gene
"There are four boxes to be used in defense of liberty:
 soap, ballot, jury, and ammo. Please use in that order."
-Ed Howdershelt (Author)
Q:	What's the difference between a dead dog in the road and a dead
	lawyer in the road?
A:	There are skid marks in front of the dog.
#21 lore raw
In reply to Ingo Molnar
Quoted 12 lines · Ingo Molnar
Quoted 7 lines · Ingo Molnar

ok - fortunately the delta between -v2-rc0 and -v2-final is pretty small. One difference is the child-runs-first fix. To restore the parent-runs-first logic, do this:

echo 0 > /proc/sys/kernel/sched_child_runs_first

does this make any difference?

ok, i've got something better to test: i separated the delta out into a more finegrained stack of 3 patches. You can pick them up from:

Quoted 7 lines

http://redhat.com/~mingo/cfs-scheduler/older/sched-cfs-v2-rc0.patch
http://redhat.com/~mingo/cfs-scheduler/older/sched-cfs-v2-rc0-preempt-fix.p
atch
http://redhat.com/~mingo/cfs-scheduler/older/sched-cfs-v2-rc0-child-runs-fi
rst.patch
http://redhat.com/~mingo/cfs-scheduler/older/sched-cfs-v2-rc0-misc.patch

Got them all saved Ingo, but it will be late tomorrow before I can play again.

Quoted 10 lines

i test-built and test-booted all 4 steps of this. The baseline -v2-rc0 patch should be the one that works - you might want to double-check it, just to be sure. One of the other 3 patches ontop of this baseline causes the regression on your desktop. My current bet is on preempt-fix, so i have put that one first. The other one would be the second patch, child-runs-first. The misc patch should have no effect on behavior - but i've included it for completeness. (and i was wrong about the 'nice fix', it is not in this delta)

Ingo

Signature · 5 lines
Cheers, Gene
"There are four boxes to be used in defense of liberty:
 soap, ballot, jury, and ammo. Please use in that order."
-Ed Howdershelt (Author)
This life is yours.  Some of it was given to you; the rest, you made yourself.
#22 lore raw
In reply to Ingo Molnar
Quoted 5 lines · Ingo Molnar

ok - fortunately the delta between -v2-rc0 and -v2-final is pretty small. One difference is the child-runs-first fix. To restore the parent-runs-first logic, do this:

echo 0 > /proc/sys/kernel/sched_child_runs_first

Sorry, I did not follow the latest developments, but how many tunables we have so far in CFS? Are those for debug only or they're supposed to stay? Weren't those listed inside the Axis of Evil (just to remain in topic :) till yesterday?

- Davide

#23 lore raw
Quoted 6 lines · Davide Libenzi
Quoted 4 lines · Ingo Molnar

ok - fortunately the delta between -v2-rc0 and -v2-final is pretty small. One difference is the child-runs-first fix. To restore the parent-runs-first logic, do this:

Quoted 6 lines
Quoted 1 line

echo 0 > /proc/sys/kernel/sched_child_runs_first

Sorry, I did not follow the latest developments, but how many tunables we have so far in CFS? Are those for debug only or they're supposed to stay? Weren't those listed inside the Axis of Evil (just to remain in topic :) till yesterday?

Actually I think this is something that makes sense to add, even if just for debugging, but maybe also for production, depending on how much it impacts things. Child runs first is an heuristic optimisation that exploits a VM detail (however fundamental). But for things that don't exec right after forking (and maybe some things that do), it can be nicer to reduce context switches, improve cache patterns, and allow children to be load balanced away before touching memory, if child_runs_first is turned off.

#24 lore raw
Quoted 8 lines · Nick Piggin

Actually I think this is something that makes sense to add, even if just for debugging, but maybe also for production, depending on how much it impacts things. Child runs first is an heuristic optimisation that exploits a VM detail (however fundamental). But for things that don't exec right after forking (and maybe some things that do), it can be nicer to reduce context switches, improve cache patterns, and allow children to be load balanced away before touching memory, if child_runs_first is turned off.

yeah, the primary intent was debug. Nick, am i confused to conclude that mainline in fact runs the _parent_ first, despite all the elaborate runqueue juggling we do there? This piece of code in wake_up_new_task() caught my eyes:

                                p->prio = current->prio;
                                p->normal_prio = current->normal_prio;
                                list_add_tail(&p->run_list, &current->run_list);
                                p->array = current->array;
                                p->array->nr_active++;
                                inc_nr_running(p, rq);

shouldnt the list_add_tail() be list_add(), so that task pickup sees the child first? Maybe we still do child-runs-first in practice, due to the timeslice and sleep average fixups that happen if the parent preempts, but the above piece of code seems a quite elaborate way of doing activate_task(). To have the child _before_ the parent we'd need the add-on patch below. But ... i could be wrong, this is just a quick thought.

Ingo

---
 kernel/sched.c |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
kernel/sched.c +1 -1
Index: linux/kernel/sched.c
===================================================================
@@ -1685,7 +1685,7 @@ void fastcall wake_up_new_task(struct ta
 			else {
 				p->prio = current->prio;
 				p->normal_prio = current->normal_prio;
-				list_add_tail(&p->run_list, &current->run_list);
+				list_add(&p->run_list, &current->run_list);
 				p->array = current->array;
 				p->array->nr_active++;
 				inc_nr_running(p, rq);
#25 lore raw
Quoted 24 lines · Ingo Molnar
Quoted 8 lines · Nick Piggin

Actually I think this is something that makes sense to add, even if just for debugging, but maybe also for production, depending on how much it impacts things. Child runs first is an heuristic optimisation that exploits a VM detail (however fundamental). But for things that don't exec right after forking (and maybe some things that do), it can be nicer to reduce context switches, improve cache patterns, and allow children to be load balanced away before touching memory, if child_runs_first is turned off.

yeah, the primary intent was debug. Nick, am i confused to conclude that mainline in fact runs the _parent_ first, despite all the elaborate runqueue juggling we do there? This piece of code in wake_up_new_task() caught my eyes:

                                p->prio = current->prio;
                                p->normal_prio = current->normal_prio;
                                list_add_tail(&p->run_list, &current->run_list);
                                p->array = current->array;
                                p->array->nr_active++;
                                inc_nr_running(p, rq);
Quoted 7 lines

shouldnt the list_add_tail() be list_add(), so that task pickup sees the child first? Maybe we still do child-runs-first in practice, due to the timeslice and sleep average fixups that happen if the parent preempts, but the above piece of code seems a quite elaborate way of doing activate_task(). To have the child _before_ the parent we'd need the add-on patch below. But ... i could be wrong, this is just a quick thought.

I think that it works because the list we're adding to is not the normal runqueue list head, but the parent's list_head on that runqueue. Which adds the child directly ahead of the parent... I think?

Quoted 20 lines

Ingo

---
 kernel/sched.c |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Index: linux/kernel/sched.c
===================================================================

kernel/sched.c +1 -1
@@ -1685,7 +1685,7 @@ void fastcall wake_up_new_task(struct ta
 			else {
 				p->prio = current->prio;
 				p->normal_prio = current->normal_prio;
-				list_add_tail(&p->run_list, &current->run_list);
+				list_add(&p->run_list, &current->run_list);
 				p->array = current->array;
 				p->array->nr_active++;
 				inc_nr_running(p, rq);
#26 lore raw
Quoted 1 line · Nick Piggin
Quoted 1 line
                  list_add_tail(&p->run_list, &current->run_list);

[...]

Quoted 2 lines
Quoted 2 lines

shouldnt the list_add_tail() be list_add(), so that task pickup sees the child first? [...]

[...]

Quoted 4 lines

I think that it works because the list we're adding to is not the normal runqueue list head, but the parent's list_head on that runqueue. Which adds the child directly ahead of the parent... I think?

yeah, you are right, i was confused: list_add() adds _after_ the head, list_add_tail() adds _before_ the head - and in the middle of the list if we do a list_add_tail() it adds before that entry. So everything's fine and working as expected :)

Ingo

#27 lore raw
In reply to Davide Libenzi
Quoted 9 lines · Davide Libenzi
Quoted 5 lines

ok - fortunately the delta between -v2-rc0 and -v2-final is pretty small. One difference is the child-runs-first fix. To restore the parent-runs-first logic, do this:

echo 0 > /proc/sys/kernel/sched_child_runs_first

Sorry, I did not follow the latest developments, but how many tunables we have so far in CFS? Are those for debug only or they're supposed to stay?

yeah, debug only. I strongly suspect the Kaffeine breakage for example was related to child-runs-first, so userspace developers might be interested in a switch to turn this on/off.

while reviewing the upstream scheduler it occured to me that we are probably _not_ doing child-runs-first there due to the list_add_tail() [it should be a list_add() for it to be child-first. But i havent instrumented this heavily and this portion of the mainline scheduler is pretty fragile.]. So via this flag we could also see the performance impact, besides the compatibility impact.

Quoted 2 lines

Weren't those listed inside the Axis of Evil (just to remain in topic :) till yesterday?

heh ;)

Ingo

#28 lore raw
In reply to Ingo Molnar
Quoted 10 lines · Ingo Molnar
Quoted 8 lines · Gene Heskett

This one (v2-rc2) is not a keeper I'm sorry to say, Ingo. v2-rc0 was much better. Watching amanda run with htop, kmails composer is being subjected to 5 to 10 second pauses, and htop says that gzip -best isn't getting more that 15% of the cpu, and the /amandatapes drive is being written to in a regular pattern that seems to be the cause of the pauses according to gkrellm, which also seems to track the size of the writes, and can show anything from 4.3k to 54 megs as being written in one cycle of its screen update.

Quoted 4 lines

ok - fortunately the delta between -v2-rc0 and -v2-final is pretty small. One difference is the child-runs-first fix. To restore the parent-runs-first logic, do this:

I'm running 21-rc7-CFS-v2-rc0.1 now.

Quoted 1 line

echo 0 > /proc/sys/kernel/sched_child_runs_first

This is currently a 1. Reset to 0 by the above.

Quoted 1 line

does this make any difference?

Hard to tell, not much running except fetchmail/procmail and this composer.

Quoted 6 lines

If not then pretty much the only other change was the nice level tweak i did. Could you try to grab a few snapshots of scheduling state via something like:

while sleep 1; do cat /proc/sched_debug >> to-ingo.txt; done

The crf1.txt is with it=1, the cfr0.txt is with it zeroed.

Quoted 2 lines

(and tell me the PID of the kmail composer, to make sure i'm checking the right task's behavior.)

And I let the crf0 version run longer as I was looking for the composer's pid, but htop (or I) can't see it. Even a ps -e isn't seeing it! But its running, I'm actively typing in it. So you get 3 files, the third one called ps-e.txt, in private mail. I thought it was called composer, I really did.

Quoted 15 lines

also, as a separate experiment, could you perhaps run this script as root:

cd /proc; for N in [1-9]*; do renice -n 0 $N; done

this will move all tasks in the system to nice level 0 and should make any nice level handling logic in the scheduler irrelevant. Do you have X reniced perhaps?

Lots of system threads have negative or positive nice levels, so once you have executed this script, only a reboot will be a practical way to restore it to the previous settings.

Ingo

Signature · 5 lines
Cheers, Gene
"There are four boxes to be used in defense of liberty:
 soap, ballot, jury, and ammo. Please use in that order."
-Ed Howdershelt (Author)
I have many CHARTS and DIAGRAMS..
#29 lore raw
In reply to Ingo Molnar
Quoted 5 lines · Ingo Molnar

this is the second release of the CFS (Completely Fair Scheduler) patchset, against v2.6.21-rc7:

http://redhat.com/~mingo/cfs-scheduler/sched-cfs-v2.patch

i'd like to thank everyone for the tremendous amount of feedback and testing the v1 patch got - i could hardly keep up with just reading the mails! Some of the stuff people addressed i couldnt implement yet, i mostly concentrated on bugs, regressions and debuggability.

Have you considered using rq->raw_weighted_load instead of rq->nr_running in calculating fair_clock? This would take the nice value (or RT priority) of the other tasks into account when determining what's fair.

Peter
PS You'd have to change the migration thread's load_weight from 0 to 1 in order to prevent divide by zero without having to explicitly check for it every time.

Signature · 4 lines
Peter Williams                                   [email protected]

"Learning, n. The kind of ignorance distinguishing the studious."
 -- Ambrose Bierce
#30 lore raw
Quoted 7 lines · Ingo Molnar
Quoted 7 lines

this is the second release of the CFS (Completely Fair Scheduler) patchset, against v2.6.21-rc7:
http://redhat.com/~mingo/cfs-scheduler/sched-cfs-v2.patch
i'd like to thank everyone for the tremendous amount of feedback and testing the v1 patch got - i could hardly keep up with just reading the mails! Some of the stuff people addressed i couldnt implement yet, i mostly concentrated on bugs, regressions and debuggability.

Quoted 4 lines · Peter Williams

Have you considered using rq->raw_weighted_load instead of rq->nr_running in calculating fair_clock? This would take the nice value (or RT priority) of the other tasks into account when determining what's fair.

I suspect you mean (curr->load_weight*delta_exec)/rq->raw_weighted_load in update_curr().

-- wli

#31 lore raw
Quoted 9 lines · William Lee Irwin III
Quoted 4 lines · Peter Williams

Have you considered using rq->raw_weighted_load instead of rq->nr_running in calculating fair_clock? This would take the nice value (or RT priority) of the other tasks into account when determining what's fair.

I suspect you mean (curr->load_weight*delta_exec)/rq->raw_weighted_load in update_curr().

good idea, i'll try that.

Ingo

#32 lore raw
Quoted 9 lines · Ingo Molnar
Quoted 7 lines · William Lee Irwin III
Quoted 4 lines · Peter Williams

Have you considered using rq->raw_weighted_load instead of rq->nr_running in calculating fair_clock? This would take the nice value (or RT priority) of the other tasks into account when determining what's fair.

Quoted 5 lines
Quoted 3 lines

I suspect you mean (curr->load_weight*delta_exec)/rq->raw_weighted_load in update_curr().

good idea, i'll try that.

i'll try another thing too: we could perhaps get rid of rq->nr_running and only use raw_weighted_load, because now the only main remaining property of ->nr_running is "is it zero or not".

[ ->nr_running's only other significant use is 'group_capacity', but in
reality it is only interested in whether all CPUs in the group are busy and what the combined cpu power of that group is, and this could be restructured to use rq->curr and cpu_power - and become independent of nr_running. ]

[ then there are other details like load-average, but we could change
that to be weighted-cpu-load driven - that makes sense anyway: a reniced task should have less effect on the 'system load' than a non-reniced task. ]

that would be one less variable to maintain in the scheduler hotpath, and it would make smpnice an effective _replacement_ for nr_running, instead of an add-on thing that costs a bit of performance.

Ingo

#33 lore raw
In reply to Ingo Molnar
Quoted 8 lines · Ingo Molnar
Quoted 4 lines · William Lee Irwin III
Quoted 1 line · Peter Williams

Have you considered using rq->raw_weighted_load instead of rq->nr_running in calculating fair_clock? This would take the nice value (or RT priority) of the other tasks into account when determining what's fair.

I suspect you mean (curr->load_weight*delta_exec)/rq->raw_weighted_load in update_curr().

good idea, i'll try that.

In the longer term, I'd suggest modifying this idea to use the maximum of rq->raw_weighted_load and a running average of rq->raw_weighted_load much the same as was done within the load balancer code. This will tend to make scheduling "smoother". To try the idea out you could (on an SMP system) use one of the rq->cpu_load[] metrics as the running average.

Peter

Signature · 4 lines
Peter Williams                                   [email protected]

"Learning, n. The kind of ignorance distinguishing the studious."
 -- Ambrose Bierce
#34 lore raw
In reply to William Lee Irwin III
Quoted 10 lines · William Lee Irwin III
Quoted 3 lines · Ingo Molnar
Quoted 3 lines

this is the second release of the CFS (Completely Fair Scheduler) patchset, against v2.6.21-rc7:
http://redhat.com/~mingo/cfs-scheduler/sched-cfs-v2.patch
i'd like to thank everyone for the tremendous amount of feedback and testing the v1 patch got - i could hardly keep up with just reading the mails! Some of the stuff people addressed i couldnt implement yet, i mostly concentrated on bugs, regressions and debuggability.

Quoted 1 line · Peter Williams

Have you considered using rq->raw_weighted_load instead of rq->nr_running in calculating fair_clock? This would take the nice value (or RT priority) of the other tasks into account when determining what's fair.

I suspect you mean (curr->load_weight*delta_exec)/rq->raw_weighted_load in update_curr().

Or something like that, yes. :-)

I was trying to make the point that the weighted load stuff provides useful data for implementing nice (in a number of ways e.g. see spa_ebs).

Also, now that the old time slices are gone, a simpler more efficient function for mapping RT priority or nice (as appropriate) to p->load_weight can be used instead of the current one which uses the time slice the task would have been allocated as a basis. I'd suggest the function that the current one replaced. (Because it was mine :-)).

Peter

Signature · 4 lines
Peter Williams                                   [email protected]

"Learning, n. The kind of ignorance distinguishing the studious."
 -- Ambrose Bierce
#35 lore raw
Quoted 6 lines · Peter Williams
Quoted 5 lines · William Lee Irwin III
Quoted 3 lines · Ingo Molnar
Quoted 3 lines

this is the second release of the CFS (Completely Fair Scheduler) patchset, against v2.6.21-rc7:
http://redhat.com/~mingo/cfs-scheduler/sched-cfs-v2.patch
i'd like to thank everyone for the tremendous amount of feedback and testing the v1 patch got - i could hardly keep up with just reading the mails! Some of the stuff people addressed i couldnt implement yet, i mostly concentrated on bugs, regressions and debuggability.

Quoted 7 lines
Quoted 5 lines · Peter Williams
Quoted 1 line

Have you considered using rq->raw_weighted_load instead of rq->nr_running in calculating fair_clock? This would take the nice value (or RT priority) of the other tasks into account when determining what's fair.

I suspect you mean (curr->load_weight*delta_exec)/rq->raw_weighted_load in update_curr().

Or something like that, yes. :-)

Actually, this formula can't be used for the migration thread itself as its load_weight isn't an accurate reflection of its static priority. But as the migration thread is a real time task this probably isn't an issue, right?

If this assumption is correct (i.e. curr is never a real time task) then my earlier caveat re division by zero being possible is invalid because the migration task will never be the only task on the runqueue when this code is called.

I'm also assuming here that (because of its name) curr is already on the runqueue when this code is called. If it isn't the divisor in the above expression should be (rq->raw_weighted_load + curr->load_weight). This would also preclude the possibility of divide by zero.

Peter

Signature · 4 lines
Peter Williams                                   [email protected]

"Learning, n. The kind of ignorance distinguishing the studious."
 -- Ambrose Bierce
#36 lore raw
In reply to Peter Williams
Quoted 10 lines · Peter Williams

Have you considered using rq->raw_weighted_load instead of rq->nr_running in calculating fair_clock? This would take the nice value (or RT priority) of the other tasks into account when determining what's fair.

Peter

PS You'd have to change the migration thread's load_weight from 0 to 1 in order to prevent divide by zero without having to explicitly check for it every time.

yeah - nice idea, i'll try this.

Ingo