當前位置:首頁 > 公眾號精選 > 后端技術指南針
[導讀]1.號外號外 各位老鐵,大家好! 上周大白有事停更1次,最近在想如何讓大家在10分鐘中有所收獲,于是準備搞一個"什么是xxx"系列,寫一些精悍的知識點。 先拋一道阿里面試題給大家熱熱身,引出今天的主角-缺頁異常Page Fault。 談談對缺頁異常Page Fault的理解

1.號外號外

各位老鐵,大家好!

上周大白有事停更1次,最近在想如何讓大家在10分鐘中有所收獲,于是準備搞一個"什么是xxx"系列,寫一些精悍的知識點。

先拋一道阿里面試題給大家熱熱身,引出今天的主角-缺頁異常Page Fault

談談對缺頁異常Page Fault的理解。

話不多說,集合上車。

2. 術語約定

  • VA:Virtual Address 虛擬地址
  • PA:Physical Address 物理地址
  • MMU:Memory Manage Unit 內存管理單元
  • TLB:Translation Lookaside Buffer 旁路快表緩存/地址變換高速緩存
  • PTE:Page Table Entry 分頁表項

3. 內存的惰性分配

以32位的Linux系統(tǒng)為例,每個進程獨立擁有4GB的虛擬地址空間,根據局部性原理沒有必要也不可能為每個進程分配4GB的物理地址空間。

64位系統(tǒng)也是一樣的道理,只不過空間尋址范圍大了很多很多倍,進程的虛擬地址空間會分為幾個部分:

實際上只有程序運行時用到了才去內存中尋找虛擬地址對應的頁幀,找不到才可能進行分配,這就是內存的惰性(延時)分配機制

對于一個運行中的進程來說,不是所有的虛擬地址在物理內存中都有對應的頁,如圖展示了部分虛擬地址存在對應物理頁的情況:

虛擬地址空間根據固定大小一般是4KB進行劃分,物理內存可以設置不同的頁面大小,通常物理頁大小和虛擬頁大小是一樣的,本文按照物理頁4KB大小展開。

經過前面的分析,我們將面臨一個問題:如何將虛擬地址準確快速地映射到物理頁呢

>>>高能預警 敲黑板 本段小結<<<
1. Linux的虛擬地址空間就是空頭支票,看著很大但是實際對應的物理空間只有很少的一部分。

2.內存的惰性分配是個有效的機制,可以保證內存利用率和服務器利用率,是資源合理配置的方法。

3.大量的虛擬地址到物理地址的快速準確地查詢轉換是一個難題。

4. CPU如果獲取內存中的數據

CPU并不直接和物理內存打交道,而是把地址轉換的活外包給了MMU,MMU是一種硬件電路,其速度很快,主要工作是進行內存管理,地址轉換只是它承接的業(yè)務之一。

一起看看MMU是如何搞定地址轉換的。

4.1 MMU和Page Table

每個進程都會有自己的頁表Page Table,頁表存儲了進程中虛擬地址到物理地址的映射關系,所以就相當于一張地圖,MMU收到CPU的虛擬地址之后開始查詢頁表,確定是否存在映射以及讀寫權限是否正常,如圖:

對于4GB的虛擬地址且大小為4KB頁,一級頁表將有2^20個表項,頁表占有連續(xù)內存并且存儲空間大,多級頁表可以有效降低頁表的存儲空間以及內存連續(xù)性要求,但是多級頁表同時也帶來了查詢效率問題。

我們以2級頁表為例,MMU要先進行兩次頁表查詢確定物理地址,在確認了權限等問題后,MMU再將這個物理地址發(fā)送到總線,內存收到之后開始讀取對應地址的數據并返回。

MMU在2級頁表的情況下進行了2次檢索和1次讀寫,那么當頁表變?yōu)镹級時,就變成了N次檢索+1次讀寫。

可見,頁表級數越多查詢的步驟越多,對于CPU來說等待時間越長,效率越低,這個問題還需要優(yōu)化才行。

>> 本段小結 敲黑板 劃重點 <<
1.頁表存在于進程的內存之中,MMU收到虛擬地址之后查詢Page Table來獲取物理地址。

2.單級頁表對連續(xù)內存要求高,于是引入了多級頁表,但是多級頁表也是一把雙刃劍,在減少連續(xù)存儲要求且減少存儲空間的同時降低了查詢效率。

4.2 MMU和TLB的故事

MMU和TLB的故事就這樣開始了...

CPU覺得MMU干活雖然賣力氣,但是效率有點低,不太想繼續(xù)外包給它了,這一下子把MMU急壞了。

MMU于是找來了一些精通統(tǒng)計的朋友,經過一番研究之后發(fā)現CPU用的數據經常是一小搓,但是每次MMU都還要重復之前的步驟來檢索,害,就知道埋頭干活了,也得講究方式方法呀!

找到瓶頸之后,MMU引入了新武器,江湖人稱快表的TLB,別看TLB容量小,但是正式上崗之后干活還真是不含糊。

