关于内核调度的一点疑问

azfa123

类似下面的函数：
signed long __sched schedule_timeout_interruptible(signed long timeout)
{
        __set_current_state(TASK_INTERRUPTIBLE);
        return schedule_timeout(timeout);
}

如果__set_current_state(TASK_INTERRUPTIBLE)执行完毕，定时器开启之前，发生中断有可能高优先级的其他进程抢占当前进程。那么当前进程是挂在等待队列吗？当前状态不是TASK_RUNNING，调度程序如何使其再次运行的？

EZWORD

按楼主理解那可运行的程序对于单cpu情况下，岂不是只有一个了？
可运行的程序由多个可运行进程链表管理的。

azfa123

回复 2# EZWORD


自认为技术人员的我表达看来真有问题。不好意思，可能我没表达清楚我的困惑之处。

就以上面的schedule_timeout_interruptible函数为例。
如果内核代码（包括驱动代码）调用此函数，在__set_current_state(TASK_INTERRUPTIBLE)之前被抢占，调度程序将当前进程放入可执行队列（状态还是TASK_RUNNING，没疑问），执行调度程序。因为是放在可执行队列，再次调度没什么疑问。
如果程序没有被抢占，在__set_current_state(TASK_INTERRUPTIBLE)之后启动完定时器，然后执行调度程序。调度程序把当前进程放入等待队列（什么等待队列我不关心），调度程序暂时是不会调度此进程继续运行的。当定时器时间到了之后会把当前进程状态设置为TASK_RUNNING，然后放入可执行队列。没有疑问。

我的困惑是：如果抢占发生在__set_current_state(TASK_INTERRUPTIBLE)之后，当然定时器还没设置完，调度程序如何处理的……
当然所有的这一切都要求允许抢占，是否可以抢占我也不确定。但我觉得设置完__set_current_state(TASK_INTERRUPTIBLE)，产生中断，要求调度以及没有占有锁两个条件同时满足应该是大有可能的。

kouu

我的理解是：进程能不能被调度，并不在于它的状态是不是TASK_RUNNING，而在于它在不在运行队列里面。
__set_current_state(TASK_INTERRUPTIBLE)之后，进程依然在运行队列里面，所以它还有机会被调度。
进程要到什么时候才会被移出运行队列呢？是在schedule函数里面，如果发现进程状态不是TASK_RUNNING，则移出运行队列。而在schedule里面，抢占是被禁止的，并且还要对运行队列上锁。

azfa123

回复 4# kouu


谢谢指教！

如果抢占发生在__set_current_state(TASK_INTERRUPTIBLE)之后，当然定时器还没设置完，说白了，就是调度程序运行了，锁住什么不关心，调度程序执行的时候肯定不能也不需要再执行调度程序。此时发现当前进程状态不是TASK_RUNNING,把它移出队列（当然，在此是不是要详加判断其他条件我不清楚），可是定时器还没开启，那岂不是不能设置回TASK_RUNNING，这应该不是真实的结果吧。

EZWORD

神马啊，设置完了状态，又没有移出运行队列，除非掉用那个schedule_timeout,其代码如下：

1. 
   
2.         signed long schedule_timeout(signed long timeout)
   
3. {
   
4. timer_t timer;
   
5. unsigned long expire;
   
6. 
   
7. switch (timeout)
   
8. {
   
9. case MAX_SCHEDULE_TIMEOUT:
   
10. schedule();//此处必须自己去唤醒这个任务。
    
11. goto out;
    
12. default:
    
13. if (timeout < 0)
    
14. {
    
15. printk(KERN_ERR “schedule_timeout: wrong timeout “
    
16. “value %lx from %p\n”, timeout,
    
17. __builtin_return_address(0));
    
18. current->state = TASK_RUNNING;
    
19. goto out;
    
20. }
    
21. }
    
22. expire = timeout + jiffies;
    
23. init_timer(&timer);
    
24. timer.expires = expire;
    
25. timer.data = (unsigned long) current;
    
26. timer.function = process_timeout;
    
27. add_timer(&timer);
    
28. schedule();//再次调度时返回位置
    
29. del_timer_sync(&timer);
    
30. timeout = expire - jiffies;
    
31. out:
    
32. return timeout < 0 ? 0 : timeout;
    
33. }
    
34. 
    

复制代码

azfa123

回复 6# EZWORD


不是呀，哥们，我的困惑不在于正常执行完毕，在于如果有抢占！设置完了状态，定时器还没有设置完成，在此发生抢占，抢占实际上就是调用schedule()找到优先级最高的进程进行切换（这个我理解不知道有没有问题？），当前进程状态不是TASK_RUNNING，切换的进程比当前进程优先级高，这样的情况是调度程序如何处理的？原进程是放在运行队列还是等待队列？因为我觉得放哪都有问题，困惑在于此！

EZWORD

你的这个定时器不是指上面代码的22-25行？

azfa123

回复 8# EZWORD

是呀，这个很关键吗？设置完状态和定时器操作完成并非原子的，如果抢占发生在21,22,23,24,25甚至26里面，如何处理的……

EZWORD

不关键，关键在的在于它还在运行队列中。。。。
个人理解，呵呵，其实我也不是很懂