主頁 > 作業系統 > Linux-3.14.12記憶體管理筆記【構建記憶體管理框架(1)】

Linux-3.14.12記憶體管理筆記【構建記憶體管理框架(1)】

2020-09-14 15:20:13 作業系統

傳統的計算機結構中,整個物理記憶體都是一條線上的,CPU訪問整個記憶體空間所需要的時間都是相同的,這種記憶體結構被稱之為UMA(Uniform Memory Architecture,一致存盤結構),但是隨著計算機的發展,一些新型的服務器結構中,尤其是多CPU的情況下,物理記憶體空間的訪問就難以控制所需的時間相同了,在多CPU的環境下,系統只有一條總線,有多個CPU都鏈接到上面,而且每個CPU都有自己本地的物理記憶體空間,但是也可以通過總線去訪問別的CPU物理記憶體空間,同時也存在著一些多CPU都可以共同訪問的公共物理記憶體空間,于是乎這就出現了一個新的情況,由于各種物理記憶體空間所處的位置不同,于是訪問它們的時間長短也就各異,沒法保證一致,對于這種情況的記憶體結構,被稱之為NUMA(Non-Uniform Memory Architecture,非一致存盤結構),事實上也沒有完全的UMA,比如常見的單CPU電腦,RAM、ROM等物理存盤空間的訪問時間并非一致的,只是純粹對RAM而言,是UMA的,此外還有一種稱之為MPP的結構(Massive Parallel Processing,大規模并行處理系統),是由多個SMP服務器通過一定的節點互聯網路進行連接,協同作業,完成相同的任務,從外界使用者看來,它是一個服務器系統,

回歸正題,著重看一下NUMA,由于NUMA存盤結構的引入,這就需要相應的管理機制來支持, linux 2.4版本就已經開始對其支持了,隨著新增管理機制的支持,也隨之引入了Node的概念(存盤節點),把訪問時間相同的存盤空間歸結為一個存盤節點,于是當前分析的3.14.12版本,linux的物理記憶體管理機制將物理記憶體劃分為三個層次來管理,依次是:Node(存盤節點)、Zone(管理區)和Page(頁面),

image

存盤節點的資料結構為pg_data_t,每個NUMA節點都有一個pg_data_t負責記載該節點的記憶體布局資訊,其中pg_data_t結構體中存盤管理區資訊的為node_zones成員,其資料結構為zone,每個pg_data_t都有多個node_zones,通常是三個:ZONE_DMA、ZONE_NORMAL、ZONE_HIGHMEM,

ZONE_DMA區通常是由于計算機中部分設備無法直接訪問全部記憶體空間而特地劃分出來給該部分設備使用的區,x86環境中,該區通常小于16M,

ZONE_NORMAL區位于ZONE_DMA后面,這個區域被內核直接映射到線性地址的高端部分,x86環境中,該區通常為16M-896M,

ZONE_HIGHMEM區則是系統除了ZONE_DMA和ZONE_NORMAL區后剩下的物理記憶體,這個區不能直接被內核映射,x86環境中,該區通常為896M以后的記憶體,

為什么要有高端記憶體的存在?通常都知道內核空間的大小為1G(線性空間為:3-4G),那么映射這1G記憶體需要多少頁全域目錄項?很容易可以算出來是256項,內核有這么多執行緒在其中,1G夠嗎?很明顯不夠,如果要使用超出1G的記憶體空間怎么辦?如果要使用記憶體,很明顯必須要做映射,那么騰出幾個頁全域目錄項出來做映射?Bingo,就是這樣,那么騰出多少來呢?linux內核的設計就是騰出32個頁全域目錄項,256的1/8,那么32個頁全域目錄項對應多大的記憶體空間?算一下可以知道是128M,也就是說直接映射的記憶體空間是896M,使用超過896M的記憶體空間視為高端記憶體,一旦使用的時候,就需要做映射轉換,這是一件很耗資源的事情,所以不要常使用高端記憶體,就是這么一個由來,

接著看一下記憶體管理框架的初始化實作,initmem_init():

