方法之三:以數據結構爲基點,觸類旁通
結構化程序設計思想認爲:程序 = 數據結構 + 算法。數據結構體現了整個系統的構架,所以數據結構通常都是代碼分析的很好的着手點,對Linux內核分析尤其如此。比如,把進程控制塊結構分析清楚了,就對進程有了基本的把握;再比如,把頁目錄結構和頁表結構弄懂了,兩級虛存映射和內存管理也就掌握得差不多了。爲了體現循序漸進的思想,在這我就以Linux對中斷機制的處理來介紹這種方法。
首先,必須指出的是:在此處,中斷指廣義的中斷概義,它指所有通過idt進行的控制轉移的機制和處理;它覆蓋以下幾個常用的概義:中斷、異常、可屏蔽中斷、不可屏蔽中斷、硬中斷、軟中斷 … … …
I、硬件提供的中斷機制和約定
一.中斷向量尋址:
硬件提供可供256個服務程序中斷進入的入口,即中斷向量;
中斷向量在保護模式下的實現機制是中斷描述符表idt,idt的位置由idtr確定,idtr是個48位的寄存器,高32位是idt的基址,低16位爲idt的界限(通常爲2k=256*8);
idt中包含256箇中斷描述符,對應256箇中斷向量;每個中斷描述符8位,其結構如圖一:
中斷進入過程如圖二所示。
當中斷是由低特權級轉到高特權級(即當前特權級CPL>DPL)時,將進行堆棧的轉移;內層堆棧的選擇由當前tss的相應字段確定,而且內層堆棧將依次被壓入如下數據:外層SS,外層ESP,EFLAGS,外層CS,外層EIP; 中斷返回過程爲一逆過程;
二.異常處理機制:
Intel公司保留0-31號中斷向量用來處理異常事件:當產生一個異常時,處理機就會自動把控制轉移到相應的處理程序的入口,異常的處理程序由操作系統提供,中斷向量和異常事件對應如表一:
表一、中斷向量和異常事件對應表
中斷向量號 |
異常事件 |
Linux的處理程序 |
0 |
除法錯誤 |
Divide_error |
1 |
調試異常 |
Debug |
2 |
NMI中斷 |
Nmi |
3 |
單字節,int 3 |
Int3 |
4 |
溢出 |
Overflow |
5 |
邊界監測中斷 |
Bounds |
6 |
無效操作碼 |
Invalid_op |
7 |
設備不可用 |
Device_not_available |
8 |
雙重故障 |
Double_fault |
9 |
協處理器段溢出 |
Coprocessor_segment_overrun |
10 |
無效TSS |
Incalid_tss |
11 |
缺段中斷 |
Segment_not_present |
12 |
堆棧異常 |
Stack_segment |
13 |
一般保護異常 |
General_protection |
14 |
頁異常 |
Page_fault |
15 |
|
Spurious_interrupt_bug |
16 |
協處理器出錯 |
Coprocessor_error |
17 |
對齊檢查中斷 |
Alignment_check |
三.可編程中斷控制器8259A:
爲更好的處理外部設備,x86微機提供了兩片可編程中斷控制器,用來輔助cpu接受外部的中斷信號;對於中斷,cpu只提供兩個外接引線:NMI和INTR;
NMI只能通過端口操作來屏蔽,它通常用於:電源掉電和物理存儲器奇偶驗錯;
INTR可通過直接設置中斷屏蔽位來屏蔽,它可用來接受外部中斷信號,但只有一個引線,不夠用;所以它通過外接兩片級鏈了的8259A,以接受更多的外部中斷信號。8259A主要完成這樣一些任務:
-
中斷優先級排隊管理,
-
接受外部中斷請求
-
向cpu提供中斷類型號
-
外部設備產生的中斷信號在IRQ(中斷請求)管腳上首先由中斷控制器處理。中斷控制器可以響應多箇中斷輸入,它的輸出連接到 CPU 的 INT 管腳,信號可通過INT 管腳,通知處理器產生了中斷。如果 CPU 這時可以處理中斷,CPU 會通過 INTA(中斷確認)管腳上的信號通知中斷控制器已接受中斷,這時,中斷控制器可將一個 8 位數據放置在數據總線上,這一 8 位數據也稱爲中斷向量號,CPU 依據中斷向量號和中斷描述符表(IDT)中的信息自動調用相應的中斷服務程序。圖三中,兩個中斷控制器級聯了起來,從屬中斷控制器的輸出連接到了主中斷控制器的第 3 箇中斷信號輸入,這樣,該系統可處理的外部中斷數量最多可達 15 個,圖的右邊是 i386 PC 中各中斷輸入管腳的一般分配。可通過對8259A的初始化,使這15個外接引腳對應256箇中斷向量的任何15個連續的向量;由於intel公司保留0-31號中斷向量用來處理異常事件(而默認情況下,IBM bios把硬中斷設在0x08-0x0f),所以,硬中斷必須設在31以後,linux則在實模式下初始化時把其設在0x20-0x2F,對此下面還將具體說明。
II、Linux的中斷處理
硬件中斷機制提供了256個入口,即idt中包含的256箇中斷描述符(對應256箇中斷向量)。
而0-31號中斷向量被intel公司保留用來處理異常事件,不能另作它用。對這0-31號中斷向量,操作系統只需提供異常的處理程序,當產生一個異常時,處理機就會自動把控制轉移到相應的處理程序的入口,運行相應的處理程序;而事實上,對於這32個處理異常的中斷向量,此版本(2.2.5)的Linux只提供了0-17號中斷向量的處理程序,其對應處理程序參見表一、中斷向量和異常事件對應表;也就是說,17-31號中斷向量是空着未用的。
既然0-31號中斷向量已被保留,那麼,就是剩下32-255共224箇中斷向量可用。這224箇中斷向量又是怎麼分配的呢?在此版本(2.2.5)的Linux中,除了0x80 (SYSCALL_VECTOR)用作系統調用總入口之外,其他都用在外部硬件中斷源上,其中包括可編程中斷控制器8259A的15個irq;事實上,當沒有定義CONFIG_X86_IO_APIC時,其他223(除0x80外)箇中斷向量,只利用了從32號開始的15個,其它208個空着未用。
這些中斷服務程序入口的設置將在下面有詳細說明。
一.相關數據結構
-
中斷描述符表idt: 也就是中斷向量表,相當如一個數組,保存着各中斷服務例程的入口。(詳細描述參見圖一、中斷描述符格式)
-
與硬中斷相關數據結構:
與硬中斷相關數據結構主要有三個:
一:定義在/arch/i386/kernel/irq.h中的
struct hw_interrupt_type {
const char * typename;
void (*startup)(unsigned int irq);
void (*shutdown)(unsigned int irq);
void (*handle)(unsigned int irq, struct pt_regs * regs);
void (*enable)(unsigned int irq);
void (*disable)(unsigned int irq);
};
二:定義在/arch/i386/kernel/irq.h中的
typedef struct {
unsigned int status; /* IRQ status - IRQ_INPROGRESS, IRQ_DISABLED */
struct hw_interrupt_type *handler; /* handle/enable/disable functions */
struct irqaction *action; /* IRQ action list */
unsigned int depth; /* Disable depth for nested irq disables */
} irq_desc_t;
三:定義在include/linux/ interrupt.h中的
struct irqaction {
void (*handler)(int, void *, struct pt_regs *);
unsigned long flags;
unsigned long mask;
const char *name;
void *dev_id;
struct irqaction *next;
};
三者關係如下:
圖四、與硬中斷相關的幾個數據結構各關係
各結構成員詳述如下:
struct irqaction結構,它包含了內核接收到特定IRQ之後應該採取的操作,其成員如下:
-
handler:是一指向某個函數的指針。該函數就是所在結構對相應中斷的處理函數。
-
flags:取值只有SA_INTERRUPT(中斷可嵌套),SA_SAMPLE_RANDOM(這個中斷是源於物理隨機性的),和SA_SHIRQ(這個IRQ和其它struct irqaction共享)。
-
mask:在x86或者體系結構無關的代碼中不會使用(除非將其設置爲0);只有在SPARC64的移植版本中要跟蹤有關軟盤的信息時纔會使用它。
-
name:產生中斷的硬件設備的名字。因爲不止一個硬件可以共享一個IRQ。
-
dev_id:標識硬件類型的一個唯一的ID。Linux支持的所有硬件設備的每一種類型,都有一個由製造廠商定義的在此成員中記錄的設備ID。
-
next:如果IRQ是共享的,那麼這就是指向隊列中下一個struct irqaction結構的指針。通常情況下,IRQ不是共享的,因此這個成員就爲空。
struct hw_interrupt_type結構,它是一個抽象的中斷控制器。這包含一系列的指向函數的指針,這些函數處理控制器特有的操作:
-
typename:控制器的名字。
-
startup:允許從給定的控制器的IRQ所產生的事件。
-
shutdown:禁止從給定的控制器的IRQ所產生的事件。
-
handle:根據提供給該函數的IRQ,處理唯一的中斷。
- enable和disable:這兩個函數基本上和startup和shutdown相同;
另外一個數據結構是irq_desc_t,它具有如下成員:
-
status:一個整數。代表IRQ的狀態:IRQ是否被禁止了,有關IRQ的設備當前是否正被自動檢測,等等。
-
handler:指向hw_interrupt_type的指針。
-
action:指向irqaction結構組成的隊列的頭。正常情況下每個IRQ只有一個操作,因此鏈接列表的正常長度是1(或者0)。但是,如果IRQ被兩個或者多個設備所共享,那麼這個隊列中就有多個操作。
-
depth:irq_desc_t的當前用戶的個數。主要是用來保證在中斷處理過程中IRQ不會被禁止。
-
irq_desc是irq_desc_t 類型的數組。對於每一個IRQ都有一個數組入口,即數組把每一個IRQ映射到和它相關的處理程序和irq_desc_t中的其它信息。
-
與Bottom_half相關的數據結構:
圖五、底半處理數據結構示意圖
-
bh_mask_count:計數器。對每個enable/disable請求嵌套對進行計數。這些請求通過調用enable_bh和disable_bh實現。每個禁止請求都增加計數器;每個使能請求都減小計數器。當計數器達到0時,所有未完成的禁止語句都已經被使能語句所匹配了,因此下半部分最終被重新使能。(定義在kernel/softirq.c中)
-
bh_mask和bh_active:它們共同決定下半部分是否運行。它們兩個都有32位,而每一個下半部分都佔用一位。當一個上半部分(或者一些其它代碼)決定其下半部分需要運行時,就通過設置bh_active中的一位來標記下半部分。不管是否做這樣的標記,下半部分都可以通過清空bh_mask中的相關位來使之失效。因此,對bh_mask和bh_active進行位AND運算就能夠表明應該運行哪一個下半部分。特別是如果位與運算的結果是0,就沒有下半部分需要運行。
-
bh_base:是一組簡單的指向下半部分處理函數的指針。
bh_base代表的指針數組中可包含 32 個不同的底半處理程序。bh_mask 和 bh_active 的數據位分別代表對應的底半處理過程是否安裝和激活。如果 bh_mask 的第 N 位爲 1,則說明 bh_base 數組的第 N 個元素包含某個底半處理過程的地址;如果 bh_active 的第 N 位爲 1,則說明必須由調度程序在適當的時候調用第 N 個底半處理過程。
二. 向量的設置和相關數據的初始化:
在實模式下的初始化過程中,通過對中斷控制器8259A-1,9259A-2重新編程,把硬中斷設到0x20-0x2F。即把IRQ0�;IRQ15分別與0x20-0x2F號中斷向量對應起來;當對應的IRQ發生了時,處理機就會通過相應的中斷向量,把控制轉到對應的中斷服務例程。(源碼在Arch/i386/boot/setup.S文件中;相關內容可參見 實模式下的初始化 部分)在保護模式下的初始化過程中,設置並初始化idt,共256個入口,服務程序均爲ignore_int, 該服務程序僅打印“Unknown interruptn”。(源碼參見Arch/i386/KERNEL/head.S文件;相關內容可參見 保護模式下的初始化 部分)
在系統初始化完成後運行的第一個內核程序asmlinkage void __init start_kernel(void) (源碼在文件init/main.c中) 中,通過調用void __init trap_init(void)函數,把各自陷和中斷服務程序的入口地址設置到 idt 表中,即將表一中對應的處理程序入口設置到相應的中斷向量表項中;在此版本(2.2.5)的Linux只設置0-17號中斷向量。(trap_init(void)函數定義在arch/i386/kernel/traps.c 中; 相關內容可參見 詳解系統調用 部分)
在同一個函數void __init trap_init(void)中,通過調用函數set_system_gate(SYSCALL_VECTOR,&system_call); 把系統調用總控程序的入口掛在中斷0x80上。其中SYSCALL_VECTOR是定義在 linux/arch/i386/kernel/irq.h中的一個常量0x80; 而 system_call 即爲中斷總控程序的入口地址;中斷總控程序用彙編語言定義在arch/i386/kernel/entry.S中。(相關內容可參見 詳解系統調用 部分)
在系統初始化完成後運行的第一個內核程序asmlinkage void __init start_kernel(void) (源碼在文件init/main.c中) 中,通過調用void init_IRQ(void)函數,把地址標號interrupt[i](i從1-223)設置到 idt 表中的的32-255號中斷向量(0x80除外),外部硬件IRQ的觸發,將通過這些地址標號最終進入到各自相應的處理程序。(init_IRQ(void)函數定義在arch/i386/kernel/IRQ.c 中;)
interrupt[i](i從1-223),是在arch/i386/kernel/IRQ.c文件中,通過一系列嵌套的類似如BUILD_16_IRQS(0x0)的宏,定義的一系列地址標號;(這些定義interrupt[i]的宏,全部定義在文件arch/i386/kernel/IRQ.c和arch/i386/kernel/IRQ.H中。這些嵌套的宏的使用,原理很簡單,但很煩,限於篇幅,在此省略)
各以interrupt[i]爲入口的代碼,在進行一些簡單的處理後,最後都會調用函數asmlinkage void do_IRQ(struct pt_regs regs),do_IRQ函數調用static void do_8259A_IRQ(unsigned int irq, struct pt_regs * regs) 而do_8259A_IRQ在進行必要的處理後,將調用已與此IRQ建立聯繫irqaction中的處理函數,以進行相應的中斷處理。最後處理機將跳轉到ret_from_intr進行必要處理後,整個中斷處理結束返回。(相關源碼都在文件arch/i386/kernel/IRQ.c和arch/i386/kernel/IRQ.H中。Irqaction結構參見上面的數據結構說明)
三. Bottom_half處理機制
在此版本(2.2.5)的Linux中,中斷處理程序從概念上被分爲上半部分(top half)和下半部分(bottom half);在中斷髮生時上半部分的處理過程立即執行,但是下半部分(如果有的話)卻推遲執行。內核把上半部分和下半部分作爲獨立的函數來處理,上半部分決定其相關的下半部分是否需要執行。必須立即執行的部分必須位於上半部分,而可以推遲的部分可能屬於下半部分。
那麼爲什麼這樣劃分成兩個部分呢?
- 一個原因是要把中斷的總延遲時間最小化。Linux內核定義了兩種類型的中斷,快速的和慢速的,這兩者之間的一個區別是慢速中斷自身還可以被中斷,而快速中斷則不能。因此,當處理快速中斷時,如果有其它中斷到達;不管是快速中斷還是慢速中斷,它們都必須等待。爲了儘可能快地處理這些其它的中斷,內核就需要儘可能地將處理延遲到下半部分執行。
- 另外一個原因是,當內核執行上半部分時,正在服務的這個特殊IRQ將會被可編程中斷控制器禁止,於是,連接在同一個IRQ上的其它設備就只有等到該該中斷處理被處理完畢後果才能發出IRQ請求。而採用Bottom_half機制後,不需要立即處理的部分就可以放在下半部分處理,從而,加快了處理機對外部設備的中斷請求的響應速度。
- 還有一個原因就是,處理程序的下半部分還可以包含一些並非每次中斷都必須處理的操作;對這些操作,內核可以在一系列設備中斷之後集中處理一次就可以了。即在這種情況下,每次都執行並非必要的操作完全是一種浪費,而採用Bottom_half機制後,可以稍稍延遲並在後來只執行一次就行了。
由此可見,沒有必要每次中斷都調用下半部分;只有bh_mask 和 bh_active的對應位的與爲1時,才必須執行下半部分(do_botoom_half)。所以,如果在上半部分中(也可能在其他地方)決定必須執行對應的半部分,那麼可以通過設置bh_active的對應位,來指明下半部分必須執行。當然,如果bh_active的對應位被置位,也不一定會馬上執行下半部分,因爲還必須具備另外兩個條件:首先是bh_mask的相應位也必須被置位,另外,就是處理的時機,如果下半部分已經標記過需要執行了,現在又再次標記,那麼內核就簡單地保持這個標記;當情況允許的時候,內核就對它進行處理。如果在內核有機會運行其下半部分之前給定的設備就已經發生了100次中斷,那麼內核的上半部分就運行100次,下半部分運行1次。
bh_base數組的索引是靜態定義的,定時器底半處理過程的地址保存在第 0 個元素中,控制檯底半處理過程的地址保存在第 1 個元素中,等等。當 bh_mask 和 bh_active 表明第 N 個底半處理過程已被安裝且處於活動狀態,則調度程序會調用第 N 個底半處理過程,該底半處理過程最終會處理與之相關的任務隊列中的各個任務。因爲調度程序從第 0 個元素開始依次檢查每個底半處理過程,因此,第 0 個底半處理過程具有最高的優先級,第 31 個底半處理過程的優先級最低。
內核中的某些底半處理過程是和特定設備相關的,而其他一些則更一般一些。表二列出了內核中通用的底半處理過程。
TIMER_BH(定時器) | 在每次系統的週期性定時器中斷中,該底半處理過程被標記爲活動狀態,並用來驅動內核的定時器隊列機制。 |
CONSOLE_BH(控制檯) | 該處理過程用來處理控制檯消息。 |
TQUEUE_BH(TTY 消息隊列) | 該處理過程用來處理 tty 消息。 |
NET_BH(網絡) | 用於一般網絡處理,作爲網絡層的一部分 |
IMMEDIATE_BH(立即) | 這是一個一般性處理過程,許多設備驅動程序利用該過程對自己要在隨後處理的任務進行排隊。 |
當某個設備驅動程序,或內核的其他部分需要將任務排隊進行處理時,它將任務添加到適當的系統隊列中(例如,添加到系統的定時器隊列中),然後通知內核,表明需要進行底半處理。爲了通知內核,只需將 bh_active 的相應數據位置爲 1。例如,如果驅動程序在 immediate 隊列中將某任務排隊,並希望運行 IMMEDIATE 底半處理過程來處理排隊任務,則只需將 bh_active 的第 8 位置爲 1。在每個系統調用結束並返回調用進程之前,調度程序要檢驗 bh_active 中的每個位,如果有任何一位爲 1,則相應的底半處理過程被調用。每個底半處理過程被調用時,bh_active 中的相應爲被清除。bh_active 中的置位只是暫時的,在兩次調用調度程序之間 bh_active 的值纔有意義,如果 bh_active 中沒有置位,則不需要調用任何底半處理過程。
四.中斷處理全過程
由前面的分析可知,對於0-31號中斷向量,被保留用來處理異常事件;0x80中斷向量用來作爲系統調用的總入口點;而其他中斷向量,則用來處理外部設備中斷;這三者的處理過程都是不一樣的。
- 異常的處理全過程
對這0-31號中斷向量,保留用來處理異常事件;操作系統提供相應的異常的處理程序,並在初始化時把處理程序的入口等級在對應的中斷向量表項中。當產生一個異常時,處理機就會自動把控制轉移到相應的處理程序的入口,運行相應的處理程序,進行相應的處理後,返回原中斷處。當然,在前面已經提到,此版本(2.2.5)的Linux只提供了0-17號中斷向量的處理程序。 - 中斷的處理全過程
對於0-31號和0x80之外的中斷向量,主要用來處理外部設備中斷;在系統完成初始化後,其中斷處理過程如下:
當外部設備需要處理機進行中斷服務時,它就會通過中斷控制器要求處理機進行中斷服務。如果 CPU 這時可以處理中斷,CPU將根據中斷控制器提供的中斷向量號和中斷描述符表(IDT)中的登記的地址信息,自動跳轉到相應的interrupt[i]地址;在進行一些簡單的但必要的處理後,最後都會調用函數do_IRQ , do_IRQ函數調用 do_8259A_IRQ 而do_8259A_IRQ在進行必要的處理後,將調用已與此IRQ建立聯繫irqaction中的處理函數,以進行相應的中斷處理。最後處理機將跳轉到ret_from_intr進行必要處理後,整個中斷處理結束返回。
從數據結構入手,應該說是分析操作系統源碼最常用的和最主要的方法。因爲操作系統的幾大功能部件,如進程管理,設備管理,內存管理等等,都可以通過對其相應的數據結構的分析來弄懂其實現機制。很好的掌握這種方法,對分析Linux內核大有裨益。
方法之四:以功能爲中心,各個擊破
從功能上看,整個Linux系統可看作有一下幾個部分組成:
- 異常的處理全過程
- 進程管理機制部分;
- 內存管理機制部分;
- 文件系統部分;
- 硬件驅動部分;
- 系統調用部分等;
- 進程管理機制部分;
以功能爲中心、各個擊破,就是指從這五個功能入手,通過源碼分析,找出Linux是怎樣實現這些功能的。
在這五個功能部件中,系統調用是用戶程序或操作調用核心所提供的功能的接口;也是分析Linux內核源碼幾個很好的入口點之一。對於那些在dos或Uinx、Linux下有過C編程經驗的高手尤其如此。又由於系統調用相對其它功能而言,較爲簡單,所以,我就以它爲例,希望通過對系統調用的分析,能使讀者體會到這一方法。
與系統調用相關的內容主要有:系統調用總控程序,系統調用向量表sys_call_table,以及各系統調用服務程序。下面將對此一一介紹:
- 保護模式下的初始化過程中,設置並初始化idt,共256個入口,服務程序均爲ignore_int, 該服務程序僅打印“Unknown interruptn”。(源碼參見/Arch/i386/KERNEL/head.S文件;相關內容可參見 保護模式下的初始化 部分)
- 在系統初始化完成後運行的第一個內核程序start_kernel中,通過調用 trap_init函數,把各自陷和中斷服務程序的入口地址設置到 idt 表中;同時,此函數還通過調用函數set_system_gate 把系統調用總控程序的入口地址掛在中斷0x80上。其中:
- start_kernel的原型爲void __init start_kernel(void) ,其源碼在文件 init/main.c中;
- trap_init函數的原型爲void __init trap_init(void),定義在arch/i386/kernel/traps.c 中
- 函數set_system_gate同樣定義在arch/i386/kernel/traps.c 中,調用原型爲set_system_gate(SYSCALL_VECTOR,&system_call);
- 其中,SYSCALL_VECTOR是定義在 linux/arch/i386/kernel/irq.h中的一個常量0x80;
- 而 system_call 即爲系統調用總控程序的入口地址;中斷總控程序用彙編語言定義在arch/i386/kernel/entry.S中。
II、系統調用過程
∥頤侵潰低車饔檬怯沒С絛蚧蠆僮韉饔煤誦乃峁┑墓δ艿慕涌冢凰韻低車粲玫墓嘆褪譴佑沒С絛虻較低襯諍耍緩笥只氐接沒С絛虻墓蹋輝贚inux中,此過程大體過程可描述如下:
系統調用過程示意圖:
整個系統調用進入過程客表示如下:
用戶程序 系統調用總控程序(system_call) 各個服務程序
可見,系統調用的進入課分爲“用戶程序 系統調用總控程序”和“系統調用總控程序各個服務程序”兩部分;下邊將分別對這兩個部分進行詳細說明:
- “用戶程序 系統調用總控程序”的實現:在前面已經說過,Linux的系統調用使用第0x80號中斷向量項作爲總的入口,也即,系統調用總控程序的入口地址system_call就掛在中斷0x80上。也就是說,只要用戶程序執行0x80中斷 ( int 0x80 ),就可實現“用戶程序 系統調用總控程序”的進入;事實上,在Linux中,也是這麼做的。只是0x80中斷的執行語句int 0x80 被封裝在標準C庫中,用戶程序只需用標準系統調用函數就可以了,而不需要在用戶程序中直接寫0x80中斷的執行語句int 0x80。至於中斷的進入的詳細過程可參見前面的“中斷和中斷處理”部分。
參數傳遞的實現:在Linux中所有系統調用服務例程都使用了asmlinkage標誌。此標誌是一個定義在/include/linux/linkage.h 中的一個宏: #if defined __i386__ && (__GNUC__ > 2 || __GNUC_MINOR__ > 7)
#define asmlinkage CPP_ASMLINKAGE__attribute__((regparm(0)))
#else
#define asmlinkage CPP_ASMLINKAGE
#endif
其中涉及到了gcc的一些約定,總之,這個標誌它可以告訴編譯器該函數不需要從寄存器中獲得任何參數,而是從堆棧中取得參數;即參數在堆棧中傳遞,而不是直接通過寄存器;
堆棧參數如下:
EBX = 0x00 ECX = 0x04
EDX = 0x08
ESI = 0x0C
EDI = 0x10
EBP = 0x14
EAX = 0x18
DS = 0x1C
ES = 0x20
ORIG_EAX = 0x24
EIP = 0x28
CS = 0x2C
EFLAGS = 0x30
在進入系統調用總控程序前,用戶按照以上的對應順序將參數放到對應寄存器中,在系統調用總控程序一開始就將這些寄存器壓入堆棧;在退出總控程序前又按如上順序堆棧;用戶程序則可以直接從寄存器中復得被服務程序加工過了的參數。而對於系統調用服務程序而言,參數就可以直接從總控程序壓入的堆棧中復得;對參數的修改一可以直接在堆棧中進行;其實,這就是asmlinkage標誌的作用。所以在進入和退出系統調用總控程序時,“保護現場”和“恢復現場”的內容並不一定會相同。
- 特殊的服務程序:在此版本(2.2.5)的linux內核中,有好幾個系統調用的服務程序都是定義在/usr/src/linux/kernel/sys.c 中的同一個函數:
asmlinkage int sys_ni_syscall(void)
{
return -ENOSYS;
}
此函數除了返回錯誤號之外,什麼都沒幹。那他有什麼作用呢?歸結起來有如下三種可能:
1.處理邊界錯誤,0號系統調用就是用的此特殊的服務程序;
2.用來替換舊的已淘汰了的系統調用,如: Nr 17, Nr 31, Nr 32, Nr 35, Nr 44, Nr 53, Nr 56, Nr58, Nr 98;
3. 用於將要擴展的系統調用,如: Nr 137, Nr 188, Nr 189;
III、系統調用總控程序(system_call)
系統調用總控程序(system_call)可參見arch/i386/kernel/entry.S其執行流程如下圖:
IV、實例:增加一個系統調用
由以上的分析可知,增加系統調用由於下兩種方法:
i.編一個新的服務例程,將它的入口地址加入到sys_call_table的某一項,只要該項的原服務例程是sys_ni_syscall,並且是sys_ni_syscall的作用屬於第三種的項,也即Nr 137, Nr 188, Nr 189。
ii.直接增加:
- 編一個新的服務例程;
- 在sys_call_table中添加一個新項, 並把的新增加的服務例程的入口地址加到sys_call_table表中的新項中;
- 把增加的 sys_call_table 表項所對應的向量, 在include/asm-386/unistd.h 中進行必要申明,以供用戶進程和其他系統進程查詢或調用。
- 由於在標準的c語言庫中沒有新系統調用的承接段,所以,在測試程序中,除了要#include ,還要申明如下 _syscall1(int,additionSysCall,int, num)。
- 編一個新的服務例程;
下面將對第ii種情況列舉一個我曾經實現過了的一個增加系統調用的實例:
1.)在kernel/sys.c中增加新的系統服務例程如下:
asmlinkage int sys_addtotal(int numdata)
{
int i=0,enddata=0;
while(i<=numdata)
enddata+=i++;
return enddata;
}
該函數有一個 int 型入口參數 numdata , 並返回從 0 到 numdata 的累加值; 當然也可以把系統服務例程放在一個自己定義的文件或其他文件中,只是要在相應文件中作必要的說明;
2.)把 asmlinkage int sys_addtotal( int) 的入口地址加到sys_call_table表中:
arch/i386/kernel/entry.S 中的最後幾行源代碼修改前爲:
... ...
.long SYMBOL_NAME(sys_sendfile)
.long SYMBOL_NAME(sys_ni_syscall) /* streams1 */
.long SYMBOL_NAME(sys_ni_syscall) /* streams2 */
.long SYMBOL_NAME(sys_vfork) /* 190 */
.rept NR_syscalls-190
.long SYMBOL_NAME(sys_ni_syscall)
.endr
修改後爲: ... ...
.long SYMBOL_NAME(sys_sendfile)
.long SYMBOL_NAME(sys_ni_syscall) /* streams1 */
.long SYMBOL_NAME(sys_ni_syscall) /* streams2 */
.long SYMBOL_NAME(sys_vfork) /* 190 */
/* add by I */
.long SYMBOL_NAME(sys_addtotal)
.rept NR_syscalls-191
.long SYMBOL_NAME(sys_ni_syscall)
.endr
3.) 把增加的 sys_call_table 表項所對應的向量,在include/asm-386/unistd.h 中進行必要申明,以供用戶進程和其他系統進程查詢或調用:
增加後的部分 /usr/src/linux/include/asm-386/unistd.h 文件如下:
... ...
#define __NR_sendfile 187
#define __NR_getpmsg 188
#define __NR_putpmsg 189
#define __NR_vfork 190
/* add by I */
#define __NR_addtotal 191
4.測試程序(test.c)如下:
#include
#include
_syscall1(int,addtotal,int, num)
main()
{
int i,j;
do
printf("Please input a numbern");
while(scanf("%d",&i)==EOF);
if((j=addtotal(i))==-1)
printf("Error occurred in syscall-addtotal();n");
printf("Total from 0 to %d is %d n",i,j);
}
對修改後的新的內核進行編譯,並引導它作爲新的操作系統,運行幾個程序後可以發現一切正常;在新的系統下對測試程序進行編譯(*注:由於原內核並未提供此係統調用,所以只有在編譯後的新內核下,此測試程序才能可能被編譯通過),運行情況如下:
$gcc �o test test.c
$./test
Please input a number
36
Total from 0 to 36 is 666
綜述
可見,修改成功。
由於操作系統內核源碼的特殊性:體系龐大,結構複雜,代碼冗長,代碼間聯繫錯綜複雜。所以要把內核源碼分析清楚,也是一個很艱難,很需要毅力的事。尤其需要交流和講究方法;只有方法正確,才能事半功倍。
在上面的論述中,一共列舉了兩個內核分析的入口、和三種分析源碼的方法:以程序流程爲線索,一線串珠;以數據結構爲基點,觸類旁通;以功能爲中心,各個擊破。三種方法各有特點,適合於分析不同部分的代碼:
以數據結構爲基點、觸類旁通,這種方法是分析操作系統源碼最常用的和最主要的方法。對分析進程管理,設備管理,內存管理等等都是很有效的。
以功能爲中心、各個擊破,是把整個系統分成幾個相對獨立的功能模塊,然後分別對各個功能進行分析。這樣帶來的一個好處就是,每次只以一個功能爲中心,涉及到其他部分的內容,可以看作是其它功能提供的服務,而無需急着追究這種服務的實現細節;這樣,在很大程度上減輕了分析的複雜度。
三種方法,各有其長,只要合理的綜合運用這些方法,相信對減輕分析的複雜度還是有所幫組的