[自製操作系統] 第08回 開啟分頁機制

来源:https://www.cnblogs.com/Lizhixing/archive/2022/06/19/16390849.html
-Advertisement-
Play Games

目錄 一、前景回顧 二、規劃頁表 三、實現頁表 四、運行測試 一、前景回顧 前面我們已經介紹了分頁機制的運行原理,那麼如何開啟分頁機制呢,也簡單,分為如下三個步驟: 1、創建頁目錄表並初始化頁記憶體。 2、將頁目錄表地址賦值為CR3。 3、打開CR0寄存器的PG位。 可以看出頁表是分頁機制的核心,接下 ...


目錄
一、前景回顧
二、規劃頁表
三、實現頁表
四、運行測試

 

一、前景回顧

  前面我們已經介紹了分頁機制的運行原理,那麼如何開啟分頁機制呢,也簡單,分為如下三個步驟:

  1、創建頁目錄表並初始化頁記憶體。

  2、將頁目錄表地址賦值為CR3。

  3、打開CR0寄存器的PG位。

  可以看出頁表是分頁機制的核心,接下來我們將開始在我們的系統上實現一個二級頁表。

二、規劃頁表

  設計頁表其實就是設計記憶體佈局,不過在規劃記憶體佈局之前,我們需要瞭解用戶進程與操作系統之間的關係。

  在操作系統中,為了電腦安全,用戶進程始終是運行在低特權級的。用戶進程需要訪問硬體相關資源時,是需要向操作系統申請,然後通過系統調用的方式陷入操作系統,由操作系統去做並且將結果返回給用戶進程。進程可以有多個,但是操作系統只有一個。所以操作系統必須“共用”給每一個進程,他們的關係如圖所示。

  對於每一個進程來說,它不單單是運行程式這麼簡單的事,它需要接受調度、阻塞、在需要陷入內核時還需要操作系統的幫助等等,因此,完整的一個進程是需要和操作系統配合才能完成正常的工作。也就是說每一個進程裡面應該包含操作系統部分。Linux下的每一個進程,高1GB的空間就是留給操作系統的,低3GB的空間就是留給進程用戶空間自身的,在我們的系統中,也遵循這樣的安排。對於這高1GB的空間,我們並不是每創建一個新的進程,就將操作系統代碼給複製到這1GB的空間中,這樣顯得笨重而且隨著進程數的增加會占用更多的記憶體。實際上操作系統的代碼只有一份,我們每創建一個新的進程,就讓該進程的高1GB空間指向操作系統即可。

  現在回過頭來看看我們的系統,這裡提前透露一下,後面完善了內核之後,我們的整個操作系統的代碼也不到1MB,所以我們這裡就假設最終操作系統的代碼只有1MB,也就是說整個操作系統代碼的存放區域從0x0到0xFFFFF。跟前面說的劃分1GB的空間來存放操作系統代碼差距特別大,很大一部分沒有用上,因為我們的操作系統會比較簡單,用不到這麼多空間。不過記憶體劃分還是按照Linux下的格式來,便於學習。

  所以頁目錄表的地址,我們就存放在物理地址0x100000處,為了讓頁表緊挨著頁目錄表,頁目錄表本身占用4KB,所以第一個頁表的物理地址是0x101000,還有其他的規劃我一併表現在它們的物理記憶體佈局中,如圖所示。

  

  這張圖將我們的整個頁表規劃表現得一覽無餘,至於其中細節且讓我娓娓道來。

  首先我們知道,頁表是用來給虛擬地址映射用的,虛擬地址的使用前提得是開啟了分頁機制,如果沒有開啟分頁機制,那麼頁表就毫無用處。現在假設我們開啟了分頁機制,那麼此時註意,我們使用的地址就不再是之前的線性地址了,而是虛擬地址。怎麼說呢,以前我們要想讓CPU訪問一個地址,只需要將該地址拆解分別賦給CS和段內偏移就可以了,但是開啟分頁機制後,拆解出的這個地址就不能訪問到期望的地址了,因為在開啟分頁機制後,CPU拿到這個地址,會根據CR3寄存器中存儲的頁目錄表地址來進行定址,最終得到的物理地址才是CPU真正去訪問的地址。具體步驟請參考上一回的內容

  所以現在如果我們想要訪問操作系統的代碼,也就是低端1MB的記憶體,該如何訪問呢?前面我們說過,Linux將用戶進程的高1GB作為操作系統的空間,所以我們可以知道,在用戶進程中,虛擬地址0xc0000000~0xffffffff便是映射到操作系統的1GB空間中去,而在我們的系統中,操作系統的代碼總共占據了1MB的記憶體,所以從0xc0000000~0xc00fffff便是映射到我們操作系統的1MB空間,0xc0000000虛擬地址對應的頁目錄項應該是第768個,這個算起來容易,0xc0000000的高10位是0x300,即十進位的768。該目錄項可以表示的記憶體空間是4MB,所以我們指定了一個頁表來管理這4MB的空間,因此我們在頁目錄表的第768頁目錄項中填入該頁表的物理地址0x101000,我們將目光轉入到0x101000地址處,此處頁表的第0到255頁表項指向的物理記憶體便是我們操作系統的1MB空間。

  從頁目錄項的第769到1022的頁目錄項中,我們都只是指定了頁表地址,並沒有給實際的頁表初始化,因為我們的操作系統只占用了1MB空間,多餘的也用不上,這裡只是為了占個位置而已。

  頁目錄項的第1023項可能會有人比較好奇,為什麼該項指向的地址是頁目錄表本身地址,這裡是為了能通過虛擬地址來訪問到頁目錄表本身,如果後面需要修改頁目錄表,我們通過0xfffff000~0xffffffff就能訪問到頁目錄表的第0到第1023項,感興趣的朋友可以自己試試,看這個虛擬地址最終是否能轉換成頁目錄表各項的物理地址。當然可能就會有人說,這樣的話操作系統實際上就並沒有占據1GB的記憶體空間了麽,少掉了4MB的空間,事實上的確是這樣,不過其實問題也不大,是吧。

  最後我們再來看看為什麼頁目錄表的第0項的內容是0x101000。原因是我們在載入內核之前,程式中一直都是運行的loader,它本身的代碼都是在低端1MB之內的,必須保證之前段機制下的線性地址和分頁後的虛擬地址對應的物理地址一致。

