1. 程式人生 > >linux c程式中核心態與使用者態記憶體儲存問題

linux c程式中核心態與使用者態記憶體儲存問題

 Unix/Linux的體系架構

  如上圖所示,從巨集觀上來看,Linux作業系統的體系架構分為使用者態和核心態(或者使用者空間和核心)。核心從本質上看是一種軟體——控制計算機的硬體資源,並提供上層應用程式執行的環境。使用者態即上層應用程式的活動空間,應用程式的執行必須依託於核心提供的資源,包括CPU資源、儲存資源、I/O資源等。為了使上層應用能夠訪問到這些資源,核心必須為上層應用提供訪問的介面:即系統呼叫。

  系統呼叫是作業系統的最小功能單位,這些系統呼叫根據不同的應用場景可以進行擴充套件和裁剪,現在各種版本的Unix實現都提供了不同數量的系統呼叫,如Linux的不同版本提供了240-260個系統呼叫,FreeBSD大約提供了320個(reference:UNIX環境高階程式設計)。我們可以把系統呼叫看成是一種不能再化簡的操作(類似於原子操作,但是不同概念),有人把它比作一個漢字的一個“筆畫”,

而一個“漢字”就代表一個上層應用,我覺得這個比喻非常貼切。因此,有時候如果要實現一個完整的漢字(給某個變數分配記憶體空間),就必須呼叫很多的系統呼叫。如果從實現者(程式設計師)的角度來看,這勢必會加重程式設計師的負擔,良好的程式設計方法是:重視上層的業務邏輯操作,而儘可能避免底層複雜的實現細節。庫函式正是為了將程式設計師從複雜的細節中解脫出來而提出的一種有效方法。它實現對系統呼叫的封裝,將簡單的業務邏輯介面呈現給使用者,方便使用者呼叫,從這個角度上看,庫函式就像是組成漢字的“偏旁”。這樣的一種組成方式極大增強了程式設計的靈活性,對於簡單的操作,我們可以直接呼叫系統呼叫來訪問資源,如“人”,對於複雜操作,我們藉助於庫函式來實現,如“仁”。顯然,這樣的庫函式依據不同的標準也可以有不同的實現版本,如ISO C 標準庫,POSIX標準庫等。

  Shell是一個特殊的應用程式,俗稱命令列,本質上是一個命令直譯器,它下通系統呼叫,上通各種應用,通常充當著一種“膠水”的角色,來連線各個小功能程式,讓不同程式能夠以一個清晰的介面協同工作,從而增強各個程式的功能。同時,Shell是可程式設計的,它可以執行符合Shell語法的文字,這樣的文字稱為Shell指令碼,通常短短的幾行Shell指令碼就可以實現一個非常大的功能,原因就是這些Shell語句通常都對系統呼叫做了一層封裝。為了方便使用者和系統互動,一般,一個Shell對應一個終端,終端是一個硬體裝置,呈現給使用者的是一個圖形化視窗。我們可以通過這個視窗輸入或者輸出文字。這個文字直接傳遞給shell進行分析解釋,然後執行。

  總結一下,使用者態的應用程式可以通過三種方式來訪問核心態的資源:

1)系統呼叫

2)庫函式

3)Shell指令碼

  下圖是對上圖的一個細分結構,從這個圖上可以更進一步對核心所做的事有一個“全景式”的印象。主要表現為:向下控制硬體資源,向內管理作業系統資源:包括程序的排程和管理、記憶體的管理、檔案系統的管理、裝置驅動程式的管理以及網路資源的管理,向上則嚮應用程式提供系統呼叫的介面。從整體上來看,整個作業系統分為兩層:使用者態和核心態,這種分層的架構極大地提高了資源管理的可擴充套件性和靈活性,而且方便使用者對資源的呼叫和集中式的管理,帶來一定的安全性。

二、使用者態和核心態的切換

  因為作業系統的資源是有限的,如果訪問資源的操作過多,必然會消耗過多的資源,而且如果不對這些操作加以區分,很可能造成資源訪問的衝突。所以,為了減少有限資源的訪問和使用衝突,Unix/Linux的設計哲學之一就是:對不同的操作賦予不同的執行等級,就是所謂特權的概念。簡單說就是有多大能力做多大的事,與系統相關的一些特別關鍵的操作必須由最高特權的程式來完成。Intel的X86架構的CPU提供了0到3四個特權級,數字越小,特權越高,Linux作業系統中主要採用了0和3兩個特權級,分別對應的就是核心態和使用者態。運行於使用者態的程序可以執行的操作和訪問的資源都會受到極大的限制,而執行在核心態的程序則可以執行任何操作並且在資源的使用上沒有限制。很多程式開始時運行於使用者態,但在執行的過程中,一些操作需要在核心許可權下才能執行,這就涉及到一個從使用者態切換到核心態的過程。比如C函式庫中的記憶體分配函式malloc(),它具體是使用sbrk()系統呼叫來分配記憶體,當malloc呼叫sbrk()的時候就涉及一次從使用者態到核心態的切換,類似的函式還有printf(),呼叫的是wirte()系統呼叫來輸出字串,等等。

  到底在什麼情況下會發生從使用者態到核心態的切換,一般存在以下三種情況:

1)當然就是系統呼叫:原因如上的分析。

2)異常事件: 當CPU正在執行執行在使用者態的程式時,突然發生某些預先不可知的異常事件,這個時候就會觸發從當前使用者態執行的程序轉向核心態執行相關的異常事件,典型的如缺頁異常。

3)外圍裝置的中斷:當外圍裝置完成使用者的請求操作後,會像CPU發出中斷訊號,此時,CPU就會暫停執行下一條即將要執行的指令,轉而去執行中斷訊號對應的處理程式,如果先前執行的指令是在使用者態下,則自然就發生從使用者態到核心態的轉換。

  注意:系統呼叫的本質其實也是中斷,相對於外圍裝置的硬中斷,這種中斷稱為軟中斷,這是作業系統為使用者特別開放的一種中斷,如Linux int 80h中斷。所以,從觸發方式和效果上來看,這三種切換方式是完全一樣的,都相當於是執行了一箇中斷響應的過程。但是從觸發的物件來看,系統呼叫是程序主動請求切換的,而異常和硬中斷則是被動的。

三、總結

  本文僅是從巨集觀的角度去理解Linux使用者態和核心態的設計,並沒有去深究它們的具體實現方式。從實現上來看,必須要考慮到的一點我想就是效能問題,因為使用者態和核心態之間的切換也會消耗大量資源。