0
  • 聊天消息
  • 系統消息
  • 評論與回復
登錄后你可以
  • 下載海量資料
  • 學習在線課程
  • 觀看技術視頻
  • 寫文章/發(fā)帖/加入社區(qū)
會員中心
創(chuàng)作中心

完善資料讓更多小伙伴認識你,還能領取20積分哦,立即完善>

3天內不再提示

知識總結:一篇就讓你入Linux內核的大門

strongerHuang ? 來源:人人都是極客 ? 作者:布道師Peter ? 2021-05-08 10:18 ? 次閱讀

Linux的內存管理可謂是學好Linux的必經之路,也是Linux的關鍵知識點,有人說打通了內存管理的知識,也就打通了Linux的任督二脈,這一點不夸張。有人問網上有很多Linux內存管理的內容,為什么還要看你這一篇,這正是我寫此文的原因,網上碎片化的相關知識點大都是東拼西湊,先不說正確性與否,就連基本的邏輯都沒有搞清楚,我可以負責任的說Linux內存管理只需要看此文一篇就可以讓你入Linux內核的大門,省去你東找西找的時間,讓你形成內存管理知識的閉環(huán)。

文章比較長,做好準備,深呼吸,讓我們一起打開Linux內核的大門!

Linux內存管理之CPU訪問內存的過程我喜歡用圖的方式來說明問題,簡單直接:

debd9980-af2a-11eb-bf61-12bb97331649.png

藍色部分是cpu,灰色部分是內存,白色部分就是cpu訪問內存的過程,也是地址轉換的過程。在解釋地址轉換的本質前我們先理解下幾個概念:

TLB:MMU工作的過程就是查詢頁表的過程。如果把頁表放在內存中查詢的時候開銷太大,因此為了提高查找效率,專門用一小片訪問更快的區(qū)域存放地址轉換條目。(當頁表內容有變化的時候,需要清除TLB,以防止地址映射出錯。)

Caches:cpu和內存之間的緩存機制,用于提高訪問速率,armv8架構的話上圖的caches其實是L2 Cache,這里就不做進一步解釋了。

虛擬地址轉換為物理地址的本質

我們知道內核中的尋址空間大小是由CONFIG_ARM64_VA_BITS控制的,這里以48位為例,ARMv8中,Kernel Space的頁表基地址存放在TTBR1_EL1寄存器中,User Space頁表基地址存放在TTBR0_EL0寄存器中,其中內核地址空間的高位為全1,(0xFFFF0000_00000000 ~ 0xFFFFFFFF_FFFFFFFF),用戶地址空間的高位為全0,(0x00000000_00000000 ~ 0x0000FFFF_FFFFFFFF)

ded4b408-af2a-11eb-bf61-12bb97331649.png

有了宏觀概念,下面我們以內核態(tài)尋址過程為例看下是如何把虛擬地址轉換為物理地址的。

我們知道linux采用了分頁機制,通常采用四級頁表,頁全局目錄(PGD),頁上級目錄(PUD),頁中間目錄(PMD),頁表(PTE)。如下:

df02ef08-af2a-11eb-bf61-12bb97331649.png

從CR3寄存器中讀取頁目錄所在物理頁面的基址(即所謂的頁目錄基址),從線性地址的第一部分獲取頁目錄項的索引,兩者相加得到頁目錄項的物理地址。

第一次讀取內存得到pgd_t結構的目錄項,從中取出物理頁基址取出,即頁上級頁目錄的物理基地址。

從線性地址的第二部分中取出頁上級目錄項的索引,與頁上級目錄基地址相加得到頁上級目錄項的物理地址。

第二次讀取內存得到pud_t結構的目錄項,從中取出頁中間目錄的物理基地址。

從線性地址的第三部分中取出頁中間目錄項的索引,與頁中間目錄基址相加得到頁中間目錄項的物理地址。

第三次讀取內存得到pmd_t結構的目錄項,從中取出頁表的物理基地址。

從線性地址的第四部分中取出頁表項的索引,與頁表基址相加得到頁表項的物理地址。

第四次讀取內存得到pte_t結構的目錄項,從中取出物理頁的基地址。

從線性地址的第五部分中取出物理頁內偏移量,與物理頁基址相加得到最終的物理地址。

第五次讀取內存得到最終要訪問的數據。

整個過程是比較機械的,每次轉換先獲取物理頁基地址,再從線性地址中獲取索引,合成物理地址后再訪問內存。不管是頁表還是要訪問的數據都是以頁為單位存放在主存中的,因此每次訪問內存時都要先獲得基址,再通過索引(或偏移)在頁內訪問數據,因此可以將線性地址看作是若干個索引的集合。

Linux內存初始化有了armv8架構訪問內存的理解,我們來看下linux在內存這塊的初始化就更容易理解了。

創(chuàng)建啟動頁表:

匯編代碼階段的head.S文件中,負責創(chuàng)建映射關系的函數是create_page_tables。create_page_tables函數負責identity mapping和kernel image mapping。

identity map:是指把idmap_text區(qū)域的物理地址映射到相等的虛擬地址上,這種映射完成后,其虛擬地址等于物理地址。idmap_text區(qū)域都是一些打開MMU相關的代碼。

kernel image map:將kernel運行需要的地址(kernel txt、rodata、data、bss等等)進行映射。

arch/arm64/kernel/head.S:

ENTRY(stext)

bl preserve_boot_args

bl el2_setup // Drop to EL1, w0=cpu_boot_mode

adrp x23, __PHYS_OFFSET

and x23, x23, MIN_KIMG_ALIGN - 1 // KASLR offset, defaults to 0

bl set_cpu_boot_mode_flag

bl __create_page_tables

/*

* The following calls CPU setup code, see arch/arm64/mm/proc.S for

* details.

* On return, the CPU will be ready for the MMU to be turned on and

* the TCR will have been set.

*/

bl __cpu_setup // initialise processor

b __primary_switch

ENDPROC(stext)

__create_page_tables主要執(zhí)行的就是identity map和kernel image map:

__create_page_tables:

。..。..

create_pgd_entry x0, x3, x5, x6

mov x5, x3 // __pa(__idmap_text_start)

adr_l x6, __idmap_text_end // __pa(__idmap_text_end)

