Linux内核中的同步和互斥分析报告

发布时间：2006-11-19 19:08:57　来源：天极博客网友评论 0 条

　　可以看出，它和semaphore机制解决的都是两个进程的互斥问题，都是让一个进程退出临界区后另一个进程才进入的方法，不过sempahore机制实行的是让进程暂时让出CPU，进入等待队列等待的策略，而spin_lock实行的却是却进程在原地空转，等着另一个进程结束的策略。

　　下边考虑中断对临界区的影响。要互斥的还有进程和中断服务程序之间。当一个进程在执行一个临界区的代码时，可能发生中断，而中断函数可能就会调用这个临界区的代码，不让它进入的话就会产生死锁。这时一个有效的方法就是关中断了。

#define local_irq_save(x) __asm__ __volatile__("pushfl ; popl %0 ;  cli": "=g" (x): /* no input */ :"memory") #define local_irq_restore(x) __asm__ __volatile__("pushl %0 ; popfl": /*  no  output */ :"g" (x):"memory") #define local_irq_disable() __asm__ __volatile__("cli": : :"memory") #define local_irq_enable() __asm__ __volatile__("sti": : :"memory") #define cpu_bh_disable(cpu) do { local_bh_count(cpu)++; barrier(); } while (0) #define cpu_bh_enable(cpu) do { barrier(); local_bh_count(cpu)--; } while (0) #define local_bh_disable() cpu_bh_disable(smp_processor_id()) #define local_bh_enable() cpu_bh_enable(smp_processor_id())

　　对于UP来说，上面已经是足够了，不过对于SMP来说，还要防止来自其它cpu的影响，这时解决的方法就可以把上面的spin_lock机制也综合进来了。

#define spin_lock_irqsave(lock, flags) do {  local_irq_save(flags); sp in_lock(lock); } while (0) #define spin_lock_irq(lock) do { local_irq_disable();  spin_lock(lo ck); } while (0) #define spin_lock_bh(lock) do { local_bh_disable();  spin_lock(loc k); } while (0) #define spin_unlock_irqrestore(lock, flags) do { spin_unlock(lock); local_i rq_restore(flags); } while (0) #define spin_unlock_irq(lock) do { spin_unlock(lock);  local_irq_enable(); } while (0) #define spin_unlock_bh(lock) do { spin_unlock(lock);  local_bh_enable();  } while (0)

　　前面说过，对于UP来说，spin_lock（）是空的，所以以上的定义就一起适用于UP 和SMP的情形了。

read_lock_irqsave(lock, flags) , read_lock_irq(lock),  read_lock_bh(lock) 和 write_lock_irqsave(lock, flags) , write_lock_irq(lock),  write_lock_bh(lock )

　　就是spin_lock的一个小小的变型而己了。

上一页 1 2