[自製操作系統] 第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
  • Dapr Outbox 是1.12中的功能。 本文只介紹Dapr Outbox 執行流程,Dapr Outbox基本用法請閱讀官方文檔 。本文中appID=order-processor,topic=orders 本文前提知識:熟悉Dapr狀態管理、Dapr發佈訂閱和Outbox 模式。 Outbo ...
  • 引言 在前幾章我們深度講解了單元測試和集成測試的基礎知識,這一章我們來講解一下代碼覆蓋率,代碼覆蓋率是單元測試運行的度量值,覆蓋率通常以百分比表示,用於衡量代碼被測試覆蓋的程度,幫助開發人員評估測試用例的質量和代碼的健壯性。常見的覆蓋率包括語句覆蓋率(Line Coverage)、分支覆蓋率(Bra ...
  • 前言 本文介紹瞭如何使用S7.NET庫實現對西門子PLC DB塊數據的讀寫,記錄了使用電腦模擬,模擬PLC,自至完成測試的詳細流程,並重點介紹了在這個過程中的易錯點,供參考。 用到的軟體: 1.Windows環境下鏈路層網路訪問的行業標準工具(WinPcap_4_1_3.exe)下載鏈接:http ...
  • 從依賴倒置原則(Dependency Inversion Principle, DIP)到控制反轉(Inversion of Control, IoC)再到依賴註入(Dependency Injection, DI)的演進過程,我們可以理解為一種逐步抽象和解耦的設計思想。這種思想在C#等面向對象的編 ...
  • 關於Python中的私有屬性和私有方法 Python對於類的成員沒有嚴格的訪問控制限制,這與其他面相對對象語言有區別。關於私有屬性和私有方法,有如下要點: 1、通常我們約定,兩個下劃線開頭的屬性是私有的(private)。其他為公共的(public); 2、類內部可以訪問私有屬性(方法); 3、類外 ...
  • C++ 訪問說明符 訪問說明符是 C++ 中控制類成員(屬性和方法)可訪問性的關鍵字。它們用於封裝類數據並保護其免受意外修改或濫用。 三種訪問說明符: public:允許從類外部的任何地方訪問成員。 private:僅允許在類內部訪問成員。 protected:允許在類內部及其派生類中訪問成員。 示 ...
  • 寫這個隨筆說一下C++的static_cast和dynamic_cast用在子類與父類的指針轉換時的一些事宜。首先,【static_cast,dynamic_cast】【父類指針,子類指針】,兩兩一組,共有4種組合:用 static_cast 父類轉子類、用 static_cast 子類轉父類、使用 ...
  • /******************************************************************************************************** * * * 設計雙向鏈表的介面 * * * * Copyright (c) 2023-2 ...
  • 相信接觸過spring做開發的小伙伴們一定使用過@ComponentScan註解 @ComponentScan("com.wangm.lifecycle") public class AppConfig { } @ComponentScan指定basePackage,將包下的類按照一定規則註冊成Be ...
  • 操作系統 :CentOS 7.6_x64 opensips版本: 2.4.9 python版本:2.7.5 python作為腳本語言,使用起來很方便,查了下opensips的文檔,支持使用python腳本寫邏輯代碼。今天整理下CentOS7環境下opensips2.4.9的python模塊筆記及使用 ...