Re: [Question] Some question about Ingo scheduler.

[Antonio Vargas <windenntw@gmail.com>]

On 10/9/05, Steven Rostedt <rostedt@goodmis.org> wrote:
>
> On Sat, 8 Oct 2005, liyu wrote:
>
> > Hi, Everyone on lkml
>
> Hi Liyu,
>
> >
> >     I am read linux scheduler at home in last vacation.
> >
> >     After read , I have some question that want to consult:
> >
> >     1.
> >
> >     In schedule() function, we can find some code like this:
> >
> >
> >         if (prev->state && !(preempt_count() & PREEMPT_ACTIVE)) {
> >                 switch_count = &prev->nvcsw;
> >                 if (unlikely((prev->state & TASK_INTERRUPTIBLE) &&
> >                                 unlikely(signal_pending(prev))))
> >                         prev->state = TASK_RUNNING;
> >                 else {
> >                         if (prev->state == TASK_UNINTERRUPTIBLE)
> >                                 rq->nr_uninterruptible++;
> >                         deactivate_task(prev, rq);
> >                 }
> >         }
> >
> >     I think I can understand code in two braces: they want to change
> > status of task which have signal pending when sleep, or remove task
> > that is 'deep sleeping' from ready queue.
> >     but my question is why we do not need such code (in both braces)
> > when preempt is enable?
>
> I'm sorry I don't quite understand your question, but I can at least
> explain the logic of what is happening.
>
> The first "if" is entered if the prev task is in something other than the
> TASK_RUNNING state (which is zero).  It also has to not have the
> PREEMPT_ACTIVE set.  The next "if" checks to see if the prev task is in
> the TASK_INTERRUPTIBLE state and has a signal pending. Which the
> TASK_INTERRUPTIBLE state allows to be woken up on signals.
>
> If there is no signal or the task is sleeping other than
> TASK_INTERRUPTIBLE then the task is taken off the run queue.
>
> Now the reason for the check against PREEMPT_ACTIVE is very important
> here.  If PREEMPT_ACTIVE is set, then that means that the task was
> preempted by something else and did _not_ call schedule directly. Code
> that usually sets current to something other than TASK_RUNNING usually has
> logic around it to test if it should call schedule and be taken off the
> run queue.  If PREEMPT_ACTIVE is set, then that means you don't know where
> in this logic the task was preempted. If you take it off the run queue
> now, it may not have been in a position to ever wake up. So you don't
> ever want a preemption to take a task off the run queue. Only when the
> task implicitly calls schedule.
>
> >
> >
> >     2. in scheduler_tick()
> >
> >     Before split time slice, we should be check some conditions first, these
> > check code is copied here:
> >
> >                 /*
> >                  * Prevent a too long timeslice allowing a task to
> > monopolize
> >                  * the CPU. We do this by splitting up the timeslice into
> >                  * smaller pieces.
> >                  *
> >                  * Note: this does not mean the task's timeslices expire or
> >                  * get lost in any way, they just might be preempted by
> >                  * another task of equal priority. (one with higher
> >                  * priority would have preempted this task already.) We
> >                  * requeue this task to the end of the list on this priority
> >                  * level, which is in essence a round-robin of tasks with
> >                  * equal priority.
> >                  *
> >                  * This only applies to tasks in the interactive
> >                  * delta range with at least TIMESLICE_GRANULARITY to
> > requeue.
> >                  */
> >                 if (TASK_INTERACTIVE(p) && !((task_timeslice(p) -
> >                         p->time_slice) % TIMESLICE_GRANULARITY(p)) &&
> >                         (p->time_slice >= TIMESLICE_GRANULARITY(p)) &&
> >                         (p->array == rq->active)) {
> >
> >
> >                         requeue_task(p, rq->active);
> >                         set_tsk_need_resched(p);
> >                 }
> >
> >     My  second question is , what's mean of
> >
> >     (task_timeslice(p) - p->time_slice) % TIMESLICE_GRANULARITY(p)
> >
>
> Sorry, I'm not about to even think about what Ingo's doing here ;-) I just
> trust Ingo knows what he's doing.
>
> You need to ask Ingo himself.
>

Hmmm... basic working is: assume that task P and Q are interactive,
and at the start of the scheduling cycle, both P and Q have got 200
slices to burn, and also that TIMESLICE_GRANULARITY is 50 for P and
100 for Q. Then, by starting to schedule P first, P would run for 50
cycles, Q for 100, P for 50, Q for 100 and P for 50 + 50.

Please note that there are probably more details to take acount of,
but basic logic is that given some tasks with same priority, they
don't use all their slice in one go but take turns in using it.
Probably the granilarity is related to static priority, dynamic
priority, interactive stimation or whatever else control feature.

--
Greetz, Antonio Vargas aka winden of network

http://wind.codepixel.com/


Every day, every year
you have to work
you have to study
you have to scene.