{}

Question

尽管在这个论坛和所有其他论坛上已经多次讨论过这个话题，但我仍然有疑问。请帮忙。

宏在内核中的do{} while(0)如何工作？ 例如，

#define preempt_disable() do { } while (0) 

它如何禁用抢占？

#define might_resched() do { } while (0) 

它如何重新安排？

同样我也看到了互斥锁和其他宏的宏。这有什么帮助？我理解以下问题，但不是上述示例。

#define foo(x) do { do something } while(0) 

编辑：

什么为rt_mutex_lock下面的代码？

/** 
* rt_mutex_lock - lock a rt_mutex 
* 
* @lock: the rt_mutex to be locked 
*/ 
void __sched rt_mutex_lock(struct rt_mutex *lock) 
{ 
     might_sleep(); 
     rt_mutex_fastlock(lock, TASK_UNINTERRUPTIBLE, 0, rt_mutex_slowlock); 
} 
EXPORT_SYMBOL_GPL(rt_mutex_lock); 


/* 
* debug aware fast/slowpath lock,trylock,unlock 
* 
* The atomic acquire/release ops are compiled away, when either the 
* architecture does not support cmpxchg or when debugging is enabled. 
*/ 

static inline int rt_mutex_fastlock(struct rt_mutex *lock, 
    int state, int detect_deadlock, int (*slowfn)(struct rt_mutex *lock, 
    int state, struct hrtimer_sleeper *timeout, int detect_deadlock)) 
{ 
     if (!detect_deadlock && likely(rt_mutex_cmpxchg(lock, NULL, current))) { 
       rt_mutex_deadlock_account_lock(lock, current); 
       return 0; 
     } else{ 
       return slowfn(lock, state, NULL, detect_deadlock); 
     } 
} 

我很困惑，因为rt_mutex_deadlock_account_lock是定义在内核两个地方：

在kernel/rtmutex-debug.c：

void rt_mutex_deadlock_account_lock(struct rt_mutex *lock, 
    struct task_struct *task) 
{ 
    //.... 
} 

在kernel/rtmutex.h：

#define rt_mutex_deadlock_account_lock(m, t) do { } while (0) 

在新内核2.6。 35.4在i2c司机rt_mutex_lock(&adap->bus_lock);公顷s取代了mutex_lock()。那么这个锁怎么样？

Answer 1

@Kragen已经回答了什么...虽然构造是 - 它基本上使宏使用更安全。

不过，我不认为它回答了“如何工作的呢？”这样的问题：

#define preempt_disable() do { } while (0) 

宏定义为无能为力。你为什么不想做什么？

• 在某些情况下，您希望使用宏作为占位符来做某些事情。例如，您可能在一个系统中编写代码，其中“抢占”不是问题，但您知道代码可能会移植到“抢占”需要特殊处理的系统。因此，您在第二个系统需要的地方使用宏（以便稍后可以轻松启用处理），但对于第一个系统，则将该宏定义为空白宏。 （例如START_TABLE（）; TABLE_ENTRY（1）; TABLE_ENTRY（2）; END_TABLE（）;）在某些情况下，您可能想要执行一些任务，例如由不同部分组成的任务。这使得你的表格非常干净清晰的实现。但是，你发现你实际上并不需要END_TABLE（）宏。为了保持客户端代码的整洁，您需要定义宏，并将其定义为什么都不做。这样，所有的表都有一个END_TABLE，代码更易于阅读。

• 类似的情况下，可以用两种状态（启用/禁用），其中一个状态需要宏做一些事情，但其他国家只是在默认情况下发生的，所以一个实行是“空”的出现 - 你还在用因为它使得客户端代码更易于理解，因为它明确指出了启用或禁用事物的地方。

Answer 2

请参阅this link以获得比我更好的解释。

Answer 3

IIRC在宏中使用do-while是为了使它们看起来更像是一个正常的函数调用;围绕无束缚的if语句以及类似的东西存在一些细微的语法问题。如果没有这样做 - 宏可能看起来像一个正常的函数调用，但工作方式不同。

我猜想在这种情况下，这些宏正在使用，所以某些函数调用编译到没有;如果没有设置CONFIG_PREEMPT，它看起来可能是你所得到的，所以只有在抢占时才需要内核的某些部分在没有它的情况下就会消失。所以这些循环不会禁用抢占或重新安排任何事情;在内核源码的其他地方会有另一个定义（可能是一个真正的函数）。