【原創】(十四)Linux記憶體管理之page fault處理

来源:https://www.cnblogs.com/LoyenWang/archive/2019/12/29/12116570.html
-Advertisement-
Play Games

背景 By 魯迅 By 高爾基 說明: 1. Kernel版本:4.14 2. ARM64處理器,Contex A53,雙核 3. 使用工具:Source Insight 3.5, Visio 1. 概述 上篇文章分析到 函數中,內核實現只是在進程的地址空間建立好了 區域,並沒有實際的虛擬地址到物理 ...


背景

  • Read the fucking source code! --By 魯迅
  • A picture is worth a thousand words. --By 高爾基

說明:

  1. Kernel版本:4.14
  2. ARM64處理器,Contex-A53,雙核
  3. 使用工具:Source Insight 3.5, Visio

1. 概述

上篇文章分析到malloc/mmap函數中,內核實現只是在進程的地址空間建立好了vma區域,並沒有實際的虛擬地址到物理地址的映射操作。這部分就是在Page Fault異常錯誤處理中實現的。

Linux內核中的Page Fault異常處理很複雜,涉及的細節也很多,malloc/mmap的物理記憶體映射只是它的一個子集功能,下圖大概涵蓋了出現Page Fault的情況:

下邊就開始來啃啃硬骨頭吧。

2. Arm64處理

Page Fault的異常處理,依賴於體繫結構,因此有必要來介紹一下Arm64的處理。
代碼主要參考:arch/arm64/kernel/entry.S

Arm64在取指令或者訪問數據時,需要把虛擬地址轉換成物理地址,這個過程需要進行幾種檢查,在不滿足的情況下都能造成異常:

  1. 地址的合法性,比如以39有效位地址為例,內核地址的高25位為全1,用戶進程地址的高25位為全0;
  2. 地址的許可權檢查,這裡邊的許可權位都位於頁表條目中;

從上圖中可以看到,最後都會調到do_mem_abort函數,這個函數比較簡單,直接看代碼,位於arch/arm64/mm/fault.c

/*
 * Dispatch a data abort to the relevant handler.
 */
asmlinkage void __exception do_mem_abort(unsigned long addr, unsigned int esr,
                     struct pt_regs *regs)
{
    const struct fault_info *inf = esr_to_fault_info(esr);
    struct siginfo info;

    if (!inf->fn(addr, esr, regs))
        return;

    pr_alert("Unhandled fault: %s (0x%08x) at 0x%016lx\n",
         inf->name, esr, addr);

    mem_abort_decode(esr);

    info.si_signo = inf->sig;
    info.si_errno = 0;
    info.si_code  = inf->code;
    info.si_addr  = (void __user *)addr;
    arm64_notify_die("", regs, &info, esr);
}

該函數中關鍵的處理:根據傳進來的esr獲取fault_info信息,從而去調用函數。struct fault_info用於錯誤狀態下對應的處理方法,而內核中也定義了全局結構fault_info,存放了所有的情況。
主要的錯誤狀態和處理函數對應如下:

static const struct fault_info fault_info[] = {
    { do_bad,       SIGBUS,  0,     "ttbr address size fault"   },
    { do_bad,       SIGBUS,  0,     "level 1 address size fault"    },
    { do_bad,       SIGBUS,  0,     "level 2 address size fault"    },
    { do_bad,       SIGBUS,  0,     "level 3 address size fault"    },
    { do_translation_fault, SIGSEGV, SEGV_MAPERR,   "level 0 translation fault" },
    { do_translation_fault, SIGSEGV, SEGV_MAPERR,   "level 1 translation fault" },
    { do_translation_fault, SIGSEGV, SEGV_MAPERR,   "level 2 translation fault" },
    { do_translation_fault, SIGSEGV, SEGV_MAPERR,   "level 3 translation fault" },
    { do_bad,       SIGBUS,  0,     "unknown 8"         },
    { do_page_fault,    SIGSEGV, SEGV_ACCERR,   "level 1 access flag fault" },
    { do_page_fault,    SIGSEGV, SEGV_ACCERR,   "level 2 access flag fault" },
    { do_page_fault,    SIGSEGV, SEGV_ACCERR,   "level 3 access flag fault" },
    { do_bad,       SIGBUS,  0,     "unknown 12"            },
    { do_page_fault,    SIGSEGV, SEGV_ACCERR,   "level 1 permission fault"  },
    { do_page_fault,    SIGSEGV, SEGV_ACCERR,   "level 2 permission fault"  },
    { do_page_fault,    SIGSEGV, SEGV_ACCERR,   "level 3 permission fault"  },
     ...
};