三、實現頁表

  前面說了這麼多,接下來我們來實現我們的頁目錄表和頁表。在loader.S文件中增加如下代碼:

  1 %include "boot.inc"
  2 section loader vstart=LOADER_BASE_ADDR
  3 LOADER_STACK_TOP equ LOADER_BASE_ADDR
  4 jmp loader_start
  5 
  6 ;構建gdt及其內部描述符
  7 GDT_BASE:        dd 0x00000000
  8                  dd 0x00000000
  9 CODE_DESC:       dd 0x0000FFFF
 10                  dd DESC_CODE_HIGH4
 11 DATA_STACK_DESC: dd 0x0000FFFF
 12                  dd DESC_DATA_HIGH4
 13 VIDEO_DESC:      dd 0x80000007
 14                  dd DESC_VIDEO_HIGH4
 15 
 16 GDT_SIZE  equ $-GDT_BASE
 17 GDT_LIMIT equ GDT_SIZE-1
 18 times 60 dq 0  ;此處預留60個描述符的空位
 19 
 20 SELECTOR_CODE  equ (0x0001<<3) + TI_GDT + RPL0
 21 SELECTOR_DATA  equ (0x0002<<3) + TI_GDT + RPL0
 22 SELECTOR_VIDEO equ (0x0003<<3) + TI_GDT + RPL0
 23 
 24 ;以下是gdt指針,前2個位元組是gdt界限,後4個位元組是gdt的起始地址
 25 gdt_ptr   dw GDT_LIMIT 
 26           dd GDT_BASE
 27 
 28 ;---------------------進入保護模式------------
 29 loader_start:
 30     ;一、打開A20地址線
 31     in al, 0x92
 32     or al, 0000_0010B
 33     out 0x92, al
 34     
 35     ;二、載入GDT
 36     lgdt [gdt_ptr]
 37 
 38     ;三、cr0第0位(pe)置1
 39     mov eax, cr0
 40     or eax, 0x00000001
 41     mov cr0, eax
 42     
 43     jmp dword SELECTOR_CODE:p_mode_start ;刷新流水線
 44 
 45     [bits 32]
 46     p_mode_start:
 47             mov ax, SELECTOR_DATA
 48             mov ds, ax
 49             mov es, ax
 50             mov ss, ax
 51             mov esp, LOADER_STACK_TOP
 52             mov ax, SELECTOR_VIDEO
 53             mov gs, ax
 54             
 55             mov byte [gs:160], 'p'
 56 
 57 ;------------------開啟分頁機制-----------------
 58     ;一、創建頁目錄表並初始化頁記憶體點陣圖
 59     call setup_page
 60 
 61     ;將描述符表地址及偏移量寫入記憶體gdt_ptr,一會兒用新地址重新載入
 62     sgdt [gdt_ptr]
 63     ;將gdt描述符中視頻段描述符中的段基址+0xc0000000
 64     mov ebx, [gdt_ptr + 2]
 65     or dword [ebx + 0x18 + 4], 0xc0000000
 66             
 67     ;將gdt的基址加上0xc0000000使其成為內核所在的高地址
 68     add dword [gdt_ptr + 2], 0xc0000000
 69 
 70     add esp, 0xc0000000  ;將棧指針同樣映射到內核地址
 71             
 72     ;二、將頁目錄表地址賦值給cr3
 73     mov eax, PAGE_DIR_TABLE_POS
 74     mov cr3, eax
 75             
 76     ;三、打開cr0的pg位
 77     mov eax, cr0
 78     or eax, 0x80000000
 79     mov cr0, eax
 80             
 81     ;在開啟分頁後,用gdt新的地址重新載入
 82     lgdt [gdt_ptr]
 83     mov byte [gs:160], 'H'
 84     mov byte [gs:162], 'E'
 85     mov byte [gs:164], 'L'
 86     mov byte [gs:166], 'L'
 87     mov byte [gs:168], 'O'
 88     mov byte [gs:170], ' '
 89     mov byte [gs:172], 'P'
 90     mov byte [gs:174], 'A'
 91     mov byte [gs:176], 'G'
 92     mov byte [gs:178], 'E'
 93 
 94     jmp $
 95 ;---------------------------------------------
 96 
 97 ;--------------函數聲明------------------------
 98     ;setup_page:(功能)設置分頁------------
 99     setup_page:
100         ;先把頁目錄占用的空間逐位元組清0
101         mov ecx, 4096
102         mov esi, 0
103         .clear_page_dir:
104                 mov byte [PAGE_DIR_TABLE_POS + esi], 0
105                 inc esi
106         loop .clear_page_dir
107         
108         ;開始創建頁目錄項
109         .create_pde:
110                 mov eax, PAGE_DIR_TABLE_POS
111                 add eax, 0x1000             ;此時eax為第一個頁表的位置
112                 mov ebx, eax
113         
114         ;下麵將頁目錄項0和0xc00都存為第一個頁表的地址,每個頁表表示4MB記憶體
115         ;頁目錄表的屬性RW和P位為1,US為1,表示用戶屬性,所有特權級別都可以訪問
116         or eax, PG_US_U | PG_RW_W | PG_P
117         
118         ;在頁目錄表中的第1個目錄項中寫入第一個頁表的地址(0x101000)和屬性
119         mov [PAGE_DIR_TABLE_POS + 0x0], eax
120 
121         mov [PAGE_DIR_TABLE_POS + 0xc00], eax
122 
123         ;使最後一個目錄項指向頁目錄表自己的地址
124         sub eax, 0x1000
125         mov [PAGE_DIR_TABLE_POS + 4092], eax
126 
127         ;下麵創建頁表項(PTE)
128         mov ecx, 256     ;1M低端記憶體/每頁大小4K=256
129         mov esi, 0
130         mov edx, PG_US_U | PG_RW_W | PG_P
131         .create_pte:     ;創建page table entry
132                 mov [ebx + esi*4], edx
133                 add edx, 4096
134                 inc esi
135         loop .create_pte
136         
137         ;創建內核其他頁表的PDE
138         mov eax, PAGE_DIR_TABLE_POS
139         add eax, 0x2000           ;此時eax為第二個頁表的位置
140         or eax, PG_US_U | PG_RW_W | PG_P
141         mov ebx, PAGE_DIR_TABLE_POS
142         mov ecx, 254              ;範圍為第769~1022的所有目錄項數量
143         mov esi, 769 
144         .create_kernel_pde:
145                 mov [ebx + esi*4], eax
146                 inc esi
147                 add eax, 0x1000
148         loop .create_kernel_pde
149         ret
loader.S

  我還是將之前的代碼附上了,便於理解,新增的是開啟分頁機制以及函數聲明部分。

  我們重點來看看setup_page函數,該函數的作用便是創建頁目錄表並初始化頁記憶體。PAGE_DIR_TABLE_POS在boot.inc文件中定義為0x100000,也就是我們事先說的頁目錄表的存儲地址。

  首先將以PAGE_DIR_TABLE_POS為起始地址的4096個位元組,也就是一頁物理頁大小的記憶體空間給清0,隨後再進行初始化。代碼中有很多註釋,這裡就不再贅述。

