一、 POSIX 中對可重入和線程安全這兩個概念的定義：

Reentrant Function:A function whose effect, when called by two or more threads,is guaranteed to be as if

the threads each executed the function one after another in an undefined order, even if the actual execution is interleaved.

Thread-Safe Function：A function that may be safely invoked concurrently by multiple threads.

Async-Signal-Safe Function： A function that may be invoked, without restriction from signal-catching functions. No function is async-signal -safe unless explicitly described as such.

以上三者的關系為：可重入函數 必然 是 線程安全函數 和 異步信號安全函數; 線程安全函數不一定是可重入函數。

可重入與線程安全的區別體現在能否在signal處理函數中被調用的問題上，可重入函數在signal處理函數中可以被安全調用，因此同時也是Async-Signal-Safe Function;而線程安全函數不保證可以在signal處理函數中被安全調用，如果通過設置信號阻塞集合等方法保證一個非可重入函數不被信號中斷，那么它也是Async-Signal-Safe Function。

舉個例子，strtok是既不可重入的，也不是線程安全的;加鎖的strtok不是可重入的，但線程安全;而strtok_r既是可重入的，也是線程安全的。也就是說函數如果使用靜態變量，通過加鎖后可以轉成線程安全函數，但仍然有可能不是可重入的。我們所熟知的alloc也是線程安全但不是可重入的。

再舉個例子，假設函數func()在執行過程中需要訪問某個共享資源，因此為了實現線程安全，在使用該資源前加鎖，在不需要資源解鎖。 假設該函數在某次執行過程中，在已經獲得資源鎖之后，有異步信號發生，程序的執行流轉交給對應的信號處理函數;再假設在該信號處理函數中也需要調用函數 func()，那么func()在這次執行中仍會在訪問共享資源前試圖獲得資源鎖，然而我們知道前一個func()實例已然獲得該鎖，因此信號處理函數阻塞;另一方面，信號處理函數結束前被信號中斷的線程是無法恢復執行的，當然也沒有釋放資源的機會，這樣就出現了線程和信號處理函數之間的死鎖局面。

因此，func()盡管通過加鎖的方式能保證線程安全，但是由于函數體對共享資源的訪問，因此是非可重入。

對于這種情況，采用的方法一般是在特定的區域屏蔽一定的信號。

二、可重入函數

我們知道，當捕捉到信號時，不論進程的主控制流程當前執行到哪兒，都會先跳到信號處理函數中執行，從信號處理函數返回后再繼續執行主控制流程。信號處理函數是一個單獨的控制流程，因為它和主控制流程是異步的，二者不存在調用和被調用的關系，并且使用不同的堆棧空間。引入了信號處理函數使得一個進程具有多個控制流程，如果這些控制流程訪問相同的全局資源(全局變量、硬件資源等)，就有可能出現沖突，如下面的例子所示。

main函數調用insert函數向一個鏈表head中插入節點node1，插入操作分為兩步，剛做完第一步的時候，因為硬件中斷使進程切換到內核，再次回用戶態之前檢查到有信號待處理，于是切換到sighandler函數，sighandler也調用insert函數向同一個鏈表head中插入節點node2，插入操作的兩步都做完之后從sighandler返回內核態，再次回到用戶態就從main函數調用的insert函數中繼續往下執行，先前做第一步之后被打斷，現在繼續做完第二步。結果是，main函數和sighandler先后向鏈表中插入兩個節點，而最后只有一個節點真正插入鏈表中了。

像上例這樣，insert函數被不同的控制流程調用，有可能在第一次調用還沒返回時就再次進入該函數，這稱為重入，insert函數訪問一個全局鏈表，有可能因為重入而造成錯亂，像這樣的函數稱為不可重入函數，反之，如果一個函數只訪問自己的局部變量或參數，則稱為可重入(Reentrant)函數。

不可重入函數的原因在于：

1> 已知它們使用靜態數據結構

2> 它們調用malloc和free.

因為malloc通常會為所分配的存儲區維護一個鏈接表，而插入執行信號處理函數的時候，進程可能正在修改此鏈接表。

3> 它們是標準IO函數.

因為標準IO庫的很多實現都使用了全局數據結構

3、sig_atomic_t類型與volatile限定符

在上面的圖示例子中，main和sighandler都調用insert函數則有可能出現鏈表的錯亂，其根本原因在于，對全局鏈表的插入操作要分兩步完成，不是一個原子操作，假如這兩步操作必定會一起做完，中間不可能被打斷，就不會出現錯亂了。

關于原子操作最原始的說法是一條匯編指令能夠完成(對于多線程程序來說原子操作可以指加鎖后的幾個步驟集合)，即使是一條C語句也不一定是一個原子操作，比如 a = 5; 如果a是32位的int變量，在32位機上賦值是原子操作，在16位機上就不是。如果在程序中需要使用一個變量，要保證對它的讀寫都是原子操作，應該采用什么類型呢?

為了解決這些平臺相關的問題，C標準定義了一個類型sig_atomic_t，在不同平臺的C語言庫中取不同的類型，例如在32位機上定義sig_atomic_t為int類型。

在使用sig_atomic_t類型的變量時，還需要注意另一個問題。看如下的例子：

#include

sig_atomic_t a=0;

int main(void)

{

/* register a sighandler */

while(!a); /* wait until a changes in sighandler */

/* do something after signal arrives *

/ return 0;

}

為了簡潔，這里只寫了一個代碼框架來說明問題。在main函數中首先要注冊某個信號的處理函數sighandler，然后在一個while死循環中等待信號發生，如果有信號遞達則執行sighandler，在sighandler中將a改為1，這樣再次回到main函數時就可以退出while循環，執行后續處理。如果在編譯時加了優化選項，則如果第一次比較a是否為0，如果相等則成了死循環，因為不會再次從內存讀取變量a的值。