當CPU給MMU傳新虛擬地址之后,MMU先去問TLB那邊有沒有,如果有就直接拿到物理地址發(fā)到總線給內存,齊活。

TLB容量比較小,難免發(fā)生Cache Miss,這時候MMU還有保底的老武器頁表 Page Table,在頁表中找到之后MMU除了把地址發(fā)到總線傳給內存,還把這條映射關系給到TLB,讓它記錄一下刷新緩存。

TLB容量不滿的時候就直接把新記錄存儲了,當滿了的時候就開啟了淘汰大法把舊記錄清除掉,來保存新記錄,彷佛完美解決了問題。

在TLB和Page Table加持之下,CPU感覺最近MMU比較給力了,就問MMU怎么做到的?MMU就一五一十告訴了CPU。

CPU說是個不錯的路子,隨后說出了自己的建議:TLB還是有點小,緩存不命中也是經常發(fā)生的,要不要搞個大的,這樣存儲更多訪問更快

MMU一臉苦笑說道大哥TLB很貴的,要不你給漲點外包費?話音未落,CPU就說漲工資是不可能了,這輩子都不可能了。

>>>高能預警 敲黑板 本段小結<<<
1. CPU要根據用戶進程提供的虛擬地址來獲取真實數據,但是它并不自己做而是交給了MMU。

2. MMU也是個聰明的家伙,集成了TLB來存儲CPU最近常用的頁表項來加速尋址,TLB找不到再去全量頁表尋址,可以認為TLB是MMU的緩存。

3. TLB的容量畢竟有限,為此必須依靠Page Table一起完成TLB Miss情況的查詢,并且更新到TLB建立新映射關系。

5.缺頁異常Page Fault大揭秘

設想CPU給MMU的虛擬地址在TLB和Page Table都沒有找到對應的物理頁幀或者權限不對,該怎么辦呢?

沒錯,這就是缺頁異常Page Fault,它是一個由硬件中斷觸發(fā)的可以由軟件邏輯糾正的錯誤。


5.1 PageFault,它來了

假如目標內存頁在物理內存中沒有對應的頁幀或者存在但無對應權限,CPU 就無法獲取數據,這種情況下CPU就會報告一個缺頁錯誤。

由于CPU沒有數據就無法進行計算,CPU罷工了用戶進程也就出現了缺頁中斷,進程會從用戶態(tài)切換到內核態(tài),并將缺頁中斷交給內核的 Page Fault Handler 處理。

缺頁異常并不可怕,只要CPU要的虛擬地址經過MMU的一番尋址之后沒有找到或者找到后無權限,就會出現缺頁異常,因此觸發(fā)異常后的處理流程將是重點內容。

5.2 缺頁錯誤的分類處理

缺頁中斷會交給PageFaultHandler處理,其根據缺頁中斷的不同類型會進行不同的處理:

  • Hard Page Fault
    也被稱為Major Page Fault,翻譯為硬缺頁錯誤/主要缺頁錯誤, 這時物理內存中沒有對應的頁幀,需要CPU打開磁盤設備讀取到物理內存中,再讓MMU建立VA和PA的映射。
  • Soft Page Fault
    也被稱為Minor Page Fault,翻譯為軟缺頁錯誤/次要缺頁錯誤, 這時物理內存中是存在對應頁幀的,只不過可能是其他進程調入的,發(fā)出缺頁異常的進程不知道而已,此時MMU只需要建立映射即可,無需從磁盤讀取寫入內存,一般出現在多進程共享內存區(qū)域。
  • Invalid Page Fault
    翻譯為無效缺頁錯誤,比如進程訪問的內存地址越界訪問,又比如對空指針解引用內核就會報segment fault錯誤中斷進程直接掛掉。

5.3 缺頁錯誤出現的原因

不同類型的Page Fault出現的原因也不一樣,常見的幾種原因包括:

  • 非法操作訪問越界
    這種情況產生的影響也是最大的,也是Coredump的重要來源,比如空指針解引用或者權限問題等都會出現缺頁錯誤。
  • 使用malloc新申請內存
    malloc機制是延時分配內存,當使用malloc申請內存時并未真實分配物理內存,等到真正開始使用malloc申請的物理內存時發(fā)現沒有才會啟動申請,期間就會出現Page Fault。
  • 訪問數據被swap換出
    物理內存是有限資源,當運行很多進程時并不是每個進程都活躍,對此OS會啟動內存頁面置換將長時間未使用的物理內存頁幀放到swap分區(qū)來騰空資源給其他進程,當存在于swap分區(qū)的頁面被訪問時就會觸發(fā)Page Fault從而再置換回物理內存。

>>> 敲黑板 劃重點 本段小結:<<<
觸發(fā)Page Fault的原因可能有很多,歸根到底也只有幾種大類:

1. 如使用共享內存區(qū)域,沒有存儲VA->PA的映射但是存在物理頁幀的軟缺頁錯誤,在Page Table/TLB中建立映射關系即可。

2. 訪問的地址在物理內存中確實不存在,需要從磁盤/swap分區(qū)讀入才能使用,這種性能影響會比較大,因為磁盤太慢了,盡量使用高性能的SSD來降低延時。

3. 訪問的地址內存非法,缺頁錯誤會升級觸發(fā)SIGSEGV信號結束進程,這種屬于可以導致進程掛掉的一種缺頁錯誤。

6.全文總結

本文粗淺地和大家一起學習了Page Fault的相關知識點,包括Linux虛擬地址和物理地址的關系、CPU獲取內存數據的過程、MMU和TLB&頁表的協(xié)同配合、缺頁異常產生的原因和分類處理。

本文并沒有對MMU的內部機制、內核態(tài)&用戶態(tài)缺頁異常、缺頁異常處理函數等內容進行展開,主要是因為這部分內容相對晦澀,還得靠自己深入研究。

本文旨在把火點燃而不是把桶填滿,對于文中相關知識點,歡迎交流溝通學習。

感謝各位老鐵的傾情安排,下期再見!

免責聲明:本文內容由21ic獲得授權后發(fā)布,版權歸原作者所有,本平臺僅提供信息存儲服務。文章僅代表作者個人觀點,不代表本平臺立場,如有問題,請聯系我們,謝謝!

本站聲明: 本文章由作者或相關機構授權發(fā)布,目的在于傳遞更多信息,并不代表本站贊同其觀點,本站亦不保證或承諾內容真實性等。需要轉載請聯系該專欄作者,如若文章內容侵犯您的權益,請及時聯系本站刪除。
換一批
延伸閱讀

9月2日消息,不造車的華為或將催生出更大的獨角獸公司,隨著阿維塔和賽力斯的入局,華為引望愈發(fā)顯得引人矚目。

關鍵字: 阿維塔 塞力斯 華為

加利福尼亞州圣克拉拉縣2024年8月30日 /美通社/ -- 數字化轉型技術解決方案公司Trianz今天宣布,該公司與Amazon Web Services (AWS)簽訂了...

關鍵字: AWS AN BSP 數字化

倫敦2024年8月29日 /美通社/ -- 英國汽車技術公司SODA.Auto推出其旗艦產品SODA V,這是全球首款涵蓋汽車工程師從創(chuàng)意到認證的所有需求的工具,可用于創(chuàng)建軟件定義汽車。 SODA V工具的開發(fā)耗時1.5...

關鍵字: 汽車 人工智能 智能驅動 BSP

北京2024年8月28日 /美通社/ -- 越來越多用戶希望企業(yè)業(yè)務能7×24不間斷運行,同時企業(yè)卻面臨越來越多業(yè)務中斷的風險,如企業(yè)系統(tǒng)復雜性的增加,頻繁的功能更新和發(fā)布等。如何確保業(yè)務連續(xù)性,提升韌性,成...

關鍵字: 亞馬遜 解密 控制平面 BSP

8月30日消息,據媒體報道,騰訊和網易近期正在縮減他們對日本游戲市場的投資。

關鍵字: 騰訊 編碼器 CPU

8月28日消息,今天上午,2024中國國際大數據產業(yè)博覽會開幕式在貴陽舉行,華為董事、質量流程IT總裁陶景文發(fā)表了演講。

關鍵字: 華為 12nm EDA 半導體

8月28日消息,在2024中國國際大數據產業(yè)博覽會上,華為常務董事、華為云CEO張平安發(fā)表演講稱,數字世界的話語權最終是由生態(tài)的繁榮決定的。

關鍵字: 華為 12nm 手機 衛(wèi)星通信

要點: 有效應對環(huán)境變化,經營業(yè)績穩(wěn)中有升 落實提質增效舉措,毛利潤率延續(xù)升勢 戰(zhàn)略布局成效顯著,戰(zhàn)新業(yè)務引領增長 以科技創(chuàng)新為引領,提升企業(yè)核心競爭力 堅持高質量發(fā)展策略,塑強核心競爭優(yōu)勢...

關鍵字: 通信 BSP 電信運營商 數字經濟

北京2024年8月27日 /美通社/ -- 8月21日,由中央廣播電視總臺與中國電影電視技術學會聯合牽頭組建的NVI技術創(chuàng)新聯盟在BIRTV2024超高清全產業(yè)鏈發(fā)展研討會上宣布正式成立。 活動現場 NVI技術創(chuàng)新聯...

關鍵字: VI 傳輸協(xié)議 音頻 BSP

北京2024年8月27日 /美通社/ -- 在8月23日舉辦的2024年長三角生態(tài)綠色一體化發(fā)展示范區(qū)聯合招商會上,軟通動力信息技術(集團)股份有限公司(以下簡稱"軟通動力")與長三角投資(上海)有限...

關鍵字: BSP 信息技術
關閉
關閉