【file:/arch/x86/mm/init_32.c】
#ifndef CONFIG_NEED_MULTIPLE_NODES
void __init initmem_init(void)
{
#ifdef CONFIG_HIGHMEM
    highstart_pfn = highend_pfn = max_pfn;
    if (max_pfn > max_low_pfn)
        highstart_pfn = max_low_pfn;
    printk(KERN_NOTICE "%ldMB HIGHMEM available.\n",
        pages_to_mb(highend_pfn - highstart_pfn));
    high_memory = (void *) __va(highstart_pfn * PAGE_SIZE - 1) + 1;
#else
    high_memory = (void *) __va(max_low_pfn * PAGE_SIZE - 1) + 1;
#endif
 
    memblock_set_node(0, (phys_addr_t)ULLONG_MAX, &memblock.memory, 0);
    sparse_memory_present_with_active_regions(0);
 
#ifdef CONFIG_FLATMEM
    max_mapnr = IS_ENABLED(CONFIG_HIGHMEM) ? highend_pfn : max_low_pfn;
#endif
    __vmalloc_start_set = true;
 
    printk(KERN_NOTICE "%ldMB LOWMEM available.\n",
            pages_to_mb(max_low_pfn));
 
    setup_bootmem_allocator();
}
#endif /* !CONFIG_NEED_MULTIPLE_NODES */

將high_memory初始化為低端記憶體頁框max_low_pfn對應的地址大小,接著呼叫memblock_set_node,根據函式命名,可以推斷出該函式用于給早前建立的memblock演算法設定node節點資訊,

memblock_set_node的實作:

【file:/mm/memblock.c】
/**
 * memblock_set_node - set node ID on memblock regions
 * @base: base of area to set node ID for
 * @size: size of area to set node ID for
 * @type: memblock type to set node ID for
 * @nid: node ID to set
 *
 * Set the nid of memblock @type regions in [@base,@base+@size) to @nid.
 * Regions which cross the area boundaries are split as necessary.
 *
 * RETURNS:
 * 0 on success, -errno on failure.
 */
int __init_memblock memblock_set_node(phys_addr_t base, phys_addr_t size,
                      struct memblock_type *type, int nid)
{
    int start_rgn, end_rgn;
    int i, ret;
 
    ret = memblock_isolate_range(type, base, size, &start_rgn, &end_rgn);
    if (ret)
        return ret;
 
    for (i = start_rgn; i < end_rgn; i++)
        memblock_set_region_node(&type->regions[i], nid);
 
    memblock_merge_regions(type);
    return 0;
}

memblock_set_node主要呼叫了三個函式做相關操作:memblock_isolate_range、memblock_set_region_node和memblock_merge_regions,

其中memblock_isolate_range:

【file:/mm/memblock.c】
/**
 * memblock_isolate_range - isolate given range into disjoint memblocks
 * @type: memblock type to isolate range for
 * @base: base of range to isolate
 * @size: size of range to isolate
 * @start_rgn: out parameter for the start of isolated region
 * @end_rgn: out parameter for the end of isolated region
 *
 * Walk @type and ensure that regions don't cross the boundaries defined by
 * [@base,@base+@size). Crossing regions are split at the boundaries,
 * which may create at most two more regions. The index of the first
 * region inside the range is returned in *@start_rgn and end in *@end_rgn.
 *
 * RETURNS:
 * 0 on success, -errno on failure.
 */