create_block_map x0, x7, x3, x5, x6

/*

* Map the kernel image (starting with PHYS_OFFSET)。

*/

adrp x0, swapper_pg_dir

mov_q x5, KIMAGE_VADDR + TEXT_OFFSET // compile time __va(_text)

add x5, x5, x23 // add KASLR displacement

create_pgd_entry x0, x5, x3, x6

adrp x6, _end // runtime __pa(_end)

adrp x3, _text // runtime __pa(_text)

sub x6, x6, x3 // _end - _text

add x6, x6, x5 // runtime __va(_end)

create_block_map x0, x7, x3, x5, x6

。..。..

其中調用create_pgd_entry進行PGD及所有中間level(PUD, PMD)頁表的創(chuàng)建,調用create_block_map進行PTE頁表的映射。關于四級頁表的關系如下圖所示,這里就不進一步解釋了。

匯編結束后的內存映射關系如下圖所示:

df11e562-af2a-11eb-bf61-12bb97331649.png

等內存初始化后就可以進入真正的內存管理了,初始化我總結了一下,大體分為四步:

物理內存進系統前

用memblock模塊來對內存進行管理

頁表映射

zone初始化

Linux是如何組織物理內存的?

node目前計算機系統有兩種體系結構:

非一致性內存訪問 NUMA(Non-Uniform Memory Access)意思是內存被劃分為各個node,訪問一個node花費的時間取決于CPU離這個node的距離。每一個cpu內部有一個本地的node,訪問本地node時間比訪問其他node的速度快

一致性內存訪問 UMA(Uniform Memory Access)也可以稱為SMP(Symmetric Multi-Process)對稱多處理器。意思是所有的處理器訪問內存花費的時間是一樣的。也可以理解整個內存只有一個node。

zone

ZONE的意思是把整個物理內存劃分為幾個區(qū)域,每個區(qū)域有特殊的含義

page

代表一個物理頁,在內核中一個物理頁用一個struct page表示。

page frame

為了描述一個物理page,內核使用struct page結構來表示一個物理頁。假設一個page的大小是4K的,內核會將整個物理內存分割成一個一個4K大小的物理頁,而4K大小物理頁的區(qū)域我們稱為page frame

df404178-af2a-11eb-bf61-12bb97331649.png

page frame num(pfn)

pfn是對每個page frame的編號。故物理地址和pfn的關系是:

物理地址》》PAGE_SHIFT = pfn

pfn和page的關系

內核中支持了好幾個內存模型:CONFIG_FLATMEM(平坦內存模型)CONFIG_DISCONTIGMEM(不連續(xù)內存模型)CONFIG_SPARSEMEM_VMEMMAP(稀疏的內存模型)目前ARM64使用的稀疏的類型模式。

系統啟動的時候,內核會將整個struct page映射到內核虛擬地址空間vmemmap的區(qū)域,所以我們可以簡單的認為struct page的基地址是vmemmap,則:

vmemmap+pfn的地址就是此struct page對應的地址。

Linux分區(qū)頁框分配器頁框分配在內核里的機制我們叫做分區(qū)頁框分配器(zoned page frame allocator),在linux系統中,分區(qū)頁框分配器管理著所有物理內存,無論你是內核還是進程,都需要請求分區(qū)頁框分配器,這時才會分配給你應該獲得的物理內存頁框。當你所擁有的頁框不再使用時,你必須釋放這些頁框,讓這些頁框回到管理區(qū)頁框分配器當中。

有時候目標管理區(qū)不一定有足夠的頁框去滿足分配,這時候系統會從另外兩個管理區(qū)中獲取要求的頁框,但這是按照一定規(guī)則去執(zhí)行的,如下:

如果要求從DMA區(qū)中獲取,就只能從ZONE_DMA區(qū)中獲取。

如果沒有規(guī)定從哪個區(qū)獲取,就按照順序從 ZONE_NORMAL -》 ZONE_DMA 獲取。

如果規(guī)定從HIGHMEM區(qū)獲取,就按照順序從 ZONE_HIGHMEM -》 ZONE_NORMAL -》 ZONE_DMA 獲取。

df72aa6e-af2a-11eb-bf61-12bb97331649.png

內核中根據不同的分配需求有6個函數接口來請求頁框,最終都會調用到__alloc_pages_nodemask。

df80e8cc-af2a-11eb-bf61-12bb97331649.png

struct page *

__alloc_pages_nodemask(gfp_t gfp_mask, unsigned int order, int preferred_nid,

nodemask_t *nodemask)

{

page = get_page_from_freelist(alloc_mask, order, alloc_flags, &ac);//fastpath分配頁面:從pcp(per_cpu_pages)和伙伴系統中正常的分配內存空間

。..。..

page = __alloc_pages_slowpath(alloc_mask, order, &ac);//slowpath分配頁面:如果上面沒有分配到空間,調用下面函數慢速分配,允許等待和回收

。..。..

}

在頁面分配時,有兩種路徑可以選擇,如果在快速路徑中分配成功了,則直接返回分配的頁面;快速路徑分配失敗則選擇慢速路徑來進行分配。總結如下:

正常分配(或叫快速分配):

如果分配的是單個頁面,考慮從per CPU緩存中分配空間,如果緩存中沒有頁面,從伙伴系統中提取頁面做補充。

分配多個頁面時,從指定類型中分配,如果指定類型中沒有足夠的頁面,從備用類型鏈表中分配。最后會試探保留類型鏈表。

慢速(允許等待和頁面回收)分配:

當上面兩種分配方案都不能滿足要求時,考慮頁面回收、殺死進程等操作后在試。

Linux頁框分配器之伙伴算法static struct page *

get_page_from_freelist(gfp_t gfp_mask, unsigned int order, int alloc_flags,

const struct alloc_context *ac)

{

for_next_zone_zonelist_nodemask(zone, z, ac-》zonelist, ac-》high_zoneidx, ac-》nodemask)

{

if (!zone_watermark_fast(zone, order, mark, ac_classzone_idx(ac), alloc_flags))

{

ret = node_reclaim(zone-》zone_pgdat, gfp_mask, order);

switch (ret) {

case NODE_RECLAIM_NOSCAN

continue;

case NODE_RECLAIM_FULL:

continue;

default:

if (zone_watermark_ok(zone, order, mark, ac_classzone_idx(ac), alloc_flags))

goto try_this_zone;

continue;

}

}

try_this_zone: //本zone正常水位

page = rmqueue(ac-》preferred_zoneref-》zone, zone, order, gfp_mask, alloc_flags, ac-》migratetype);

}

return NULL;

}

