Linux的同步機制從2.0到2.6以來不斷發展完善。從最初的原子操作,到后來的信號量,從大內核鎖到今天的自旋鎖。這些同步機制的發展伴隨Linux從單處理器到對稱多處理器的過渡。
伴隨著從非搶占內核到搶占內核的過度。Linux的鎖機制越來越有效,也越來越復雜。
1)Linux的內核鎖主要是自旋鎖和信號量。
自旋鎖最多只能被一個可執行線程持有,如果一個執行線程試圖請求一個已被爭用(已經被持有)的自旋鎖,那么這個線程就會一直進行忙循環——旋轉——等待鎖重新可用。要是鎖未被爭用,請求它的執行線程便能立刻得到它并且繼續進行。自旋鎖可以在任何時刻防止多于一個的執行線程同時進入臨界區。
Linux中的信號量是一種睡眠鎖。如果有一個任務試圖獲得一個已被持有的信號量時,信號量會將其推入等待隊列,然后讓其睡眠。這時處理器獲得自由去執行其它代碼。當持有信號量的進程將信號量釋放后,在等待隊列中的一個任務將被喚醒,從而便可以獲得這個信號量。
信號量的睡眠特性,使得信號量適用于鎖會被長時間持有的情況;只能在進程上下文中使用,因為中斷上下文中是不能被調度的;另外當代碼持有信號量時,不可以再持有自旋鎖。
Linux 內核中的同步機制:原子操作、信號量、讀寫信號量和自旋鎖的API,另外一些同步機制,包括大內核鎖、讀寫鎖、大讀者鎖、RCU (Read-Copy Update,顧名思義就是讀-拷貝修改),和順序鎖。
2) Linux中的用戶模式和內核模式是什么含意?
MS-DOS等操作系統在單一的CPU模式下運行,但是一些類Unix的操作系統則使用了雙模式,可以有效地實現時間共享。在Linux機器上,CPU要么處于受信任的內核模式,要么處于受限制的用戶模式。除了內核本身處于內核模式以外,所有的用戶進程都運行在用戶模式之中。
內核模式的代碼可以無限制地訪問所有處理器指令集以及全部內存和I/O空間。如果用戶模式的進程要享有此特權,它必須通過系統調用向設備驅動程序或其他內核模式的代碼發出請求。另外,用戶模式的代碼允許發生缺頁,而內核模式的代碼則不允許。
在2.4和更早的內核中,僅僅用戶模式的進程可以被上下文切換出局,由其他進程搶占。除非發生以下兩種情況,否則內核模式代碼可以一直獨占CPU:
(1) 它自愿放棄CPU;
(2) 發生中斷或異常。
2.6內核引入了內核搶占,大多數內核模式的代碼也可以被搶占。
3) 怎樣申請大塊內核內存?
在Linux內核環境下,申請大塊內存的成功率隨著系統運行時間的增加而減少,雖然可以通過vmalloc系列調用申請物理不連續但虛擬地址連續的內存,但畢竟其使用效率不高且在32位系統上vmalloc的內存地址空間有限。所以,一般的建議是在系統啟動階段申請大塊內存,但是其成功的概率也只是比較高而已,而不是100%。如果程序真的比較在意這個申請的成功與否,只能退用“啟動內存”(Boot Memory)。下面就是申請并導出啟動內存的一段示例代碼:
void* x_bootmem = NULL;
EXPORT_SYMBOL(x_bootmem);
unsigned long x_bootmem_size = 0;
EXPORT_SYMBOL(x_bootmem_size);
static int __init x_bootmem_setup(char *str)
{
x_bootmem_size = memparse(str, &str);
x_bootmem = alloc_bootmem(x_bootmem_size);
printk(“Reserved %lu bytes from %p for x\n”, x_bootmem_size, x_bootmem);
return 1;
}
__setup(“x-bootmem=”, x_bootmem_setup);
可見其應用還是比較簡單的,不過利弊總是共生的,它不可避免也有其自身的限制:
內存申請代碼只能連接進內核,不能在模塊中使用。
被申請的內存不會被頁分配器和slab分配器所使用和統計,也就是說它處于系統的可見內存之外,即使在將來的某個地方你釋放了它。
一般用戶只會申請一大塊內存,如果需要在其上實現復雜的內存管理則需要自己實現。
在不允許內存分配失敗的場合,通過啟動內存預留內存空間將是我們唯一的選擇。
4) 用戶進程間通信主要哪幾種方式?
(1)管道(Pipe):管道可用于具有親緣關系進程間的通信,允許一個進程和另一個與它有共同祖先的進程之間進行通信。
(2)命名管道(named pipe):命名管道克服了管道沒有名字的限制,因此,除具有管道所具有的功能外,它還允許無親緣關系進程間的通信。命名管道在文件系統中有對應的文件名。命名管道通過命令mkfifo或系統調用mkfifo來創建。
(3)信號(Signal):信號是比較復雜的通信方式,用于通知接受進程有某種事件發生,除了用于進程間通信外,進程還可以發送信號給進程本身;linux除了支持Unix早期信號語義函數sigal外,還支持語義符合Posix.1標準的信號函數sigaction(實際上,該函數是基于BSD的,BSD為了實現可靠信號機制,又能夠統一對外接口,用sigaction函數重新實現了signal函數)。
(4)消息(Message)隊列:消息隊列是消息的鏈接表,包括Posix消息隊列system V消息隊列。有足夠權限的進程可以向隊列中添加消息,被賦予讀權限的進程則可以讀走隊列中的消息。消息隊列克服了信號承載信息量少,管道只能承載無格式字節流以及緩沖區大小受限等缺
(5)共享內存:使得多個進程可以訪問同一塊內存空間,是最快的可用IPC形式。是針對其他通信機制運行效率較低而設計的。往往與其它通信機制,如信號量結合使用,來達到進程間的同步及互斥。
(6)信號量(semaphore):主要作為進程間以及同一進程不同線程之間的同步手段。
(7)套接字(Socket):更為一般的進程間通信機制,可用于不同機器之間的進程間通信。起初是由Unix系統的BSD分支開發出來的,但現在一般可以移植到其它類Unix系統上:Linux和System V的變種都支持套接字。
5) 通過伙伴系統申請內核內存的函數有哪些?
在物理頁面管理上實現了基于區的伙伴系統(zone based buddy system)。對不同區的內存使用單獨的伙伴系統(buddy system)管理,而且獨立地監控空閑頁。相應接口alloc_pages(gfp_mask, order),_ _get_free_pages(gfp_mask, order)等。
6) 通過slab分配器申請內核內存的函數有?
7) Linux的內核空間和用戶空間是如何劃分的(以32位系統為例)?
8) vmalloc()申請的內存有什么特點?
9) 用戶程序使用malloc()申請到的內存空間在什么范圍?
10) 在支持并使能MMU的系統中,Linux內核和用戶程序分別運行在物理地址模式還是虛擬地址模式?
11) ARM處理器是通過幾級也表進行存儲空間映射的?
12) Linux是通過什么組件來實現支持多種文件系通的?
13) Linux虛擬文件系統的關鍵數據結構有哪些?(至少寫出四個)
14) 對文件或設備的操作函數保存在那個數據結構中?
15) Linux中的文件包括哪些?
16) 創建進程的系統調用有那些?
17) 調用schedule()進行進程切換的方式有幾種?
18) Linux調度程序是根據進程的動態優先級還是靜態優先級來調度進程的?
19) 進程調度的核心數據結構是哪個?
20) 如何加載、卸載一個模塊?
21) 模塊和應用程序分別運行在什么空間?
22) Linux中的浮點運算由應用程序實現還是內核實現?
23) 模塊程序能否使用可鏈接的庫函數?
24) TLB中緩存的是什么內容?
25) Linux中有哪幾種設備?
26) 字符設備驅動程序的關鍵數據結構是哪個?
27) 設備驅動程序包括哪些功能函數?
28) 如何唯一標識一個設備?
29) Linux通過什么方式實現系統調用?
30) Linux軟中斷和工作隊列的作用是什么?
評論