{}

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，它看起來可能是你所得到的，所以只有在搶佔時才需要內核的某些部分在沒有它的情況下就會消失。所以這些循環不會禁用搶佔或重新安排任何事情;在內核源碼的其他地方會有另一個定義（可能是一個真正的函數）。