首先遍歷當前zone,按照HIGHMEM-》NORMAL的方向進行遍歷,判斷當前zone是否能夠進行內存分配的條件是首先判斷free memory是否滿足low water mark水位值,如果不滿足則進行一次快速的內存回收操作,然后再次檢測是否滿足low water mark,如果還是不能滿足,相同步驟遍歷下一個zone,滿足的話進入正常的分配情況,即rmqueue函數,這也是伙伴系統的核心。

Buddy 分配算法

在看函數前,我們先看下算法,因為我一直認為有了“道”的理解才好進一步理解“術”。

df8d2b00-af2a-11eb-bf61-12bb97331649.png

假設這是一段連續(xù)的頁框,陰影部分表示已經被使用的頁框,現在需要申請一個連續(xù)的5個頁框。這個時候,在這段內存上不能找到連續(xù)的5個空閑的頁框,就會去另一段內存上去尋找5個連續(xù)的頁框,這樣子,久而久之就形成了頁框的浪費。為了避免出現這種情況,Linux內核中引入了伙伴系統算法(Buddy system)。把所有的空閑頁框分組為11個塊鏈表,每個塊鏈表分別包含大小為1,2,4,8,16,32,64,128,256,512和1024個連續(xù)頁框的頁框塊。最大可以申請1024個連續(xù)頁框,對應4MB大小的連續(xù)內存。每個頁框塊的第一個頁框的物理地址是該塊大小的整數倍,如圖:

dfb9b0b2-af2a-11eb-bf61-12bb97331649.png

假設要申請一個256個頁框的塊,先從256個頁框的鏈表中查找空閑塊,如果沒有,就去512個頁框的鏈表中找,找到了則將頁框塊分為2個256個頁框的塊,一個分配給應用,另外一個移到256個頁框的鏈表中。如果512個頁框的鏈表中仍沒有空閑塊,繼續(xù)向1024個頁框的鏈表查找,如果仍然沒有,則返回錯誤。頁框塊在釋放時,會主動將兩個連續(xù)的頁框塊合并為一個較大的頁框塊。

從上面可以知道Buddy算法一直在對頁框做拆開合并拆開合并的動作。Buddy算法牛逼就牛逼在運用了世界上任何正整數都可以由2^n的和組成。這也是Buddy算法管理空閑頁表的本質。空閑內存的信息我們可以通過以下命令獲?。?/p>

dfee545c-af2a-11eb-bf61-12bb97331649.png

也可以通過echo m 》 /proc/sysrq-trigger來觀察buddy狀態(tài),與/proc/buddyinfo的信息是一致的:

dffcb43e-af2a-11eb-bf61-12bb97331649.png

Buddy 分配函數

static inline

struct page *rmqueue(struct zone *preferred_zone,

struct zone *zone, unsigned int order,

gfp_t gfp_flags, unsigned int alloc_flags,

int migratetype)

{

if (likely(order == 0)) { //如果order=0則從pcp中分配

page = rmqueue_pcplist(preferred_zone, zone, order, gfp_flags, migratetype);

}

do {

page = NULL;

if (alloc_flags & ALLOC_HARDER) {//如果分配標志中設置了ALLOC_HARDER,則從free_list[MIGRATE_HIGHATOMIC]的鏈表中進行頁面分配

page = __rmqueue_smallest(zone, order, MIGRATE_HIGHATOMIC);

}

if (!page) //前兩個條件都不滿足,則在正常的free_list[MIGRATE_*]中進行分配

page = __rmqueue(zone, order, migratetype);

} while (page && check_new_pages(page, order));

。..。..

}

e1011f8c-af2a-11eb-bf61-12bb97331649.png

Linux分區(qū)頁框分配器之水位我們講頁框分配器的時候講到了快速分配和慢速分配,其中伙伴算法是在快速分配里做的,忘記的小伙伴我們再看下:

static struct page *

get_page_from_freelist(gfp_t gfp_mask, unsigned int order, int alloc_flags,

const struct alloc_context *ac)

{

for_next_zone_zonelist_nodemask(zone, z, ac-》zonelist, ac-》high_zoneidx, ac-》nodemask)

{

if (!zone_watermark_fast(zone, order, mark, ac_classzone_idx(ac), alloc_flags))

{

ret = node_reclaim(zone-》zone_pgdat, gfp_mask, order);

switch (ret) {

case NODE_RECLAIM_NOSCAN:

continue;

case NODE_RECLAIM_FULL:

continue;

default:

if (zone_watermark_ok(zone, order, mark, ac_classzone_idx(ac), alloc_flags))

goto try_this_zone;

continue;

}

}

try_this_zone: //本zone正常水位

page = rmqueue(ac-》preferred_zoneref-》zone, zone, order, gfp_mask, alloc_flags, ac-》migratetype);

}

return NULL;

}

可以看到在進行伙伴算法分配前有個關于水位的判斷,今天我們就看下水位的概念。

簡單的說在使用分區(qū)頁面分配器中會將可以用的free pages與zone里的水位(watermark)進行比較。

水位初始化

nr_free_buffer_pages 是獲取ZONE_DMA和ZONE_NORMAL區(qū)中高于high水位的總頁數nr_free_buffer_pages = managed_pages - high_pages

min_free_kbytes 是總的min大小,min_free_kbytes = 4 * sqrt(lowmem_kbytes)

setup_per_zone_wmarks 根據總的min值,再加上各個zone在總內存中的占比,然后通過do_div就計算出他們各自的min值,進而計算出各個zone的水位大小。min,low,high的關系如下:low = min *125%;

high = min * 150%

minhigh = 46

setup_per_zone_lowmem_reserve 當從Normal失敗后,會嘗試從DMA申請分配,通過lowmem_reserve[DMA],限制來自Normal的分配請求。其值可以通過/proc/sys/vm/lowmem_reserve_ratio來修改。

e10cbdba-af2a-11eb-bf61-12bb97331649.png

從這張圖可以看出:

如果空閑頁數目min值,則該zone非常缺頁,頁面回收壓力很大,應用程序寫內存操作就會被阻塞,直接在應用程序的進程上下文中進行回收,即direct reclaim。

如果空閑頁數目小于low值,kswapd線程將被喚醒,并開始釋放回收頁面。

如果空閑頁面的值大于high值,則該zone的狀態(tài)很完美, kswapd線程將重新休眠。

Linux頁框分配器之內存碎片化整理什么是內存碎片化

Linux物理內存碎片化包括兩種:內部碎片化和外部碎片化。

內部碎片化:

指分配給用戶的內存空間中未被使用的部分。例如進程需要使用3K bytes物理內存,于是向系統申請了大小等于3Kbytes的內存,但是由于Linux內核伙伴系統算法最小顆粒是4K bytes,所以分配的是4Kbytes內存,那么其中1K bytes未被使用的內存就是內存內碎片。

外部碎片化:

指系統中無法利用的小內存塊。例如系統剩余內存為16K bytes,但是這16K bytes內存是由4個4K bytes的頁面組成,即16K內存物理頁幀號#1不連續(xù)。在系統剩余16K bytes內存的情況下,系統卻無法成功分配大于4K的連續(xù)物理內存,該情況就是內存外碎片導致。

碎片化整理算法

Linux內存對碎片化的整理算法主要應用了內核的頁面遷移機制,是一種將可移動頁面進行遷移后騰出連續(xù)物理內存的方法。

假設存在一個非常小的內存域如下:

e13a37e0-af2a-11eb-bf61-12bb97331649.png

藍色表示空閑的頁面,白色表示已經被分配的頁面,可以看到如上內存域的空閑頁面(藍色)非常零散,無法分配大于兩頁的連續(xù)物理內存。

下面演示一下內存規(guī)整的簡化工作原理,內核會運行兩個獨立的掃描動作:第一個掃描從內存域的底部開始,一邊掃描一邊將已分配的可移動(MOVABLE)頁面記錄到一個列表中:

e14a58b4-af2a-11eb-bf61-12bb97331649.png

另外第二掃描是從內存域的頂部開始,掃描可以作為頁面遷移目標的空閑頁面位置,然后也記錄到一個列表里面:

e450a388-af2a-11eb-bf61-12bb97331649.png

等兩個掃描在域中間相遇,意味著掃描結束,然后將左邊掃描得到的已分配的頁面遷移到右邊空閑的頁面中,左邊就形成了一段連續(xù)的物理內存,完成頁面規(guī)整。

e45ee916-af2a-11eb-bf61-12bb97331649.png

碎片化整理的三種方式

static struct page *

__alloc_pages_direct_compact(gfp_t gfp_mask, unsigned int order,

unsigned int alloc_flags, const struct alloc_context *ac,

enum compact_priority prio, enum compact_result *compact_result)

{

struct page *page;

unsigned int noreclaim_flag;

if (!order)

return NULL;

noreclaim_flag = memalloc_noreclaim_save();

*compact_result = try_to_compact_pages(gfp_mask, order, alloc_flags, ac,

prio);

memalloc_noreclaim_restore(noreclaim_flag);

if (*compact_result 《= COMPACT_INACTIVE)

return NULL;

count_vm_event(COMPACTSTALL);

page = get_page_from_freelist(gfp_mask, order, alloc_flags, ac);

if (page) {

struct zone *zone = page_zone(page);

zone-》compact_blockskip_flush = false;

compaction_defer_reset(zone, order, true);

count_vm_event(COMPACTSUCCESS);

return page;

}

count_vm_event(COMPACTFAIL);

cond_resched();

return NULL;

}

在linux內核里一共有3種方式可以碎片化整理,我們總結如下:

e4710f60-af2a-11eb-bf61-12bb97331649.png

Linux slab分配器在Linux中,伙伴系統是以頁為單位分配內存。但是現實中很多時候卻以字節(jié)為單位,不然申請10Bytes內存還要給1頁的話就太浪費了。slab分配器就是為小內存分配而生的。slab分配器分配內存以Byte為單位。但是slab分配器并沒有脫離伙伴系統,而是基于伙伴系統分配的大內存進一步細分成小內存分配。

他們之間的關系可以用一張圖來描述:

e4c22d82-af2a-11eb-bf61-12bb97331649.png

流程分析

kmem_cache_alloc 主要四步:

先從 kmem_cache_cpu-》freelist中分配,如果freelist為null

e4dce3e8-af2a-11eb-bf61-12bb97331649.png

接著去 kmem_cache_cpu-》partital鏈表中分配,如果此鏈表為null

e4fc976a-af2a-11eb-bf61-12bb97331649.png

接著去 kmem_cache_node-》partital鏈表分配,如果此鏈表為null

e51b5e84-af2a-11eb-bf61-12bb97331649.png

重新分配一個slab。

Linux 內存管理之vmalloc根據前面的系列文章,我們知道了buddy system是基于頁框分配器,kmalloc是基于slab分配器,而且這些分配的地址都是物理內存連續(xù)的。但是隨著碎片化的積累,連續(xù)物理內存的分配就會變得困難,對于那些非DMA訪問,不一定非要連續(xù)物理內存的話完全可以像malloc那樣,將不連續(xù)的物理內存頁框映射到連續(xù)的虛擬地址空間中,這就是vmap的來源)(提供把離散的page映射到連續(xù)的虛擬地址空間),vmalloc的分配就是基于這個機制來實現的。

e538f37c-af2a-11eb-bf61-12bb97331649.png

vmalloc最小分配一個page,并且分配到的頁面不保證是連續(xù)的,因為vmalloc內部調用alloc_page多次分配單個頁面。

e56b72fc-af2a-11eb-bf61-12bb97331649.png

vmalloc的區(qū)域就是在上圖中VMALLOC_START - VMALLOC_END之間,可通過/proc/vmallocinfo查看。

e89b76f2-af2a-11eb-bf61-12bb97331649.png

vmalloc流程

主要分以下三步:

從VMALLOC_START到VMALLOC_END查找空閑的虛擬地址空間(hole)

根據分配的size,調用alloc_page依次分配單個頁面。