從代碼中可以看出:

  • 出現0/1/2/3級頁表轉換錯誤時,會調用do_translation_fault,實際中do_translation_fault最終也會調用到do_page_fault
  • 出現1/2/3級頁表訪問許可權的時候,會調用do_page_fault
  • 其他的錯誤則調用do_bad,其中未列出來的部分還包括do_sea等操作函數;

do_translation_fault

do_page_fault

do_page_fault函數為頁錯誤異常處理的核心函數,與體繫結構相關,上圖中的handle_mm_fault函數為通用函數,也就是不管哪種處理器結構,最終都會調用到該函數。

3. handle_mm_fault

handle_mm_fault用於處理用戶空間的頁錯誤異常:

  • 進程在用戶模式下訪問用戶虛擬地址,觸發頁錯誤異常;
  • 進程在內核模式下訪問用戶虛擬地址,觸發頁錯誤異常;
    do_page_fault函數的流程圖中也能看出來,當觸發異常的虛擬地址屬於某個vma,並且擁有觸發頁錯誤異常的許可權時,會調用到handle_mm_fault函數,而handle_mm_fault函數的主要邏輯是通過__handle_mm_fault來實現的。

流程如下圖:

3.1 do_fault

do_fault函數用於處理文件頁異常,包括以下三種情況:

  1. 讀文件頁錯誤;
  2. 寫私有文件頁錯誤;
  3. 寫共用文件頁錯誤;

3.2 do_anonymous_page

匿名頁的缺頁異常處理調用本函數,在以下情況下會觸發:

  1. malloc/mmap分配了進程地址空間區域,但是沒有進行映射處理,在首次訪問時觸發;
  2. 用戶棧不夠的情況下,進行棧區的擴大處理;

3.3 do_swap_page

如果訪問Swap頁面出錯(頁面不在記憶體中),則從Swap cacheSwap文件中讀取該頁面。
由於在4.14內核版本中,do_swap_page調用的很多函數都是空函數,無法進一步的瞭解,大體的流程如下圖:

3.4 do_wp_page

do_wp_page函數用於處理寫時複製(copy on write),會在以下兩種情況處理:

  1. 創建子進程時,父子進程會以只讀方式共用私有的匿名頁和文件頁,當試圖寫的時候,觸發頁錯誤異常,從而複製物理頁,並創建映射;
  2. 進程創建私有文件映射,讀訪問後觸發異常,將文件頁讀入到page cache中,並以只讀模式創建映射,之後發生寫訪問後,觸發COW

關鍵的複製工作是由wp_page_copy完成的:


您的分享是我們最大的動力!

