Re: [PATCH] BUG(): sched.c: Line 944

From: Ingo Molnar (mingo@elte.hu)
Date: Tue Sep 17 2002 - 10:53:33 EST


On Tue, 17 Sep 2002, Linus Torvalds wrote:

> void schedule(void)
> {
> BUG_ON(in_atomic());
> BUG_ON(current->state & TASK_ZOMBIE);
> do_schedule();
> }
>
> void exit_schedule(void)
> {
> BUG_ON(!(current->state & TASK_ZOMBIE));
> do_schedule();
> }

i'd rather do it the other way around - ie. do a:

        if (unlikely(current->state == TASK_ZOMBIE)) {
                ... exit checks ...
        } else {
                ... normal checks ...
        }

this test is cheaper than a function call. I'd say the ZOMBIE check alone
is not significant enough to introduce a function split in the hotpath.
This check is also easier to remove later on.

TASK_ZOMBIE is only ever allowed to be set for exiting tasks. [and if
TASK_ZOMBIE handling is broken then it will trigger the normal atomic
tests so it's not like we are silently ignoring those errors.]

        Ingo

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



This archive was generated by hypermail 2b29 : Mon Sep 23 2002 - 22:00:19 EST