static int __init_memblock memblock_isolate_range(struct memblock_type *type,
                    phys_addr_t base, phys_addr_t size,
                    int *start_rgn, int *end_rgn)
{
    phys_addr_t end = base + memblock_cap_size(base, &size);
    int i;
 
    *start_rgn = *end_rgn = 0;
 
    if (!size)
        return 0;
 
    /* we'll create at most two more regions */
    while (type->cnt + 2 > type->max)
        if (memblock_double_array(type, base, size) < 0)
            return -ENOMEM;
 
    for (i = 0; i < type->cnt; i++) {
        struct memblock_region *rgn = &type->regions[i];
        phys_addr_t rbase = rgn->base;
        phys_addr_t rend = rbase + rgn->size;
 
        if (rbase >= end)
            break;
        if (rend <= base)
            continue;
 
        if (rbase < base) {
            /*
             * @rgn intersects from below. Split and continue
             * to process the next region - the new top half.
             */
            rgn->base = base;
            rgn->size -= base - rbase;
            type->total_size -= base - rbase;
            memblock_insert_region(type, i, rbase, base - rbase,
                           memblock_get_region_node(rgn),
                           rgn->flags);
        } else if (rend > end) {
            /*
             * @rgn intersects from above. Split and redo the
             * current region - the new bottom half.
             */
            rgn->base = end;
            rgn->size -= end - rbase;
            type->total_size -= end - rbase;
            memblock_insert_region(type, i--, rbase, end - rbase,
                           memblock_get_region_node(rgn),
                           rgn->flags);
        } else {
            /* @rgn is fully contained, record it */
            if (!*end_rgn)
                *start_rgn = i;
            *end_rgn = i + 1;
        }
    }
 
    return 0;
}

該函式主要做分割操作,在memblock演算法建立時,只是判斷了flags是否相同,然后將連續記憶體做合并操作,而此時建立node節點,則根據入參base和size標記節點記憶體范圍將記憶體劃分開來,如果memblock中的region恰好以該節點記憶體范圍末尾劃分開來的話,那么則將region的索引記錄至start_rgn,索引加1記錄至end_rgn回傳回去;如果memblock中的region跨越了該節點記憶體末尾分界,那么將會把當前的region邊界調整為node節點記憶體范圍邊界,另一部分通過memblock_insert_region()函式插入到memblock管理regions當中,以完成拆分,

順便看一下memblock_insert_region()函式:

【file:/mm/memblock.c】
/**
 * memblock_insert_region - insert new memblock region
 * @type: memblock type to insert into
 * @idx: index for the insertion point
 * @base: base address of the new region
 * @size: size of the new region
 * @nid: node id of the new region
 * @flags: flags of the new region
 *
 * Insert new memblock region [@base,@base+@size) into @type at @idx.
 * @type must already have extra room to accomodate the new region.
 */
static void __init_memblock memblock_insert_region(struct memblock_type *type,
                           int idx, phys_addr_t base,
                           phys_addr_t size,
                           int nid, unsigned long flags)
{
    struct memblock_region *rgn = &type->regions[idx];
 
    BUG_ON(type->cnt >= type->max);
    memmove(rgn + 1, rgn, (type->cnt - idx) * sizeof(*rgn));
    rgn->base = base;
    rgn->size = size;
    rgn->flags = flags;
    memblock_set_region_node(rgn, nid);
    type->cnt++;
    type->total_size += size;
}

這里一個memmove()將后面的region資訊往后移,另外呼叫memblock_set_region_node()將原region的node節點號保留在被拆分出來的region當中,

而memblock_set_region_node()函式實作僅是賦值而已:

【file:/mm/memblock.h】
static inline void memblock_set_region_node(struct memblock_region *r, int nid)
{
    r->nid = nid;
}

至此,回到memblock_set_node()函式,里面接著memblock_isolate_range()被呼叫的memblock_set_region_node()已知是獲取node節點號,而memblock_merge_regions()則前面已經分析過了,是用于將region合并的,

最后回到initmem_init()函式中,memblock_set_node()回傳后,接著呼叫的函式為sparse_memory_present_with_active_regions(),

這里sparse memory涉及到linux的一個記憶體模型概念,linux內核有三種記憶體模型:Flat memory、Discontiguous memory和Sparse memory,其分別表示:

  • Flat memory:顧名思義,物理記憶體是平坦連續的,整個系統只有一個node節點,
  • Discontiguous memory:物理記憶體不連續,記憶體中存在空洞,也因而系統將物理記憶體分為多個節點,但是每個節點的內部記憶體是平坦連續的,值得注意的是,該模型不僅是對于NUMA環境而言,UMA環境上同樣可能存在多個節點的情況,
  • Sparse memory:物理記憶體是不連續的,節點的內部記憶體也可能是不連續的,系統也因而可能會有一個或多個節點,此外,該模型是記憶體熱插拔的基礎,