-Advertisement-
Play Games
更多相關文章
  • 概述 此部分內容引用自 "MSDN文檔" 使用索引器可以用類似於數組的方式為對象建立索引。 取值函數返回值。 取值函數分配值。 關鍵字用於定義索引器。 關鍵字用於定義 索引器所賦的值。 索引器不必根據整數值進行索引;由你決定如何定義特定的查找機制。 索引器可被重載。 索引器可以有多個形參,例如當訪問 ...
  • 使用 Visual Studio Code 進行遠程開發 在完成了 AT 指令入門的學習之後,接下來就要使用 AT 指令進行 Socket 通信了。問題在於,之前 .NET 的 Socket 編程只需一臺電腦便可進行學習,伺服器和客戶端都可以在本機運行,也可以分別運行在區域網上的兩臺電腦之上。而 N ...
  • 多線程,一個多麼熟悉的辭彙,作為一名程式員,我相信無論是從事什麼開發語言,都能夠輕輕鬆松說出幾種實現多線程的方式,並且在實際工作種也一定用到過多線程,比如:定時器、非同步作業等等,如果你說你沒有用過多線程,我懷疑你是不是一名程式員,哈哈。 ...
  • 本筆記摘抄自:https://www.cnblogs.com/yaozhenfa/p/CSharp_Linq_For_Xml.html,記錄一下學習過程以備後續查用。 一、生成xml 1.1創建簡單的xml /// <summary> /// CreateXml類 /// </summary> pu ...
  • 時間如流水,只能流去不流回! 點贊再看,養成習慣,這是您給我創作的動力! 本文 Dotnet9 https://dotnet9.com 已收錄,站長樂於分享dotnet相關技術,比如Winform、WPF、ASP.NET Core、Xamarin.Forms等,亦有C++桌面相關的Qt Quick和 ...
  • [toc] 前言 周末加班,下午犯困,整理下之前鼓搗過的東西,看過我之前的webapi系列的讀者知道,我之前試過Aspect,但是升級到3.0之後沒往下去試了,當時還留了個坑,這不,現在果斷移除了換成這個了。 Autofac 這個第三方類庫呢,是Ioc的容器,可以簡化我們很大的工作量,比如說在之前我 ...
  • 為減少代碼量,這裡實現一個基於Dapper的泛型Repository。 這裡需要引用Dapper.dll和Dapper.Contrib.dll。 介面定義: 介面實現: GetPageList為Dapper的一個分頁擴展: PagedResult類: Paged類: 在IServiceCollect ...
  • location教程 示例: location = / { # 精確匹配 /,主機名後面不能帶任何字元串 [ configuration A ] } location / { # 因為所有的地址都以/開頭,所有這條規則將匹配到所有請求 # 但是正則和最長字元串會優先匹配 [ configuratio ...
一周排行
    -Advertisement-
    Play Games
  • 移動開發(一):使用.NET MAUI開發第一個安卓APP 對於工作多年的C#程式員來說,近來想嘗試開發一款安卓APP,考慮了很久最終選擇使用.NET MAUI這個微軟官方的框架來嘗試體驗開發安卓APP,畢竟是使用Visual Studio開發工具,使用起來也比較的順手,結合微軟官方的教程進行了安卓 ...
  • 前言 QuestPDF 是一個開源 .NET 庫,用於生成 PDF 文檔。使用了C# Fluent API方式可簡化開發、減少錯誤並提高工作效率。利用它可以輕鬆生成 PDF 報告、發票、導出文件等。 項目介紹 QuestPDF 是一個革命性的開源 .NET 庫,它徹底改變了我們生成 PDF 文檔的方 ...
  • 項目地址 項目後端地址: https://github.com/ZyPLJ/ZYTteeHole 項目前端頁面地址: ZyPLJ/TreeHoleVue (github.com) https://github.com/ZyPLJ/TreeHoleVue 目前項目測試訪問地址: http://tree ...
  • 話不多說,直接開乾 一.下載 1.官方鏈接下載: https://www.microsoft.com/zh-cn/sql-server/sql-server-downloads 2.在下載目錄中找到下麵這個小的安裝包 SQL2022-SSEI-Dev.exe,運行開始下載SQL server; 二. ...
  • 前言 隨著物聯網(IoT)技術的迅猛發展,MQTT(消息隊列遙測傳輸)協議憑藉其輕量級和高效性,已成為眾多物聯網應用的首選通信標準。 MQTTnet 作為一個高性能的 .NET 開源庫,為 .NET 平臺上的 MQTT 客戶端與伺服器開發提供了強大的支持。 本文將全面介紹 MQTTnet 的核心功能 ...
  • Serilog支持多種接收器用於日誌存儲,增強器用於添加屬性,LogContext管理動態屬性,支持多種輸出格式包括純文本、JSON及ExpressionTemplate。還提供了自定義格式化選項,適用於不同需求。 ...
  • 目錄簡介獲取 HTML 文檔解析 HTML 文檔測試參考文章 簡介 動態內容網站使用 JavaScript 腳本動態檢索和渲染數據,爬取信息時需要模擬瀏覽器行為,否則獲取到的源碼基本是空的。 本文使用的爬取步驟如下: 使用 Selenium 獲取渲染後的 HTML 文檔 使用 HtmlAgility ...
  • 1.前言 什麼是熱更新 游戲或者軟體更新時,無需重新下載客戶端進行安裝,而是在應用程式啟動的情況下,在內部進行資源或者代碼更新 Unity目前常用熱更新解決方案 HybridCLR,Xlua,ILRuntime等 Unity目前常用資源管理解決方案 AssetBundles,Addressable, ...
  • 本文章主要是在C# ASP.NET Core Web API框架實現向手機發送驗證碼簡訊功能。這裡我選擇是一個互億無線簡訊驗證碼平臺,其實像阿裡雲,騰訊雲上面也可以。 首先我們先去 互億無線 https://www.ihuyi.com/api/sms.html 去註冊一個賬號 註冊完成賬號後,它會送 ...
  • 通過以下方式可以高效,並保證數據同步的可靠性 1.API設計 使用RESTful設計,確保API端點明確,並使用適當的HTTP方法(如POST用於創建,PUT用於更新)。 設計清晰的請求和響應模型,以確保客戶端能夠理解預期格式。 2.數據驗證 在伺服器端進行嚴格的數據驗證,確保接收到的數據符合預期格 ...