四、運行測試

  這裡就不再贅述。還是和前面一樣,通過nasm和dd命令將loader.S編譯寫入硬碟,運行boch得到如下畫面。在boch的控制台輸入info tab命令查看生成的頁表。

  

   

  左邊是虛擬地址,右邊是映射後的真實物理地址。對比我們前面設計的頁表沒有問題,說明我們的程式沒有問題。

  本回到此結束了,接下來我們要開始向內核進軍,開始使用熟悉的C語言來編寫程式了。欲知後事如何,請看下回分解。


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

-Advertisement-
Play Games
更多相關文章
一周排行
    -Advertisement-
    Play Games
  • 前言 在我們開發過程中基本上不可或缺的用到一些敏感機密數據,比如SQL伺服器的連接串或者是OAuth2的Secret等,這些敏感數據在代碼中是不太安全的,我們不應該在源代碼中存儲密碼和其他的敏感數據,一種推薦的方式是通過Asp.Net Core的機密管理器。 機密管理器 在 ASP.NET Core ...
  • 新改進提供的Taurus Rpc 功能,可以簡化微服務間的調用,同時可以不用再手動輸出模塊名稱,或調用路徑,包括負載均衡,這一切,由框架實現並提供了。新的Taurus Rpc 功能,將使得服務間的調用,更加輕鬆、簡約、高效。 ...
  • 順序棧的介面程式 目錄順序棧的介面程式頭文件創建順序棧入棧出棧利用棧將10進位轉16進位數驗證 頭文件 #include <stdio.h> #include <stdbool.h> #include <stdlib.h> 創建順序棧 // 指的是順序棧中的元素的數據類型,用戶可以根據需要進行修改 ...
  • 前言 整理這個官方翻譯的系列,原因是網上大部分的 tomcat 版本比較舊,此版本為 v11 最新的版本。 開源項目 從零手寫實現 tomcat minicat 別稱【嗅虎】心有猛虎,輕嗅薔薇。 系列文章 web server apache tomcat11-01-官方文檔入門介紹 web serv ...
  • C總結與剖析:關鍵字篇 -- <<C語言深度解剖>> 目錄C總結與剖析:關鍵字篇 -- <<C語言深度解剖>>程式的本質:二進位文件變數1.變數:記憶體上的某個位置開闢的空間2.變數的初始化3.為什麼要有變數4.局部變數與全局變數5.變數的大小由類型決定6.任何一個變數,記憶體賦值都是從低地址開始往高地 ...
  • 如果讓你來做一個有狀態流式應用的故障恢復,你會如何來做呢? 單機和多機會遇到什麼不同的問題? Flink Checkpoint 是做什麼用的?原理是什麼? ...
  • C++ 多級繼承 多級繼承是一種面向對象編程(OOP)特性,允許一個類從多個基類繼承屬性和方法。它使代碼更易於組織和維護,並促進代碼重用。 多級繼承的語法 在 C++ 中,使用 : 符號來指定繼承關係。多級繼承的語法如下: class DerivedClass : public BaseClass1 ...
  • 前言 什麼是SpringCloud? Spring Cloud 是一系列框架的有序集合,它利用 Spring Boot 的開發便利性簡化了分散式系統的開發,比如服務註冊、服務發現、網關、路由、鏈路追蹤等。Spring Cloud 並不是重覆造輪子,而是將市面上開發得比較好的模塊集成進去,進行封裝,從 ...
  • class_template 類模板和函數模板的定義和使用類似,我們已經進行了介紹。有時,有兩個或多個類,其功能是相同的,僅僅是數據類型不同。類模板用於實現類所需數據的類型參數化 template<class NameType, class AgeType> class Person { publi ...
  • 目錄system v IPC簡介共用記憶體需要用到的函數介面shmget函數--獲取對象IDshmat函數--獲得映射空間shmctl函數--釋放資源共用記憶體實現思路註意 system v IPC簡介 消息隊列、共用記憶體和信號量統稱為system v IPC(進程間通信機制),V是羅馬數字5,是UNI ...