linux程序不可抢占,Linux内核之抢占

在Linux中抢占分为用户抢占和内核抢占

1.need_resched

need_resched标志在Linux内核中用来表明是否需要重新调度，每个进程都包含一个need_resched标志，为什么不维护一个全局的need_resched变量呢？这是因为访问进程描述符内的数值要比访问一个全局变量快(current宏速度很快并且描述符通常都在高速缓存中)，need_resched标志在thread_info结构体中，用一个特别的标志变量中的一位来表示。

2.用户抢占

内核即将返回用户空间的时候，如果need_resched标志被设置，会导致schedule(被调用)，此时就会发生用户抢占，简而言之，用户抢占在以下情况时产生：

从系统调用返回用户空间

从中断处理程序返回用户空间时

3.内核抢占

在进行内核抢占的时候，内核必须确保重新调度是安全的，那什么时候重新调度才是安全的呢？只要没有持有锁，内核就可以进行抢占。锁是非抢占区域的标志。

为了支持内核抢占所做的第一处变动，就是为每个进程的thread_info引入preempt_count计数器。该计数器初始值为0，每当使用锁时数值加1，释放锁时数值减1.当数值为0的时候，内核就可以安全的抢占(preempt_disable()函数正是采用这种方式实现了禁止内核抢占)。从中断返回内核空间的时候(比如在进程调度时，内核必须知道哪些进程什么时候时间片用完，所以内核专门维护一个定时器中断处理程序，更新进程时间片，此时就是这种情况，当然还要进程在中断前是处于内核空间的)，内核会检查 need_resched和preempt_count的值，如果need_resched被设置，并且preempt_count为0的话，这说明有一个更为重要的任务需要执行并且可以安全的抢占，此时，调度程序就会被调用。如果preempt_count不为0，说明当前任务持有锁，所以抢占是不安全的。这时，内核就会像通常那样直接从中断返回当前执行进程。如果当前进程持有的所有锁都被释放了，preempt_count就会重新为0.此时，释放锁的代码会检查need_resched是否被设置。如果是的话，就会调用调度程序。

如果内核中的进程被阻塞了，或它显式地调用了schedule()，内核抢占也会显式地发生。

总之，内核抢占会发生在：

中断处理程序正在执行，且返回内核空间之前(在中断上下文中是不可抢占的，所以我觉得应该是中断处理程序完成的时候，跟用户抢占的情况差不多)/异常或系统调用返回内核空间

内核代码再一次具有可抢占性的时候(调用preempt_enbale()函数的时候会检查当前进程是否可抢占)

如果内核中的任务显式地调用schedule()

如果内核中的任务阻塞(这同样会导致调用schedule()，如信号量等睡眠锁)