Linux从头学03：如何告诉 CPU，代码段、数据段、栈段在内存中什么位置？

最新推荐文章于 2023-07-25 21:03:44 发布

Perrysky

最新推荐文章于 2023-07-25 21:03:44 发布

阅读量1k

点赞数

CC 4.0 BY-SA版权

分类专栏：系统底层文章标签： c++ c语言 linux

原文链接：https://mp.weixin.qq.com/s?__biz=MzA3MzAwODYyNQ==&mid=2247485637&idx=1&sn=3a52d5f1c8621fab16c2194053868f7b&chksm=9f14dc5ba863554d01b5c29eb9c0425be1a74074f230989ddaffbd308bfdf8b5966878581af2&scene=178&cur_album_id=1782185297661755393#rd

系统底层专栏收录该内容

2 篇文章

订阅专栏

本文深入探讨了8086处理器中的段寄存器，包括代码段、数据段和栈段的作用。在Linux2.6中，线性地址区间被简化处理，虚拟地址等同于线性地址。通过一个简单的8086汇编程序示例，展示了如何设置段寄存器和栈顶指针，并解释了段的地址空间和数据存储。文章强调了学习底层硬件机制对于理解现代操作系统的重要性。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

原创道哥 IOT物联网小镇

收录于话题

#Linux 操作系统10

#所有文章71

几个重要的段寄存器
Linux 2.6 中的线性地址区间
一个“完整”的 8086 汇编程序

前两篇文章，我们一起学习了 8086 处理器中关于 CPU、内存的基本使用方式，重点对段寄存器和内存的寻址方式进行了介绍。

可能有些小伙伴会对此不屑：现在都是多核的现代处理器，操作系统已经变得非常的强大，为何还去学习这些古董知识？

前几天看到下面这段话，可以来回答这个问题：

“我们都希望学习最新的、使用的东西，但学习的过程是客观的。”

“任何合理的学习过程（尽可能排除走弯路、盲目探索、不成系统）都是一个循序渐进的过程。”

“我们必须先通过一个易于全面把握的事物，来学习和探索一般的规律和方法。”

就拿学习 Linux 操作系统来说，作为一个长期的学习计划，不太可能一上来就阅读最新的 Linux 5.13 版本的代码。

更有可能是先学习 0.11 版本，理解了其中的一些原理、思想之后，再循序渐进的向高版本进行学习、探索。

那么对于《Linux 从头学》这个系列的文章来说，我是希望自己能够把学习路线再拉长一些，从更底层的硬件机制、驱动原理开始，由简入繁，一步一步最终把 Linux 操作系统这个块硬骨头给啃下来。

那么今天我们就继续 8086 下的学习，来看看一个相对“完整”程序的基本结构。

几个重要的段寄存器

在 x86 系统中，段寻址机制以及相关的寄存器是如此的重要，以至于我忍不住在这里，把几个段寄存器再小结一下。

代码段：用来存放代码，段的基地址放在寄存器 CS 中，指令指针寄存器 IP 用来表示下一条指令在段中的偏移地址;

数据段：用来存放程序处理的数据，段的基地址存放在寄存器 DS 中。对数据段中的某个数据进行操作时，直接在汇编代码中通过立即数或寄存器来指定偏移地址;

栈段：本质上也是用来存放数据，只不过它的操作方式比较特殊而已：通过 PUSH 和 POP 指令来进行操作。段的基地址存放在寄存器 SS 中，栈顶单元的偏移地址存放在寄存器 IP 中。

这里的段，本质上是我们把内存上的某一块连续的存储空间，专门存储某一类的数据。

我们之所以能够这么做，是因为 CPU 通过以上几个寄存器，让我们这样的“安排”称为一种可能。

一句话总结：CPU 将内存中的某个段的内容当做代码，是因为 CS:IP 指向了那里；CPU 将某个段当做栈，是因为 CS:SP 指向了那里。

在之前的一篇文章中，演示了 ELF 格式的可执行文件中，具体包含了哪些段《Linux系统中编译、链接的基石-ELF文件：扒开它的层层外衣，从字节码的粒度来探索》：

虽然这张图中描述的段结构更复杂，但是从本质上来说，它与 8086 中描述的段结构是一样的！

Linux 2.6 中的线性地址区间

在一个现代操作系统中，一个进程中使用的的地址空间，一般称作虚拟地址(也称作逻辑地址)。

