摘要

用BIOS方式启动计算机后,BIOS先读取引导扇区,引导扇区再从外部存储设备中读取加载器,加载器读取内核。进入内核后,把加载器中建立的GDT复制到内核中。

这篇文章的最大价值也许在末尾,对C语言指针的新理解。

是什么

在BOOT(引导扇区)加载LOADER(加载器)。

在LOADER中初始化GDT、堆栈,把Knernel(内核)读取到内存,然后开启保护模式,最后进入Knernel并开始执行。操作系统正式开始运行了。

GDT是CPU在保护模式下内存寻址必定会使用的元素,在Kernel执行过程中也需要用到。

在内核中重新加载GDT和堆栈,是指,把存储于LOADER所使用的内存中的GDT数据和堆栈中的数据复制到Kernel所使用的内存中。关键点不是Kernel和LOADER所使用的内存,而是变量。换句话说,把存储在LOADER中的变量中的GDT数据和堆栈中的数据复制到Kernel变量中的GDT和堆栈。

LOADER是用汇编写的,“汇编中的变量”,不知道这种表述是否准确。

为什么

理由很简单。LOADER是用汇编语言写的,Kernel主要用C语言开发。在Kernel中使用GDT,若使用LOADER中定义的那个GDT变量(或者叫标号),光想一想就觉得很混乱。

用一句解释:C语言中使用C语言中的变量更方便。

怎么做

流程

  1. 在kernel中声明变量unsigned short gdt_ptr,存储GDT的内存地址。
  2. 使用sgdt指令把GDT的内地址复制到gdt_ptr中。
  3. 在kernel中创建结构体gdt,存储GDT。
  4. 使用内存复制函数把GDT从LOADER中设置的内存位置复制到kernel中的变量gdt表示的内存中。

memcpy

它是内存复制函数。

这样实现它:

  1. 原型是:memcpy(void *dst, void *src, int size)
  2. 核心是,把数据从[ds:esi]移动到[es:edi]
  3. 以字节为单位来复制数据,复制size次。
  4. jmp实现循环,不用loop
  5. 循环终止条件是:size = 0。
memcpy:
push ebp
mov ebp, esp push edi
push esi
push ecx
push eax
push ds
push es mov es, [ebp + 12] ;dst
mov ds, [ebp + 8] ; src
mov size, [ebp + 4] ; size mov edi, 0
mov esi, 0
mov ecx, size .1:
cmp ecx, 0
jz .2
mov al, [ds:esi]
mov [es:edi], al
inc esi
inc edi
dec ecx
.2:
pop es
pop ds
pop eax
pop ecx
pop esi
pop edi
pop ebp
ret

gdt

typedef struct {
unsigned short limitLow;
unsigned short baseAddressLow;
unsigned char baseAddressMid;
unsigned char attribute1;
unsigned char attribute_limit;
unsigned char baseAddressHigh;
}Descriptor; Descriptor gdt[128];

堆栈

[SECTION .bss]
StackSpace resb 2 * 1024
StackTop: mov esp, StackTop

不理解。

代码

C语言

// 声明一个char数组,存储GDT的内存地址
unsigned char gdt_ptr[6];

nasm汇编

; 使用C语言中声明的变量gdt_ptr
extern gdt_ptr
; 把寄存器gdtr中的数据复制到变量gdt_ptr中
sgdt [gdt_ptr]

然后在C语言中把LOADER中的GDT复制到C语言中的gdt变量中。

memcpy(&gdt,
(void *)((*)(int *)(&gdt_ptr[2])),
(*)((int *)(&gdt_ptr[0]))
);
short *gdt_limit = &gdt_ptr[0];
int *gdt_base = &gdt_ptr[2]; *gdt_limit = 128 * sizeof(Descriptor) - 1;
*gdt_base = (int) &gdt;

难点解读

memcpy的参数

上面的那段代码,理解起来难度不小。

memcpy(&gdt,
(void *)((*)(int *)(&gdt_ptr[2])),
(*)((short *)(&gdt_ptr[0]))+1
);