看一下sparse_memory_present_with_active_regions()的實作:

【file:/mm/page_alloc.c】
/**
 * sparse_memory_present_with_active_regions - Call memory_present for each active range
 * @nid: The node to call memory_present for. If MAX_NUMNODES, all nodes will be used.
 *
 * If an architecture guarantees that all ranges registered with
 * add_active_ranges() contain no holes and may be freed, this
 * function may be used instead of calling memory_present() manually.
 */
void __init sparse_memory_present_with_active_regions(int nid)
{
    unsigned long start_pfn, end_pfn;
    int i, this_nid;
 
    for_each_mem_pfn_range(i, nid, &start_pfn, &end_pfn, &this_nid)
        memory_present(this_nid, start_pfn, end_pfn);
}

里面的for_each_mem_pfn_range()是一個旨在回圈的宏定義,而memory_present()由于實驗環境中沒有定義CONFIG_HAVE_MEMORY_PRESENT,所以是個空函式,暫且擱置不做深入研究,

最后看一下initmem_init()退出前呼叫的函式setup_bootmem_allocator():

【file:/arch/x86/mm/init_32.c】
void __init setup_bootmem_allocator(void)
{
    printk(KERN_INFO " mapped low ram: 0 - %08lx\n",
         max_pfn_mapped<<PAGE_SHIFT);
    printk(KERN_INFO " low ram: 0 - %08lx\n", max_low_pfn<<PAGE_SHIFT);
}

原來該函式是用來初始化bootmem管理演算法的,但現在x86的環境已經使用了memblock管理演算法,這里僅作保留列印部分資訊,

轉載請註明出處,本文鏈接:https://www.uj5u.com/caozuo/36199.html

標籤:嵌入式

上一篇:嵌入式01 51單片機實驗02 最小系統新

下一篇:痞子衡嵌入式:終于可以放開聊一聊i.MXRT1170這顆劃時代MCU了

標籤雲
其他(157675) Python(38076) JavaScript(25376) Java(17977) C(15215) 區塊鏈(8255) C#(7972) AI(7469) 爪哇(7425) MySQL(7132) html(6777) 基礎類(6313) sql(6102) 熊猫(6058) PHP(5869) 数组(5741) R(5409) Linux(5327) 反应(5209) 腳本語言(PerlPython)(5129) 非技術區(4971) Android(4554) 数据框(4311) css(4259) 节点.js(4032) C語言(3288) json(3245) 列表(3129) 扑(3119) C++語言(3117) 安卓(2998) 打字稿(2995) VBA(2789) Java相關(2746) 疑難問題(2699) 细绳(2522) 單片機工控(2479) iOS(2429) ASP.NET(2402) MongoDB(2323) 麻木的(2285) 正则表达式(2254) 字典(2211) 循环(2198) 迅速(2185) 擅长(2169) 镖(2155) 功能(1967) .NET技术(1958) Web開發(1951) python-3.x(1918) HtmlCss(1915) 弹簧靴(1913) C++(1909) xml(1889) PostgreSQL(1872) .NETCore(1853) 谷歌表格(1846) Unity3D(1843) for循环(1842)

