1,禁止内核抢占的函数是preempt_disable(),允许内核抢占的方法是preempt_enable()
2,真正的上锁前,为何要调用preempt_disable()来关闭抢占的case
http://blog.csdn.net/kasalyn/article/details/11473885
- static inline void raw_spin_lock(raw_spinlock_t *lock)
- {
- preempt_disable();
- do_raw_spin_lock(lock);
- }
在真正的上锁前,为何要调用preempt_disable()来关闭抢占?
相关数据结构:
struct thread_info中
{
unisgned int preempt_count;-----(PREEMPT 0-7位表示内核态禁止抢占计数器,SOFTIRQ 8-15表示软中断禁止计数器,HARDIRQ 16-27表示中断嵌套的深度)
}
只要PREEMPT为0时才允许内核态抢占.
==》
1.如果内核可抢占, 单CPU
process1通过系统调用进入内核态,如果其需要访问临界区,则在进入临界区前获得锁,上锁,V=1,然后进入临界区
如果process1在内核态执行临界区代码的过程中发生了一个外部中断,当中断处理函数返回时,因为内核的可抢占性,此时将会出现一个调度点,如果CPU的运行队列中出现了一个比当前被中断进程process1优先级更高的进程process2,那么被中断的进程将会被换出处理器,即便此时它正运行于内核态。
如果process2也通过系统调用进入内核态,且要访问相同的临界区,则会形成死锁(因为拥有锁的Process1永没有机会再运行从而释放锁)
2.如果内核可抢占,多CPU
CPU1上的process1通过系统调用进入内核态,如果其需要访问临界区,则在进入临界区前获得锁,上锁,V=1,然后进入临界区
如果process1在内核态执行临界区代码的过程中发生了一个外部中断,当中断处理函数返回时,因为内核的可抢占性,此时将会出现一个调度点,如果CPU1的运行队列中出现了一个比当前被中断进程process1优先级更高的进程process2,那么被中断的进程process1将会被换出处理器,即便此时它正运行于内核态。
如果CPU2上的process3也通过系统调用进入内核态,且要访问相同的临界区,也一样形成死锁
3,内存屏障相关
http://blog.csdn.net/joker0910/article/details/7782765
- #define preempt_disable() \
- do{ \
- inc_preempt_count(); \
- barrier(); \
- }while(0)
内存屏障,以强制该语句前后的指令以正确的次序完成,其实在指令序列中放一个wmb的效果是使得指令执行到该处时,把所有缓存的数据写到该写的地方,
同时使得wmb前面的写指令一定会在wmb的写指令之前执行。rmb(读内存屏障)保证了屏障之前的读操作一定会在后来的读操作执行之前完成。wmb保证写操
作不会乱序,mb 指令保证了两者都不会。这些函数都是 barrier函数的超集。