softirq及tasklet及workqueue.docVIP

softirq和tasklet两者实现机制极其相像，其间的差异异常细微（其实本质上根本没有差异，但是如果你使用系统缺省的代码行为，还是有些极其细微的差异，但是这种差异完全可以通过代码轻易地予以调整）。两者都和中断发生的延后处理有关，也即所谓的bottom half。搞清楚两者间的差异，对中断的延后处理时使用softirq还是tasklet就会更易做出决策。另一个中断延后处理是work queue，不过它是在进程上下文，这与softirq和tasklet运行在中断上下文有本质性的区别。从某种意义上，tasklet是种特殊的softirq（等下我们会看到其行为方式与其他softirq的区别）。Linux系统中定义了如下几个softirq类型：enum{HI_SOFTIRQ=0,TIMER_SOFTIRQ,NET_TX_SOFTIRQ,NET_RX_SOFTIRQ,BLOCK_SOFTIRQ,BLOCK_IOPOLL_SOFTIRQ,TASKLET_SOFTIRQ,SCHED_SOFTIRQ,HRTIMER_SOFTIRQ,RCU_SOFTIRQ, /* Preferable RCU should always be the last softirq */NR_SOFTIRQS};总共10个softirq，tasklet是其中的一种。延后的实现其实是通过一个变量(pending)的某些位置1来跟踪哪些softirq需要处理，比如该变量如果因为bit 1, 3位置1，所以说明TIMER_SOFTIRQ和NET_RX_SOFTIRQ所对应的softirq需要处理。处理是调用对应的函数的另一种说法。 在系统初始化期间: 1. void __init softirq_init(void) 2. { 3. int cpu; 4. 5. for_each_possible_cpu(cpu) { 6. int i; 7. per_cpu(tasklet_vec, cpu).tail = per_cpu(tasklet_vec, cpu).head; 10. per_cpu(tasklet_hi_vec, cpu).tail = 11. per_cpu(tasklet_hi_vec, cpu).head; 12. for (i = 0; i NR_SOFTIRQS; i++) 13. INIT_LIST_HEAD(per_cpu(softirq_work_list[i], cpu)); 14. } 15. 16. register_hotcpu_notifier(remote_softirq_cpu_notifier); 17. 18. open_softirq(TASKLET_SOFTIRQ, tasklet_action); 19. open_softirq(HI_SOFTIRQ, tasklet_hi_action); 20. } 所以当发现TASKLET_SOFTIRQ, HI_SOFTIRQ需要处理时，系统首先调用的是tasklet_action和tasklet_hi_action。系统在发现有softirq需要处理时，先从pending变量的第0位开始检查，如果是1，调用对应的action. 从softirq_init来看，TASKLET_SOFTIRQ和HI_SOFTIRQ已经被初始化为tasklet_action和tasklet_hi_action。既然可以用open_softirq来定义对应的softirq的action，那么其实softirq和tasklet本质是完全一样的。前面我们说到细微的差异，其实是基于softirq_init中赋予的TASKLET_SOFTIRQ缺省的action:tasklet_action 1. tasklet在driver中的使用因为系统已经为在softirq_init函数中为TASKLET_SOFTIRQ赋予了缺省的action，所以在内核模块中只需要初始化一个struct tasklet_struct型的变量： 1. struct tasklet_struct 2. { 3. struct tasklet_struct *next; 4. unsigned long state; 5. atomic_t count; 6. void (*func)(unsigned long); 7. unsigned long data; 8. }; 有两种方式来初始化这个变量，静态的和动态的，分别是： 1. #define DECLARE_TASKLET(name, func, data) \ 2. str