memcpy的第一个参数是目标内存地址,是一个指针类型变量,赋值应该是一个内存地址,所以用&取得变量gdt的内存地址。

  1. 理解(void *)((*)(int *)(&gdt_ptr[2]))

    1. 第二个参数是源数据的内存地址,是GDT的物理地址。
    2. 它存储在gdt_ptr的后6个字节中。
    3. &gdt_ptr[2]获取gdt_ptr的第3个元素gdt_ptr[2]的物理地址。
    4. 前面的(int *)将这段物理地址强制类型转换为一个指针,这个指针的数据类型是int *
    5. 数据类型是int *有三层含义:
      1. 这个数据是一个指针。
      2. 这个数据的值是一个内存地址。
      3. 这个内存地址是一个4字节(int类型占用4字节)内存区域的初始地址。
    6. &gdt_ptr[2]是一个内存地址,用(int *)将它包装成或强制转换成指针类型。
    7. 再用*运算符,是获取这个内存地址指向的内存区域中的数据。
    8. 这个数据是int类型,占用4个字节。这4个字节的初始地址是&gdt_ptr[2]。这是最关键的一句。
    9. 为什么最后还要用void *
      1. 因为,这4个字节中存储的那个int数据又是一个内存地址,因此,需要再次包装成一个指针。
      2. 因为,memcpy对参数的数据类型要求是void *
      3. 究竟是哪个原因,我也不知道。
  2. 理解:(*)((short *)(&gdt_ptr[0]))+1
    1. 为什么要加1?gdt_ptr的低2位保存的是GDT的字节偏移量的最大值,是GDT的长度减1。
    2. &gdt_ptr[0])gdt_ptr[0])的内存地址AD。
    3. (short *)&gdt_ptr[0])用AD创建一个指针变量。
      1. 这个指针变量指向一块内存。
      2. 这块内存占用2个字节。
      3. 这块内存的初始地址是&gdt_ptr[0]),即gdt_ptr[0])的内存地址。
      4. (short *)&gdt_ptr[0])实质是指代&gdt_ptr[0]、&gdt_ptr[1]这两小块内存。
    4. (*)((short *)(&gdt_ptr[0]))&gdt_ptr[0]、&gdt_ptr[1]这两小块内存中的值,即gdt_ptr[0]、gdt_ptr[1]
    5. 为什么不需要像第二个参数一样在前面再加上一个(void *)
      1. 因为,第4步的结果是一个short类型的整型数(short能称之为整型吗?),不是内存地址,不需要强制类型转换。

其他

short *gdt_limit = &gdt_ptr[0];
int *gdt_base = &gdt_ptr[2]; *gdt_limit = 128 * sizeof(Descriptor) - 1;
*gdt_base = (int) &gdt;
short *gdt_limit = &gdt_ptr[0];
int *gdt_base = &gdt_ptr[2];

这段代码创建了两个变量并赋值,获取了GDT的界限和地址。可是紧接着又有下面两句,是对GDT的界限重新赋值。

*gdt_limit = 128 * sizeof(Descriptor) - 1;
*gdt_base = (int) &gdt;

这两段代码的功能重复了吗?

让我们先看另外一段代码。

#include <stdio.h>

int main(int argc, char **argv)
{
int b = 8;
printf("b = %d\n", b);
int *a = &b;
*a = 9;
printf("b = %d\n", b); return 0;
}

执行结果是:

MacBook-Pro:my-note-book cg$ ./test
b = 8
b = 9

第8行*a = 9;修改*a的值,同时也修改了b的值,因为第7行int *a = &b;

再回头看

short *gdt_limit = &gdt_ptr[0];
int *gdt_base = &gdt_ptr[2]; *gdt_limit = 128 * sizeof(Descriptor) - 1;
*gdt_base = (int) &gdt;

*gdt_base指向gdt_ptr[2]为初始地址的4个字节的连续的内存空间AD,修改*gdt_base,实质是修改AD中的数据。int *gdt_base = &gdt_ptr[2];的作用是让*gdt_base指向AD;*gdt_base = (int) &gdt;是修改AD中的数据,从业务逻辑的角度看,是把gdt的内存地址写入AD中。为什么要这样做?回忆一下我们的目的是什么?把存储了GDT的C语言中变量的内存地址存储到gdt_ptr中。

意外收获

在理解上面那个比较复杂的指针参数的过程中,我对指针有了新的理解。

int a;,要求CPU(不知道执行者是CPU还是操作系统)为a分配四个字节的内存空间,存储数据。

int *a;,要求CPU为a分配四个字节(第一片四字节内存空间,记作A),在这四个字节中存储一个内存地址,这个内存地址指向另外一个四字节的内存区域(记作B)。int *a的含义是,指向B中的int类型数据。

char days[5];
(short *)(&days[2]);

(short *)(&days[2]);的含义是:

  1. 指向一片内存区域addr,这片内存区域的长度是连续的2个字节(short是2个字节)。
  2. addr的初始地址是days[2]的内存地址,所以,这片内存是&days[2],&days[3]