把分配的單個頁面,映射到第一步中找到的連續(xù)的虛擬地址。把分配的單個頁面,映射到第一步中找到的連續(xù)的虛擬地址。

e9057e12-af2a-11eb-bf61-12bb97331649.png

Linux進程的內存管理之缺頁異常當進程訪問這些還沒建立映射關系的虛擬地址時,處理器會自動觸發(fā)缺頁異常。

ARM64把異常分為同步異常和異步異常,通常異步異常指的是中斷(可看《上帝視角看中斷》),同步異常指的是異常。關于ARM異常處理的文章可參考《ARMv8異常處理簡介》。

當處理器有異常發(fā)生時,處理器會先跳轉到ARM64的異常向量表中:

ENTRY(vectors)

kernel_ventry 1, sync_invalid // Synchronous EL1t

kernel_ventry 1, irq_invalid // IRQ EL1t

kernel_ventry 1, fiq_invalid // FIQ EL1t

kernel_ventry 1, error_invalid // Error EL1t

kernel_ventry 1, sync // Synchronous EL1h

kernel_ventry 1, irq // IRQ EL1h

kernel_ventry 1, fiq_invalid // FIQ EL1h

kernel_ventry 1, error_invalid // Error EL1h

kernel_ventry 0, sync // Synchronous 64-bit EL0

kernel_ventry 0, irq // IRQ 64-bit EL0

kernel_ventry 0, fiq_invalid // FIQ 64-bit EL0

kernel_ventry 0, error_invalid // Error 64-bit EL0

#ifdef CONFIG_COMPAT

kernel_ventry 0, sync_compat, 32 // Synchronous 32-bit EL0

kernel_ventry 0, irq_compat, 32 // IRQ 32-bit EL0

kernel_ventry 0, fiq_invalid_compat, 32 // FIQ 32-bit EL0

kernel_ventry 0, error_invalid_compat, 32 // Error 32-bit EL0

#else

kernel_ventry 0, sync_invalid, 32 // Synchronous 32-bit EL0

kernel_ventry 0, irq_invalid, 32 // IRQ 32-bit EL0

kernel_ventry 0, fiq_invalid, 32 // FIQ 32-bit EL0

kernel_ventry 0, error_invalid, 32 // Error 32-bit EL0

#endif

END(vectors)

以el1下的異常為例,當跳轉到el1_sync函數時,讀取ESR的值以判斷異常類型。根據類型跳轉到不同的處理函數里,如果是data abort的話跳轉到el1_da函數里,instruction abort的話跳轉到el1_ia函數里:

el1_sync:

kernel_entry 1

mrs x1, esr_el1 // read the syndrome register

lsr x24, x1, #ESR_ELx_EC_SHIFT // exception class

cmp x24, #ESR_ELx_EC_DABT_CUR // data abort in EL1

b.eq el1_da

cmp x24, #ESR_ELx_EC_IABT_CUR // instruction abort in EL1

b.eq el1_ia

cmp x24, #ESR_ELx_EC_SYS64 // configurable trap

b.eq el1_undef

cmp x24, #ESR_ELx_EC_SP_ALIGN // stack alignment exception

b.eq el1_sp_pc

cmp x24, #ESR_ELx_EC_PC_ALIGN // pc alignment exception

b.eq el1_sp_pc

cmp x24, #ESR_ELx_EC_UNKNOWN // unknown exception in EL1

b.eq el1_undef

cmp x24, #ESR_ELx_EC_BREAKPT_CUR // debug exception in EL1

b.ge el1_dbg

b el1_inv

流程圖如下:

e91aebb2-af2a-11eb-bf61-12bb97331649.png

do_page_fault

static int __do_page_fault(struct mm_struct *mm, unsigned long addr,

unsigned int mm_flags, unsigned long vm_flags,

struct task_struct *tsk)

{

struct vm_area_struct *vma;

int fault;

vma = find_vma(mm, addr);

fault = VM_FAULT_BADMAP; //沒有找到vma區(qū)域,說明addr還沒有在進程的地址空間中

if (unlikely(!vma))

goto out;

if (unlikely(vma-》vm_start 》 addr))

goto check_stack;

/*

* Ok, we have a good vm_area for this memory access, so we can handle

* it.

*/

good_area://一個好的vma

/*

* Check that the permissions on the VMA allow for the fault which

* occurred.

*/

if (!(vma-》vm_flags & vm_flags)) {//權限檢查

fault = VM_FAULT_BADACCESS;

goto out;

}

//重新建立物理頁面到VMA的映射關系

return handle_mm_fault(vma, addr & PAGE_MASK, mm_flags);

check_stack:

if (vma-》vm_flags & VM_GROWSDOWN && !expand_stack(vma, addr))

goto good_area;

out:

return fault;

}

從__do_page_fault函數能看出來,當觸發(fā)異常的虛擬地址屬于某個vma,并且擁有觸發(fā)頁錯誤異常的權限時,會調用到handle_mm_fault函數來建立vma和物理地址的映射,而handle_mm_fault函數的主要邏輯是通過__handle_mm_fault來實現的。

__handle_mm_fault

static int __handle_mm_fault(struct vm_area_struct *vma, unsigned long address,

unsigned int flags)

{

。..。..

//查找頁全局目錄,獲取地址對應的表項

pgd = pgd_offset(mm, address);

//查找頁四級目錄表項,沒有則創(chuàng)建

p4d = p4d_alloc(mm, pgd, address);

if (!p4d)

return VM_FAULT_OOM;

//查找頁上級目錄表項,沒有則創(chuàng)建

vmf.pud = pud_alloc(mm, p4d, address);

。..。..

//查找頁中級目錄表項,沒有則創(chuàng)建

vmf.pmd = pmd_alloc(mm, vmf.pud, address);

。..。..

//處理pte頁表

return handle_pte_fault(&vmf);

}

e92c19dc-af2a-11eb-bf61-12bb97331649.png

do_anonymous_page

匿名頁缺頁異常,對于匿名映射,映射完成之后,只是獲得了一塊虛擬內存,并沒有分配物理內存,當第一次訪問的時候:

如果是讀訪問,會將虛擬頁映射到0頁,以減少不必要的內存分配

如果是寫訪問,用alloc_zeroed_user_highpage_movable分配新的物理頁,并用0填充,然后映射到虛擬頁上去