虚拟地址首先经过段转换，得到线性地址；然后线性地址再经过分页转换，得到最终的物理地址。

这里再啰嗦一下，很多书籍中队内存地址的称呼比较多，都是根据作者的习惯来称呼。

我是按照上图的方式来理解的: 编译器产生的地址叫做虚拟地址，也叫做逻辑地址，然后经过两级转换，得到最终的物理地址。

在 Linux 2.6 代码中，由于 Linux 把整个 4 GB 的地址空间当做一个“扁平”的结果来处理(段的基地址是 0x0000_0000，偏移地址的最大值是 4GB)，因此虚拟地址(逻辑地址)在数值上等于线性地址。

我们再结合上次给出的这张图来理解：

这张图的意思是：在 Linux 2.6 中，用户代码段的开始地址是 0，最大范围是 4 GB；用户数据段的开始地址是 0，最大范围也是 4 GB；内核的数据段和代码段也是如此。

为什么：虚拟地址(逻辑地址)在数值上等于线性地址？

线性地址 = 段基址 + 虚拟地址(偏移量)，因为段基址为 0 ，所以线性地址在数值上等于虚拟地址。

Linux 之所以要这样安排，是因为它不想过多的利用 x86 提供的段机制来进行内存地址的管理，而是想充分利用分页机制来进行更加灵活的地址管理。

还有一点需要提醒一下：

在上述描述的文字中，我都会标明一个机制或者策略，它是由 x86 平台提供的，还是由 Linux 操作系统提供的。

对于分页机制也是如此，x86 硬件提供了分页机制，但是 Linux 在 x86 提供的这个分页机制的基础上，进行了扩展，以达到更加灵活的内存地址管理目的。

因此，各位小伙伴在看一些书籍的时候，心中要有一个谱：当前描述内容的上下文环境是什么。

当我们创建一个进程的时候，在内核中就会记录这个进程所拥有的所有线性地址区间。

进程所拥有的所有线性地址区间是一个动态的过程，根据程序的需求随时进行扩展或缩小。例如：把一个文件映射到内存，动态加载/卸载一个动态库等等。

我们知道，内核在操作物理内存的时候，是通过“页框”这个单位来管理的。

一个页框可以包含 1-n 个页，每一页的大小一般是 4 KB，这是对物理内存的管理。

一个线性地址区间可以包含多个物理页。每一个线性地址最终通过多级的页表转换，来最终得到一个物理地址。

注意：上图中，线性地址区间1，映射到物理地址空间中的 N 个 Page，这些 Page 有可能是连续的，也有可能不是连续的。

虽然在物理内存中是不连续的，但是由于被分页转换机制进行了屏蔽，我们在应用程序中都是按照连续的空间来使用的。

一个“完整”的 8086 汇编程序

我们再继续回到 8086 系统中来。

这里描述的地址，经过段地址转换之后，就是一个物理地址，没有经过复杂的页表转换。

这也是我们以 8086 系统作为学习平台的目的：抛开复杂的操作系统，直接探索底层的东西。

在这个最简单的汇编程序中，会使用到 3 个段：代码段，数据段和栈段。

前面已经说到：所谓的段，就是一个地址空间。既然是一个地址空间，必然包含 2 个元素：从什么地方开始，长度是多少。

还是直接上代码：

assume ds:addr1, ss:addr2, cs:addr3

addr1 segment           ; 把数据段安排在这个位置
        db 32 dup (0)   ; 这 32 个字节，是数据段的大小
addr1 end

addr2 segment           ; 把栈段安排在这个位置
        db 32 dup(0)    ; 这 32 个字节，是栈段的大小
addr2 end

addr3 segment           ; 把代码段安排在这个位置
start   
        mov ax, addr1
        mov ds, ax      ; 设置数据段寄存器
        
        mov ax, addr2
        mov ss, ax      ; 设置栈段寄存器
        mov sp, 20h     ; 设置栈顶指针寄存器
        
        ...             ; 其他代码
addr3 ends

end start

以上就是一个汇编代码的基本程序结构，我们给它安排了 3 个段。

3 个标号：addr1、addr2 和 addr3，代表了每一个段的开始地址。在代码段的开始部分，把数据段标号 addr1 代表的地址，赋值给 DS 寄存器；把栈段标号 addr2 代表的地址，赋值给 SS 寄存器。