Xen的idle domain到底在干啥

Xen的4.xxx之后，引入了tasklet的概念，以下以Xen-4.10为具体例子，分析Xen如何进入idle domain的:

raise_softirq(SCHEDULE_SOFTIRQ)

|

schedule(void)

| // 注意，如果next是Idle domain的话，原来的sched timer是不被set的...坏了...

context_switch(prev, next); // 这里的next是Idle domain

|

schedule_tail(next);

|

continue_idle_domain(next)

|

reset_stack_and_jump(idle_loop);

|

-----------------------------------------------------------------------------------------

void idle_loop(void)
{
for ( ; ; )
{
if ( cpu_is_offline(smp_processor_id()) )
play_dead();
(*pm_idle)();
do_tasklet(); //这里是Xen4之后引入的最邪恶的东东，以前没有的
do_softirq();
}
}

-------------------------------------------------------------------------------------------

Tasklet不是新东西，这个概念在Linux里面很早就已经出现。

下面看看在Xen4中，以credit scheduler为背景，看看tasklet的行为被如何定义 (tasklet.h, tasklet.c).

在credit scheduler中，tasklet被赋予最高的优先级。只要有tasklet任务，其他的VCPU都不会被schedule。任务必须在domain中执行，而tasklet就寄生在idle domain中。当有tasklet出现时，实际上是通过临时性的将idle domain的优先级提到最高，然后使tasklet寄托于idle domain来运行。

void do_tasklet(void)
{
... ...

spin_lock_irq(&tasklet_lock);

... ...

spin_unlock_irq(&tasklet_lock);

}

要关中断的...汗...