关于linux内核中handle_edge_irq

ddbddb1

问题1
这段代码有什么玄机？
if (unlikely((desc->status &(IRQ_PENDING | IRQ_MASKED | IRQ_DISABLED)) == (IRQ_PENDING | IRQ_MASKED)))

是否可以改为
if(desc->status &(IRQ_PENDING | IRQ_MASKED))

问题2
   
C/C++ code

1. do {
   
2.         struct irqaction *action = desc->action;
   
3.         irqreturn_t action_ret;
   
4. 
   
5.         if (unlikely(!action)) {
   
6.             mask_irq(desc, irq);
   
7.             goto out_unlock;
   
8.         }
   
9.                ....
   
10.                 action_ret = handle_IRQ_event(irq, action);
    
11.              }while(.....)
    

复制代码

判断action是否可以不要，为什么？（我认为可以不要，因为不会出现action为空的情况。即使其他cpu在该cpu执行handle_IRQ_event的时候，准备释放该action，也会等待这次中断执行完毕后再释放）

smalloc

1，2个代码根本不等价，没什么可说的
2，应该是ACTION没注册，那么就相当与没有与此相关的驱动存在

lengyuex

1.同意楼上，LZ逻辑出现混乱了

2.正是unlikely存在的必要，小概率事件必然发生

ddbddb1

关于问题1

1. 
   
2. #define IRQ_DISABLED                0x00000200       
   
3. #define IRQ_PENDING                0x00000400       
   
4. #define IRQ_MASKED                0x00008000
   

复制代码

为什么需要并上IRQ_DISABLED? 大虾能否说详细点，我看了很久确实不知道问什么。


关于问题2
重新看了一下free_irq, 我想应该这样解释。

当A cpu在执行  handle_IRQ_event(irq, action)时，是没有加任何锁得。这时 B cpu可以有机会正在释放该中断，free_irq将会按下面的代码顺序执行：

1. 
   
2.         raw_spin_lock_irqsave(&desc->lock, flags);
   
3. 。。。。
   
4.         action_ptr = &desc->action;
   
5.         for (;;) {
   
6.                 action = *action_ptr;
   
7. 
   
8.                 if (!action) {
   
9.                         WARN(1, "Trying to free already-free IRQ %d\n", irq);
   
10.                         raw_spin_unlock_irqrestore(&desc->lock, flags);
    
11. 
    
12.                         return NULL;
    
13.                 }
    
14. 
    
15.                 if (action->dev_id == dev_id)
    
16.                         break;
    
17.                 action_ptr = &action->next;
    
18.         }
    
19. 。。。。。。。
    
20. 
    
21.         *action_ptr = action->next;
    
22. 。。。。。。。
    
23.         raw_spin_unlock_irqrestore(&desc->lock, flags);
    
24. 。。。。。。。。
    
25.         synchronize_irq(irq);
    

复制代码

当b释放锁后，一直处在无限循环中，等待a把最后一个中断执行完，然后清除IRQ_INPROGRESS.
当a获得锁后，发现action被注销，屏蔽掉该中断，跳出循环。清除IRQ_INPROGRESS.
无限循环中的b检测到IRQ_INPROGRESS标志清除，退出循环。

还有unlikely的意思，应该是告诉编译器对这段不常执行的代码进行分支优化吧。

ps：问题1，真的没想通，再请大虾详解！！！