熱門瀏覽
  • CA和證書

    1、在 CentOS7 中使用 gpg 創建 RSA 非對稱密鑰對 gpg --gen-key #Centos上生成公鑰/密鑰對(存放在家目錄.gnupg/) 2、將 CentOS7 匯出的公鑰,拷貝到 CentOS8 中,在 CentOS8 中使用 CentOS7 的公鑰加密一個檔案 gpg -a ......

    uj5u.com 2020-09-10 00:09:53 more
  • Kubernetes K8S之資源控制器Job和CronJob詳解

    Kubernetes的資源控制器Job和CronJob詳解與示例 ......

    uj5u.com 2020-09-10 00:10:45 more
  • VMware下安裝CentOS

    VMware下安裝CentOS 一、軟硬體準備 1 Centos鏡像準備 1.1 CentOS鏡像下載地址 下載地址 1.2 CentOS鏡像下載程序 點擊下載地址進入如下圖的網站,選擇需要下載的版本,這里選擇的是Centos8,點擊如圖所示。 決定選擇Centos8后,選擇想要的鏡像源進行下載,此 ......

    uj5u.com 2020-09-10 00:12:10 more
  • 如何使用Grep命令查找多個字串

    如何使用Grep 命令查找多個字串 大家好,我是良許! 今天向大家介紹一個非常有用的技巧,那就是使用 grep 命令查找多個字串。 簡單介紹一下,grep 命令可以理解為是一個功能強大的命令列工具,可以用它在一個或多個輸入檔案中搜索與正則運算式相匹配的文本,然后再將每個匹配的文本用標準輸出的格式 ......

    uj5u.com 2020-09-10 00:12:28 more
  • git配置http代理

    git配置http代理 經常遇到克隆 github 慢的問題,這里記錄一下幾種配置 git 代理的方法,解決 clone github 過慢。 目錄 git配置代理 git單獨配置github代理 git配置全域代理 配置終端環境變數 git配置代理 主要使用 git config 命令 git單獨 ......

    uj5u.com 2020-09-10 00:12:33 more
  • Linux npm install 裝包時提示Error EACCES permission denied解

    npm install 裝包時提示Error EACCES permission denied解決辦法 ......

    uj5u.com 2020-09-10 00:12:53 more
  • Centos 7下安裝nginx,使用yum install nginx,提示沒有可用的軟體包

    Centos 7下安裝nginx,使用yum install nginx,提示沒有可用的軟體包。 18 (flaskApi) [root@67 flaskDemo]# yum -y install nginx 19 已加載插件:fastestmirror, langpacks 20 Loading ......

    uj5u.com 2020-09-10 00:13:13 more
  • Linux查看服務器暴力破解ssh IP

    在公網的服務器上經常遇到別人爆破你服務器的22埠,用來挖礦或者干其他嘿嘿嘿的事情~ 這種情況下正確的做法是: 修改默認ssh的22埠 使用設定密鑰登錄或者白名單ip登錄 建議服務器密碼為復雜密碼 創建普通用戶登錄服務器(root權限過大) 建立堡壘機,實作統一管理服務器 統計爆破IP [root ......

    uj5u.com 2020-09-10 00:13:17 more
  • CentOS 7系統常見快捷鍵操作方式

    Linux系統中一些常見的快捷方式,可有效提高操作效率,在某些時刻也能避免操作失誤帶來的問題。 ......

    uj5u.com 2020-09-10 00:13:31 more
  • CentOS 7作業系統目錄結構介紹

    作業系統存在著大量的資料檔案資訊,相應檔案資訊會存在于系統相應目錄中,為了更好的管理資料資訊,會將系統進行一些目錄規劃,不同目錄存放不同的資源。 ......

    uj5u.com 2020-09-10 00:13:35 more
最新发布
  • vim的常用命令

    Vim的6種基本模式 1. 普通模式在普通模式中,用的編輯器命令,比如移動游標,洗掉文本等等。這也是Vim啟動后的默認模式。這正好和許多新用戶期待的操作方式相反(大多數編輯器默認模式為插入模式)。 2. 插入模式在這個模式中,大多數按鍵都會向文本緩沖中插入文本。大多數新用戶希望文本編輯器編輯程序中一 ......

    uj5u.com 2023-04-20 08:43:21 more
  • vim的常用命令

    Vim的6種基本模式 1. 普通模式在普通模式中,用的編輯器命令,比如移動游標,洗掉文本等等。這也是Vim啟動后的默認模式。這正好和許多新用戶期待的操作方式相反(大多數編輯器默認模式為插入模式)。 2. 插入模式在這個模式中,大多數按鍵都會向文本緩沖中插入文本。大多數新用戶希望文本編輯器編輯程序中一 ......

    uj5u.com 2023-04-20 08:42:36 more
  • docker學習

    ###Docker概述 真實專案部署環境可能非常復雜,傳統發布專案一個只需要一個jar包,運行環境需要單獨部署。而通過Docker可將jar包和相關環境(如jdk,redis,Hadoop...)等打包到docker鏡像里,將鏡像發布到Docker倉庫,部署時下載發布的鏡像,直接運行發布的鏡像即可。 ......

    uj5u.com 2023-04-19 09:26:53 more
  • 設定Windows主機的瀏覽器為wls2的默認瀏覽器

    這里以Chrome為例。 1. 準備作業 wsl是可以使用Windows主機上安裝的exe程式,出于安全考慮,默認情況下改功能是無法使用。要使用的話,終端需要以管理員權限啟動。 我這里以Windows Terminal為例,介紹如何默認使用管理員權限打開終端,具體操作如下圖所示: 2. 操作 wsl ......

    uj5u.com 2023-04-19 09:25:49 more
  • docker學習

    ###Docker概述 真實專案部署環境可能非常復雜,傳統發布專案一個只需要一個jar包,運行環境需要單獨部署。而通過Docker可將jar包和相關環境(如jdk,redis,Hadoop...)等打包到docker鏡像里,將鏡像發布到Docker倉庫,部署時下載發布的鏡像,直接運行發布的鏡像即可。 ......

    uj5u.com 2023-04-19 09:19:04 more
  • Linux學習筆記

    IP地址和主機名 IP地址 ifconfig可以用來查詢本機的IP地址,如果不能使用,可以通過install net-tools安裝。 Centos系統下ens33表示主網卡;inet后表示IP地址;lo表示本地回環網卡; 127.0.0.1表示代指本機;0.0.0.0可以用于代指本機,同時在放行設 ......

    uj5u.com 2023-04-18 06:52:01 more
  • 解決linux系統的kdump服務無法啟動的問題

    問題:專案麒麟系統服務器的kdump服務無法啟動,沒有相關日志無法定位問題。 1、查看服務狀態是關閉的,重啟系統也無法啟動 systemctl status kdump 2、修改grub引數,修改“crashkernel”為“512M(有的機器數值太大太小都會導致報錯,建議從128M開始試,或者加個 ......

    uj5u.com 2023-04-12 09:59:50 more
  • 解決linux系統的kdump服務無法啟動的問題

    問題:專案麒麟系統服務器的kdump服務無法啟動,沒有相關日志無法定位問題。 1、查看服務狀態是關閉的,重啟系統也無法啟動 systemctl status kdump 2、修改grub引數,修改“crashkernel”為“512M(有的機器數值太大太小都會導致報錯,建議從128M開始試,或者加個 ......

    uj5u.com 2023-04-12 09:59:01 more
  • 你是不是暴露了?

    作者:袁首京 原創文章,轉載時請保留此宣告,并給出原文連接。 如果您是計算機相關從業人員,那么應該經歷不止一次網路安全專項檢查了,你肯定是收到過資訊系統技術檢測報告,要求你加強風險監測,確保你提供的系統服務堅實可靠了。 沒檢測到問題還好,檢測到問題的話,有些處理起來還是挺麻煩的,尤其是線上正在運行的 ......

    uj5u.com 2023-04-05 16:52:56 more
  • 細節拉滿,80 張圖帶你一步一步推演 slab 記憶體池的設計與實作

    1. 前文回顧 在之前的幾篇記憶體管理系列文章中,筆者帶大家從宏觀角度完整地梳理了一遍 Linux 記憶體分配的整個鏈路,本文的主題依然是記憶體分配,這一次我們會從微觀的角度來探秘一下 Linux 內核中用于零散小記憶體塊分配的記憶體池 —— slab 分配器。 在本小節中,筆者還是按照以往的風格先帶大家簡單 ......

    uj5u.com 2023-04-05 16:44:11 more