linux與uclinux 內存管理(1)

應該說uClinux同標準Linux的最大區別就在於內存管理,同時也由於uClinux的內存管理引發了一些標準Linux所不會出現的問題。本文將把uClinux內存管理同標準Linux的那內存管理部分進行比較分析。
標準Linux使用的虛擬存儲器技術
標準Linux使用虛擬存儲器技術,這種技術用於提供比計算機系統中實際使用的物理內存大得多的內存空間。使用者將感覺到好像程序可以使用非常大的內存空間,從而使得編程人員在寫程序時不用考慮計算機中的物理內存的實際容量。

爲了支持虛擬存儲管理器的管理,Linux系統採用分頁(paging)的方式來載入進程。所謂分頁既是把實際的存儲器分割爲相同大小的段,例如每個段1024個字節,這樣1024個字節大小的段便稱爲一個頁面(page)。
虛擬存儲器由存儲器管理機制及一個大容量的快速硬盤存儲器支持。它的實現基於局部性原理,當一個程序在運行之前,沒有必要全部裝入內存,而是僅將那些當前要運行的那些部分頁面或段裝入內存運行(copy-on-write),其餘暫時留在硬盤上程序運行時如果它所要訪問的頁(段)已存在,則程序繼續運行,如果發現不存在的頁(段),操作系統將產生一個頁錯誤(page fault),這個錯誤導致操作系統把需要運行的部分加載到內存中。必要時操作系統還可以把不需要的內存頁(段)交換到磁盤上。利用這樣的方式管理存儲器,便可把一個進程所需要用到的存儲器以化整爲零的方式,視需求分批載入,而核心程序則憑藉屬於每個頁面的頁碼來完成尋址各個存儲器區段的工作。
標準Linux是針對有內存管理單元的處理器設計的。在這種處理器上,虛擬地址被送到內存管理單元(MMU),把虛擬地址映射爲物理地址。
通過賦予每個任務不同的虛擬--物理地址轉換映射,支持不同任務之間的保護。地址轉換函數在每一個任務中定義,在一個任務中的虛擬地址空間映射到物理內存的一個部分,而另一個任務的虛擬地址空間映射到物理存儲器中的另外區域。計算機的存儲管理單元(MMU)一般有一組寄存器來標識當前運行的進程的轉換表。在當前進程將CPU放棄給另一個進程時(一次上下文切換),內核通過指向新進程地址轉換表的指針加載這些寄存器。MMU寄存器是有特權的,只能在內核態才能訪問。這就保證了一個進程只能訪問自己用戶空間內的地址,而不會訪問和修改其它進程的空間。當可執行文件被加載時,加載器根據缺省的ld文件,把程序加載到虛擬內存的一個空間,因爲這個原因實際上很多程序的虛擬地址空間是相同的,但是由於轉換函數不同,所以實際所處的內存區域也不同。而對於多進程管理當處理器進行進程切換並執行一個新任務時,一個重要部分就是爲新任務切換任務轉換表。我們可以看到Linux系統的內存管理至少實現了以下功能:
運行比內存還要大的程序。理想情況下應該可以運行任意大小的程序
◇可以運行只加載了部分的程序,縮短了程序啓動的時間
◇可以使多個程序同時駐留在內存中提高CPU的利用率
◇可以運行重定位程序。即程序可以方於內存中的任何一處,而且可以在執行過程中移動。
◇寫機器無關的代碼。程序不必事先約定機器的配置情況。
◇減輕程序員分配和管理內存資源的負擔。
◇可以進行共享--例如,如果兩個進程運行同一個程序,它們應該可以共享程序代碼的同一個副本。
◇提供內存保護,進程不能以非授權方式訪問或修改頁面,內核保護單個進程的數據和代碼以防止其它進程修改它們。否則,用戶程序可能會偶然(或惡意)的破壞內核或其它用戶程序。
虛存系統並不是沒有代價的。內存管理需要地址轉換表和其他一些數據結構,留給程序的內存減少了。地址轉換增加了每一條指令的執行時間,而對於有額外內存操作的指令會更嚴重。當進程訪問不在內存的頁面時,系統發生失效。系統處理該失效,並將頁面加載到內存中,這需要極耗時間的磁盤I/O操作。總之內存管理活動佔用了相當一部分cpu時間(在較忙的系統中大約佔10%)。
uClinux針對NOMMU的特殊處理
對於uClinux來說,其設計針對沒有MMU的處理器,即uClinux不能使用處理器的虛擬內存管理技術(應該說這種不帶有MMU的處理器在嵌入式設備中相當普偏)。uClinux仍然採用存儲器的分頁管理,系統在啓動時把實際存儲器進行分頁。在加載應用程序時程序分頁加載。但是由於沒有MMU管理,所以實際上uClinux採用實存儲器管理策略(real memeory management)。這一點影響了系統工作的很多方面。
uClinux系統對於內存的訪問是直接的,(它對地址的訪問不需要經過MMU,而是直接送到地址線上輸出),所有程序中訪問的地址都是實際的物理地址。操作系統對內存空間沒有保護(這實際上是很多嵌入式系統的特點),各個進程實際上共享一個運行空間(沒有獨立的地址轉換表)。
一個進程在執行前,系統必須爲進程分配足夠的連續地址空間,然後全部載入主存儲器的連續空間中。與之相對應的是標準Linux系統在分配內存時沒有必要保證實際物理存儲空間是連續的,而只要保證虛存地址空間連續就可以了。另外一個方面程序加載地址與預期(ld文件中指出的)通常都不相同,這樣relocation過程就是必須的。此外磁盤交換空間也是無法使用的,系統執行時如果缺少內存將無法通過磁盤交換來得到改善。
uClinux對內存的管理減少同時就給開發人員提出了更高的要求。如果從易用性這一點來說,uClinux的內存管理是一種倒退,退回了到了UNIX早期或是Dos系統時代。開發人員不得不參與系統的內存管理。從編譯內核開始,開發人員必須告訴系統這塊開發板到底擁有多少的內存(假如你欺騙了系統,那將在後面運行程序時受到懲罰),從而系統將在啓動的初始化階段對內存進行分頁,並且標記已使用的和未使用的內存。系統將在運行應用時使用這些分頁內存。
由於應用程序加載時必須分配連續的地址空間,而針對不同硬件平臺的可一次成塊(連續地址)分配內存大小限制是不同(目前針對ez328處理器的uClinux是128k,而針對coldfire處理器的系統內存則無此限制),所以開發人員在開發應用程序時必須考慮內存的分配情況並關注應用程序需要運行空間的大小。另外由於採用實存儲器管理策略,用戶程序同內核以及其它用戶程序在一個地址空間,程序開發時要保證不侵犯其它程序的地址空間,以使得程序不至於破壞系統的正常工作,或導致其它程序的運行異常。
從內存的訪問角度來看,開發人員的權利增大了(開發人員在編程時可以訪問任意的地址空間),但與此同時系統的安全性也大爲下降。此外,系統對多進程的管理將有很大的變化,這一點將在uClinux的多進程管理中說明。
雖然uClinux的內存管理與標準Linux系統相比功能相差很多,但應該說這是嵌入式設備的選擇。在嵌入式設備中,由於成本等敏感因素的影響,普偏的採用不帶有MMU的處理器,這決定了系統沒有足夠的硬件支持實現虛擬存儲管理技術。從嵌入式設備實現的功能來看,嵌入式設備通常在某一特定的環境下運行,只要實現特定的功能,其功能相對簡單,內存管理的要求完全可以由開發人員考慮。
標準Linux系統的進程、線程
進程:進程是一個運行程序併爲其提供執行環境的實體,它包括一個地址空間和至少一個控制點,進程在這個地址空間上執行單一指令序列。進程地址空間包括可以訪問或引用的內存單元的集合,進程控制點通過一個一般稱爲程序計數器(program counter,PC)的硬件寄存器控制和跟蹤進程指令序列。
fork:由於進程爲執行程序的環境,因此在執行程序前必須先建立這個能"跑"程序的環境。Linux系統提供系統調用拷貝現行進程的內容,以產生新的進程,調用fork的進程稱爲父進程;而所產生的新進程則稱爲子進程。子進程會承襲父進程的一切特性,但是它有自己的數據段,也就是說,儘管子進程改變了所屬的變量,卻不會影響到父進程的變量值。
父進程和子進程共享一個程序段,但是各自擁有自己的堆棧、數據段、用戶空間以及進程控制塊。換言之,兩個進程執行的程序代碼是一樣的,但是各有各的程序計數器與自己的私人數據。
當內核收到fork請求時,它會先查覈三件事:首先檢查存儲器是不是足夠;其次是進程表是否仍有空缺;最後則是看看用戶是否建立了太多的子進程。如果上述說三個條件滿足,那麼操作系統會給子進程一個進程識別碼,並且設定cpu時間,接着設定與父進程共享的段,同時將父進程的inode拷貝一份給子進程運用,最終子進程會返回數值0以表示它是子進程,至於父進程,它可能等待子進程的執行結束,或與子進程各做個的。
exec系統調用:該系統調用提供一個進程去執行另一個進程的能力,exec系統調用是採用覆蓋舊有進程存儲器內容的方式,所以原來程序的堆棧、數據段與程序段都會被修改,只有用戶區維持不變。
vfork 系統調用:由於在使用fork時,內核會將父進程拷貝一份給子進程,但是這樣的做法相當浪費時間,因爲大多數的情形都是程序在調用fork後就立即調用 exec,這樣剛拷貝來的進程區域又立即被新的數據覆蓋掉。因此Linux系統提供一個系統調用vfork,vfork假定系統在調用完成vfork後會馬上執行exec,因此vfork不拷貝父進程的頁面,只是初始化私有的數據結構與準備足夠的分頁表。這樣實際在vfork調用完成後父子進程事實上共享同一塊存儲器(在子進程調用exec或是exit之前),因此子進程可以更改父進程的數據及堆棧信息,因此vfork系統調用完成後,父進程進入睡眠,直到子進程執行exec。當子進程執行exec時,由於exec要使用被執行程序的數據,代碼覆蓋子進程的存儲區域,這樣將產生寫保護錯誤(do_wp_page)(這個時候子進程寫的實際上是父進程的存儲區域),
這個錯誤導致內核爲子進程重新分配存儲空間。當子進程正確開始執行後,將喚醒父進程,使得父進程繼續往後執行。
uClinux的多進程處理
uClinux沒有mmu管理存儲器,在實現多個進程時(fork調用生成子進程)需要實現數據保護。
uClinux 的fork和vfork:uClinux的fork等於vfork。實際上uClinux的多進程管理通過vfork來實現。這意味着uClinux系統 fork調用完程後,要麼子進程代替父進程執行(此時父進程已經sleep)直到子進程調用exit退出,要麼調用exec執行一個新的進程,這個時候將產生可執行文件的加載,即使這個進程只是父進程的拷貝,這個過程也不能避免。當子進程執行exit或exec後,子進程使用wakeup把父進程喚醒,父進程繼續往下執行。
uClinux的這種多進程實現機制同它的內存管理緊密相關。uClinux針對nommu處理器開發,所以被迫使用一種 flat方式的內存管理模式,啓動新的應用程序時系統必須爲應用程序分配存儲空間,並立即把應用程序加載到內存。缺少了MMU的內存重映射機制,uClinux必須在可執行文件加載階段對可執行文件reloc處理,使得程序執行時能夠直接使用物理內存。

發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章