操作系统---在内核中重新加载GDT和堆栈的更多相关文章

  1. iOS 解决LaunchScreen中图片加载黑屏问题

    iOS 解决LaunchScreen中图片加载黑屏问题 原文: http://blog.csdn.net/chengkaizone/article/details/50478045 iOS 解决Lau ...

  2. 出现了内部错误-网站中X509Certificate2加载证书时出错

    今天给网站配置了加密证书文件,用类X509Certificate2加载证书文件时,一直报出现了内部错误,但是Demo中用控制台程序加载证书没任何问题 读取证书文件的语句: X509Certificat ...

  3. iOS App中数据加载的6种方式

    我们看到的APP,往往有着华丽的启动界面,然后就是漫长的数据加载等待,甚至在无网络的时候,整个处于不可用状态.那么我们怎么处理好界面交互中的加载设计,保证体验无缝衔接,保证用户没有漫长的等待感,而可以 ...

  4. APP中数据加载的6种方式-b

    我们看到的APP,往往有着华丽的启动界面,然后就是漫长的数据加载等待,甚至在无网络的时候,整个处于不可用状态.那么我们怎么处理好界面交互中的加载设计,保证体验无缝衔接,保证用户没有漫长的等待感,而可以 ...

  5. 某APK中使用了动态注册BroadcastReceiver,Launcher中动态加载此APK出现java.lang.SecurityException异常的解决方法

    在某APK中,通过如下方法动态注册了一个BroadcastReceiver,代码参考如下: @Override protected void onAttachedToWindow() { super. ...

  6. 在ASP.NET中动态加载内容(用户控件和模板)

    在ASP.NET中动态加载内容(用户控件和模板) 要点: 1. 使用Page.ParseControl 2. 使用base.LoadControl 第一部分:加载模板 下 面是一个模板“<tab ...

  7. 在MVC应用程序中动态加载PartialView

    原文:在MVC应用程序中动态加载PartialView 有时候,我们不太想把PartialView直接Render在Html上,而是使用jQuery来动态加载,或是某一个事件来加载.为了演示与做好这个 ...

  8. cocos2dx lua中异步加载网络图片,可用于显示微信头像

    最近在做一个棋牌项目,脚本语言用的lua,登录需要使用微信登录,用户头像用微信账户的头像,微信接口返回的头像是一个url,那么遇到的一个问题就是如何在lua中异步加载这个头像,先在引擎源码里找了下可能 ...

  9. 【Swift】swift中懒加载的写法

    swift中懒加载的写法,直接上例子 (懒加载一个遮罩视图) lazy var dummyView: UIView = { let v = UIView() v.backgroundColor = U ...

随机推荐

  1. 洛谷-P1439 【模板】最长公共子序列 (DP,离散化)

    题意:给两个长度为\(n\)的全排列,求他们的LCS 题解:这题给的数据范围到\(10^5\),用\(O(n^2)\)的LCS模板过不了,但由于给的是两个全排列,他们所含的元素都是一样的,所以,我们以 ...

  2. Bone Collector II HDU - 2639 01背包第k最大值

    题意: 01背包,找出第k最优解 题解: 对于01背包最优解我们肯定都很熟悉 第k最优解的话也就是在dp方程上加一个维度来存它的第k最优解(dp[i][j]代表,体积为i能获得的第j最大价值) 对于每 ...

  3. 说说Golang goroutine并发那些事儿

    摘要:今天我们一起盘点一下Golang并发那些事儿. Golang.Golang.Golang 真的够浪,今天我们一起盘点一下Golang并发那些事儿,准确来说是goroutine,关于多线程并发,咱 ...

  4. C++ part6

    C++源文件从文本到可执行文件经历的过程 references: 一个C++源文件从文本到可执行文件经历的过程 C++源文件从文本到可执行文件经历的过程 gcc程序编译的静态链接和动态链接 保留中间过 ...

  5. 【DP】区间DP入门

    在开始之前我要感谢y总,是他精彩的讲解才让我对区间DP有较深的认识. 简介 一般是线性结构上的对区间进行求解最值,计数的动态规划.大致思路是枚举断点,然后对断点两边求取最优解,然后进行合并从而得解. ...

  6. java变量、数据类型、运算符

    关键字.保留字.标识符 关键字 Java关键字是对Java编译器有特殊含义的字符串,是编译器和程序员的一个约定,程序员利用关键字来告诉编译器其声明的变量类型.类.方法特性等信息 保留字 goto.co ...

  7. MATLAB字符串分解, 合并

    % 分解 % regexp s = 'ab/c/d.png' file_name = regexp(s, '/', 'split'); % 'd.png' % split fractions = sp ...

  8. js 可选链 & 空值合并 In Action

    js 可选链 & 空值合并 In Action const obj = { props: { name: 'eric', }, // prop, 不存在的属性 ️ }; console.log ...

  9. Xcode 切换 iOS 模拟器的 Dark 模式

    Xcode 切换 iOS 模拟器的 Dark 模式 SwiftUI // // ContentView.swift // MemorizeGame // // Created by 夏凌晨 on 20 ...

  10. copy-webpack-plugin & ignore folder

    copy-webpack-plugin & ignore folder https://github.com/webpack-contrib/copy-webpack-plugin#ignor ...