如果是先讀后寫訪問,則會發(fā)生兩次缺頁異常:第一次是匿名頁缺頁異常的讀的處理(虛擬頁到0頁的映射),第二次是寫時復制缺頁異常處理。

從上面的總結我們知道,第一次訪問匿名頁時有三種情況,其中第一種和第三種情況都會涉及到0頁。

do_fault

e93fd7ba-af2a-11eb-bf61-12bb97331649.png

do_swap_page

上面已經講過,pte對應的內容不為0(頁表項存在),但是pte所對應的page不在內存中時,表示此時pte的內容所對應的頁面在swap空間中,缺頁異常時會通過do_swap_page()函數來分配頁面。

do_swap_page發(fā)生在swap in的時候,即查找磁盤上的slot,并將數據讀回。

換入的過程如下:

查找swap cache中是否存在所查找的頁面,如果存在,則根據swap cache引用的內存頁,重新映射并更新頁表;如果不存在,則分配新的內存頁,并添加到swap cache的引用中,更新內存頁內容完成后,更新頁表。

換入操作結束后,對應swap area的頁引用減1,當減少到0時,代表沒有任何進程引用了該頁,可以進行回收。

int do_swap_page(struct vm_fault *vmf)

{

。..。..

//根據pte找到swap entry, swap entry和pte有一個對應關系

entry = pte_to_swp_entry(vmf-》orig_pte);

。..。..

if (!page)

//根據entry從swap緩存中查找頁, 在swapcache里面尋找entry對應的page

//Lookup a swap entry in the swap cache

page = lookup_swap_cache(entry, vma_readahead ? vma : NULL,

vmf-》address);

//沒有找到頁

if (!page) {

if (vma_readahead)

page = do_swap_page_readahead(entry,

GFP_HIGHUSER_MOVABLE, vmf, &swap_ra);

else

//如果swapcache里面找不到就在swap area里面找,分配新的內存頁并從swap area中讀入

page = swapin_readahead(entry,

GFP_HIGHUSER_MOVABLE, vma, vmf-》address);

。..。..

//獲取一個pte的entry,重新建立映射

vmf-》pte = pte_offset_map_lock(vma-》vm_mm, vmf-》pmd, vmf-》address,

&vmf-》ptl);

。..。..

//anonpage數加1,匿名頁從swap空間交換出來,所以加1

//swap page個數減1,由page和VMA屬性創(chuàng)建一個新的pte

inc_mm_counter_fast(vma-》vm_mm, MM_ANONPAGES);

dec_mm_counter_fast(vma-》vm_mm, MM_SWAPENTS);

pte = mk_pte(page, vma-》vm_page_prot);

。..。..

flush_icache_page(vma, page);

if (pte_swp_soft_dirty(vmf-》orig_pte))

pte = pte_mksoft_dirty(pte);

//將新生成的PTE entry添加到硬件頁表中

set_pte_at(vma-》vm_mm, vmf-》address, vmf-》pte, pte);

vmf-》orig_pte = pte;

//根據page是否為swapcache

if (page == swapcache) {

//如果是,將swap緩存頁用作anon頁,添加反向映射rmap中

do_page_add_anon_rmap(page, vma, vmf-》address, exclusive);

mem_cgroup_commit_charge(page, memcg, true, false);

//并添加到active鏈表中

activate_page(page);

//如果不是

} else { /* ksm created a completely new copy */

//使用新頁面并復制swap緩存頁,添加反向映射rmap中

page_add_new_anon_rmap(page, vma, vmf-》address, false);

mem_cgroup_commit_charge(page, memcg, false, false);

//并添加到lru鏈表中

lru_cache_add_active_or_unevictable(page, vma);

}

//釋放swap entry

swap_free(entry);

。..。..

if (vmf-》flags & FAULT_FLAG_WRITE) {

//有寫請求則寫時復制

ret |= do_wp_page(vmf);

if (ret & VM_FAULT_ERROR)

ret &= VM_FAULT_ERROR;

goto out;

}

。..。..

return ret;

}

e9e15644-af2a-11eb-bf61-12bb97331649.png

do_wp_page

走到這里說明頁面在內存中,只是PTE只有讀權限,而又要寫內存的時候就會觸發(fā)do_wp_page。

do_wp_page函數用于處理寫時復制(copy on write),其流程比較簡單,主要是分配新的物理頁,拷貝原來頁的內容到新頁,然后修改頁表項內容指向新頁并修改為可寫(vma具備可寫屬性)。

static int do_wp_page(struct vm_fault *vmf)

__releases(vmf-》ptl)

{

struct vm_area_struct *vma = vmf-》vma;

//從頁表項中得到頁幀號,再得到頁描述符,發(fā)生異常時地址所在的page結構

vmf-》page = vm_normal_page(vma, vmf-》address, vmf-》orig_pte);

if (!vmf-》page) {

//沒有page結構是使用頁幀號的特殊映射

/*

* VM_MIXEDMAP !pfn_valid() case, or VM_SOFTDIRTY clear on a

* VM_PFNMAP VMA.

*

* We should not cow pages in a shared writeable mapping.

* Just mark the pages writable and/or call ops-》pfn_mkwrite.

*/

if ((vma-》vm_flags & (VM_WRITE|VM_SHARED)) ==

(VM_WRITE|VM_SHARED))

//處理共享可寫映射

return wp_pfn_shared(vmf);

pte_unmap_unlock(vmf-》pte, vmf-》ptl);

//處理私有可寫映射

return wp_page_copy(vmf);

}

/*

* Take out anonymous pages first, anonymous shared vmas are

* not dirty accountable.

*/

if (PageAnon(vmf-》page) && !PageKsm(vmf-》page)) {

int total_map_swapcount;

if (!trylock_page(vmf-》page)) {

//添加原來頁的引用計數,方式被釋放

get_page(vmf-》page);

//釋放頁表鎖

pte_unmap_unlock(vmf-》pte, vmf-》ptl);

lock_page(vmf-》page);

vmf-》pte = pte_offset_map_lock(vma-》vm_mm, vmf-》pmd,

vmf-》address, &vmf-》ptl);

if (!pte_same(*vmf-》pte, vmf-》orig_pte)) {

unlock_page(vmf-》page);

pte_unmap_unlock(vmf-》pte, vmf-》ptl);

put_page(vmf-》page);

return 0;

}

put_page(vmf-》page);

}

//單身匿名頁面的處理

if (reuse_swap_page(vmf-》page, &total_map_swapcount)) {

if (total_map_swapcount == 1) {

/*

* The page is all ours. Move it to

* our anon_vma so the rmap code will

* not search our parent or siblings.

* Protected against the rmap code by

* the page lock.

*/

page_move_anon_rmap(vmf-》page, vma);

}

unlock_page(vmf-》page);

wp_page_reuse(vmf);

return VM_FAULT_WRITE;

}

unlock_page(vmf-》page);

} else if (unlikely((vma-》vm_flags & (VM_WRITE|VM_SHARED)) ==

(VM_WRITE|VM_SHARED))) {

//共享可寫,不需要復制物理頁,設置頁表權限即可

return wp_page_shared(vmf);

}

/*

* Ok, we need to copy. Oh, well.。

*/

get_page(vmf-》page);

pte_unmap_unlock(vmf-》pte, vmf-》ptl);

//私有可寫,復制物理頁,將虛擬頁映射到物理頁

return wp_page_copy(vmf);

}

Linux 內存管理之CMACMA是reserved的一塊內存,用于分配連續(xù)的大塊內存。當設備驅動不用時,內存管理系統將該區(qū)域用于分配和管理可移動類型頁面;當設備驅動使用時,此時已經分配的頁面需要進行遷移,又用于連續(xù)內存分配;其用法與DMA子系統結合在一起充當DMA的后端,具體可參考《沒有IOMMU的DMA操作》。

CMA區(qū)域 cma_areas 的創(chuàng)建

CMA區(qū)域的創(chuàng)建有兩種方法,一種是通過dts的reserved memory,另外一種是通過command line參數和內核配置參數。

dts方式:

reserved-memory {

/* global autoconfigured region for contiguous allocations */

linux,cma {

compatible = “shared-dma-pool”;

reusable;

size = 《0 0x28000000》;

alloc-ranges = 《0 0xa0000000 0 0x40000000》;

linux,cma-default;

};

};

device tree中可以包含reserved-memory node,系統啟動的時候會打開rmem_cma_setup

RESERVEDMEM_OF_DECLARE(cma, “shared-dma-pool”, rmem_cma_setup);

command line方式:cma=nn[MG]@[start[MG][-end[MG]]]

static int __init early_cma(char *p)

{

pr_debug(“%s(%s)

”, __func__, p);

size_cmdline = memparse(p, &p);

if (*p != ‘@’) {

/*

if base and limit are not assigned,

set limit to high memory bondary to use low memory.

*/

limit_cmdline = __pa(high_memory);

return 0;

}

base_cmdline = memparse(p + 1, &p);

if (*p != ‘-’) {

limit_cmdline = base_cmdline + size_cmdline;

return 0;

}

limit_cmdline = memparse(p + 1, &p);

return 0;

}

early_param(“cma”, early_cma);

系統在啟動的過程中會把cmdline里的nn, start, end傳給函數dma_contiguous_reserve,流程如下:

setup_arch---》arm64_memblock_init---》dma_contiguous_reserve-》dma_contiguous_reserve_area-》cma_declare_contiguous

eaecb786-af2a-11eb-bf61-12bb97331649.png

將CMA區(qū)域添加到Buddy System

為了避免這塊reserved的內存在不用時候的浪費,內存管理模塊會將CMA區(qū)域添加到Buddy System中,用于可移動頁面的分配和管理。CMA區(qū)域是通過cma_init_reserved_areas接口來添加到Buddy System中的。

static int __init cma_init_reserved_areas(void)

{

int i;

for (i = 0; i 《 cma_area_count; i++) {

int ret = cma_activate_area(&cma_areas[i]);

if (ret)

return ret;

}

return 0;

}

core_initcall(cma_init_reserved_areas);

其實現比較簡單,主要分為兩步:

把該頁面設置為MIGRATE_CMA標志

通過__free_pages將頁面添加到buddy system中

eaf72072-af2a-11eb-bf61-12bb97331649.png

CMA分配

《沒有IOMMU的DMA操作》里講過,CMA是通過cma_alloc分配的。cma_alloc-》alloc_contig_range(。.., MIGRATE_CMA,。..),向剛才釋放給buddy system的MIGRATE_CMA類型頁面,重新“收集”過來。

eb245204-af2a-11eb-bf61-12bb97331649.png

用CMA的時候有一點需要注意:

也就是上圖中黃色部分的判斷。CMA內存在分配過程是一個比較“重”的操作,可能涉及頁面遷移、頁面回收等操作,因此不適合用于atomic context。比如之前遇到過一個問題,當內存不足的情況下,向U盤寫數據的同時操作界面會出現卡頓的現象,這是因為CMA在遷移的過程中需要等待當前頁面中的數據回寫到U盤之后,才會進一步的規(guī)整為連續(xù)內存供gpu/display使用,從而出現卡頓的現象。

eb7baf90-af2a-11eb-bf61-12bb97331649.png

總結至此,從CPU開始訪問內存,到物理頁的劃分,再到內核頁框分配器的實現,以及slab分配器的實現,最后到CMA等連續(xù)內存的使用,把Linux內存管理的知識串了起來,算是形成了整個閉環(huán)。相信如果掌握了本篇內容,肯定打開了Linux內核的大門,有了這個基石,祝愿大家接下來的內核學習越來越輕松。

原文標題:萬字整理,肝翻Linux內存管理所有知識點

文章出處:【微信公眾號:strongerHuang】歡迎添加關注!文章轉載請注明出處。

責任編輯:haq

聲明:本文內容及配圖由入駐作者撰寫或者入駐合作網站授權轉載。文章觀點僅代表作者本人,不代表電子發(fā)燒友網立場。文章及其配圖僅供工程師學習之用,如有內容侵權或者其他違規(guī)問題,請聯系本站處理。 舉報投訴
  • Linux
    +關注

    關注

    87

    文章

    11165

    瀏覽量

    208469
  • 內存
    +關注

    關注

    8

    文章

    2944

    瀏覽量

    73729

原文標題:萬字整理,肝翻Linux內存管理所有知識點

文章出處:【微信號:strongerHuang,微信公眾號:strongerHuang】歡迎添加關注!文章轉載請注明出處。

收藏 人收藏

    評論

    相關推薦

    linux驅動程序如何加載進內核

    ,需要了解Linux內核的基本概念和API。以下是些關鍵概念: 1.1 內核模塊:Linux內核
    的頭像 發(fā)表于 08-30 15:02 ?287次閱讀

    Linux內核測試技術

    。內核測試技術是實現這目標的關鍵手段。本文將詳細介紹 Linux 內核測試的各種技術,包括單元測試、集成測試、功能測試和性能測試等,并討論不同測試方法的優(yōu)缺點及其適用場景。
    的頭像 發(fā)表于 08-13 13:42 ?341次閱讀
    <b class='flag-5'>Linux</b><b class='flag-5'>內核</b>測試技術

    歡創(chuàng)播報 華為宣布鴻蒙內核已超越Linux內核

    自誕生以來的最大次升級換代。HarmonyOS NEXT不依賴傳統的Unix內核Linux內核,而是依靠自主的鴻蒙內核。這就意味著,鴻蒙
    的頭像 發(fā)表于 06-27 11:30 ?660次閱讀

    使用 PREEMPT_RT 在 Ubuntu 中構建實時 Linux 內核

    的實時內核補丁來完成。簡介我們曾介紹過在Ubuntu22.04中啟用實時Linux內核有多簡單,因為Canonical已將該內核列為個選項
    的頭像 發(fā)表于 04-12 08:36 ?1795次閱讀
    使用 PREEMPT_RT 在 Ubuntu 中構建實時 <b class='flag-5'>Linux</b> <b class='flag-5'>內核</b>

    RK3568驅動指南|驅動基礎進階-進階8 內核運行ko文件總結

    RK3568驅動指南|驅動基礎進階-進階8 內核運行ko文件總結
    的頭像 發(fā)表于 01-31 14:58 ?1021次閱讀
    RK3568驅動指南|驅動基礎進階<b class='flag-5'>篇</b>-進階8 <b class='flag-5'>內核</b>運行ko文件<b class='flag-5'>總結</b>

    C++在Linux內核開發(fā)中從爭議到成熟

    Linux 內核郵件列表中已有六年歷史的老帖近日再次引發(fā)激烈討論 —— 主題是建議將 Linux
    的頭像 發(fā)表于 01-31 14:11 ?535次閱讀
    C++在<b class='flag-5'>Linux</b><b class='flag-5'>內核</b>開發(fā)中從爭議到成熟

    Ubuntu 24.04 LTS選用Linux 6.8為默認內核

    關于Ubuntu 24.04 LTS使用何種內核版本,直備受關注。Canonical工程師Andrea Righi昨日宣布,Ubuntu 24.04將默認搭載Linux 6.8內核
    的頭像 發(fā)表于 01-29 11:27 ?898次閱讀

    Linux內核內存管理架構解析

    內存管理子系統可能是linux內核中最為復雜的個子系統,其支持的功能需求眾多,如頁面映射、頁面分配、頁面回收、頁面交換、冷熱頁面、緊急頁面、頁面碎片管理、頁面緩存、頁面統計等,而且對性能也有很高
    的頭像 發(fā)表于 01-04 09:24 ?591次閱讀
    <b class='flag-5'>Linux</b><b class='flag-5'>內核</b>內存管理架構解析

    【飛騰派4G版免費試用】2.手把手實戰(zhàn)編譯Linux內核

    /目錄下,并以版本號作為后綴,例如4.19.246-phytium-embeded+。 希望這可以幫助您更好地理解Linux內核的編譯過程! 現在開始手把手實戰(zhàn): 首先,讓我們想象下,
    發(fā)表于 12-16 23:28

    獲取Linux內核源碼的方法

    關鍵功能,今天小編就給各位小伙伴介紹下如何獲取Linux內核源碼。獲取Linux內核源碼的渠道Linu
    的頭像 發(fā)表于 12-13 09:49 ?587次閱讀
    獲取<b class='flag-5'>Linux</b><b class='flag-5'>內核</b>源碼的方法

    Linux內核slab性能優(yōu)化的核心思想

    今天分享內存性能優(yōu)化的文章,文章用了大量精美的圖深入淺出地分析了Linux內核slab性能優(yōu)化的核心思想,slab是Linux
    的頭像 發(fā)表于 11-13 11:45 ?546次閱讀
    <b class='flag-5'>Linux</b><b class='flag-5'>內核</b>slab性能優(yōu)化的核心思想

    Linux內核UDP收包為什么效率低

    現在很多人都在詬病Linux內核協議棧收包效率低,不管他們是真的懂還是點都不懂只是聽別人說的,反正就是在味地懟Linux
    的頭像 發(fā)表于 11-13 10:38 ?415次閱讀
    <b class='flag-5'>Linux</b><b class='flag-5'>內核</b>UDP收包為什么效率低

    Linux內核內存規(guī)整總結

    1.前言 伙伴系統作為內核最基礎的物理頁內存分配器,具有高效、實現邏輯簡介等優(yōu)點,其原理頁也盡可能降低內存外部碎片產生,但依然無法杜絕碎片問題。外部碎片帶來的最大影響就是內存足夠,但是卻無法滿足內存
    的頭像 發(fā)表于 11-11 11:17 ?1206次閱讀
    <b class='flag-5'>Linux</b><b class='flag-5'>內核</b>內存規(guī)整<b class='flag-5'>總結</b>

    Linux 內存管理總結

    Linux內存管理概述 Linux內存管理是指對系統內存的分配、釋放、映射、管理、交換、壓縮等系列操作的管理。在Linux中,內存被劃
    的頭像 發(fā)表于 11-10 14:58 ?463次閱讀
    <b class='flag-5'>Linux</b> 內存管理<b class='flag-5'>總結</b>

    如何優(yōu)化Linux內核UDP收包效率低

    很多人都在詬病Linux內核協議棧收包效率低,不管他們是真的懂還是點都不懂只是聽別人說的,反正就是在味地懟Linux
    的頭像 發(fā)表于 11-10 10:51 ?513次閱讀
    如何優(yōu)化<b class='flag-5'>Linux</b><b class='flag-5'>內核</b>UDP收包效率低