大话C语言：第27篇内存模型

1 存储硬件概述

现代计算机遵循冯诺依曼体系结果，存储分为：

外部存储器：长期存放数据，掉电不丢失数据。例如，硬盘、flash、rom、u 盘、光盘、磁带。
内部存储器：暂时存放数据，掉电数据丢失。例如，DDR内存条

应用程序从外部存储器加载至内部存储器过程包括：

用户启动应用程序：用户通过点击图标、从命令行运行或其他方式启动应用程序。
操作系统响应：操作系统接收到启动请求，并开始处理；如果应用程序尚未在内存中，操作系统会查找应用程序在磁盘上的位置（通常是可执行文件）。
加载程序（Loader）工作：加载程序首先读取应用程序的头部信息，这通常包括程序所需的各种资源、依赖项和代码段的位置。
读取代码和数据：加载程序从磁盘读取应用程序的代码段、数据段和其他必要的段。这些段通常包括程序的指令（即代码）和程序运行所需的数据。
分配内存空间：操作系统为应用程序分配所需的内存空间。这通常涉及到管理物理内存和虚拟内存。
加载至内存：将从磁盘读取的代码和数据段加载到分配的内存空间中。如果内存空间不足以容纳整个应用程序，操作系统会使用虚拟内存技术，将部分应用程序存储在磁盘上，并在需要时将其交换到RAM中。
设置程序计数器和其他寄存器：操作系统设置程序计数器（PC）以指向程序的入口点（即程序开始执行的指令）。还会设置其他必要的寄存器，以支持程序的执行。
执行：一旦程序在内存中准备好，操作系统会将控制权交给应用程序，程序开始执行。

2 物理内存和虚拟内存

物理内存：实实在在存在的存储设备
虚拟内存：内存管理的一种技术，它使得应用程序认为它拥有连续的可用的内存（一个连续完整的地址空间）。

其中，虚拟内存的工作原理是将进程使用的内存分为多个页面（通常为4KB或8KB），每个页面都有一个唯一的虚拟地址。当进程需要访问某个页面时，操作系统会检查该页面是否已经在物理内存中。如果已经在内存中，则直接访问该页面；如果不在内存中，则操作系统会将该页面从磁盘上的虚拟内存中读取到内存中，并将其映射到进程的虚拟地址空间中。

操作系统会在物理内存和虚拟内存之间做映射。

其中，虚拟内存主要有以下几种类型：

分页式虚拟存储：物理内存和虚拟内存都被划分为固定大小的页面（Page）。当程序需要更多内存时，操作系统将不常用的页面移动到硬盘上的交换空间，并将需要的页面加载到物理内存中。这种方式实现了内存的动态分配和页面的调度，但需要频繁地进行页面调入和调出，可能影响系统性能。
段式虚拟存储：程序的地址空间被划分为多个逻辑段，每个段可以具有不同的长度和访问权限。当程序需要内存时，操作系统将程序的逻辑段映射到物理内存或硬盘上的交换空间。这种方式更灵活，可以根据程序的需要分配不同大小的内存空间，但需要额外的管理和调度。
请求分页式虚拟存储：结合了分页式和段式虚拟存储的特点。在这种方式中，程序的地址空间被划分为多个段，每个段又被划分为多个页面。

3 逻辑地址和物理地址

逻辑地址：是指程序在运行过程中使用的地址，也称为虚拟地址（Virtual Address）。它是由CPU生成的，用于访问内存中的数据。逻辑地址的大小和位数取决于处理器的架构和操作系统的设计，通常是一个定长的二进制数值。在执行指令时，CPU通过将逻辑地址转化为物理地址来获取数据。
物理地址：是指内存中实际的地址，也称为实地址（Real Address）。物理地址表示内存模块中每个存储单元（通常是字节）的唯一标识符，因此具有唯一性，且直接与内存相关联。物理地址通常是一个以十六进制表示的数字，它确定了计算机中的实际内存位置。

其中，应用程序主要使用的是逻辑地址；逻辑地址是程序代码中使用的地址，由程序员或操作系统生成。在 32 位系统下，每个进程（运行着的程序）的寻址范围是 0x00000000 ~0xff ff ff ff，空间大小为4G。

4 C语言程序内存布局

4.1 系统空间

存放在整个内核的代码和所有的内核模块，用来内核空间执行 Linux 系统调用。

4.2 栈区

存局部变量、函数，调用函数时会开辟栈区，函数结束时就自动回收，遵循后进先出的原则，从高地址向低地址增长。

栈区主要特点包括：

栈内存由编译器在程序编译阶段完成。
函数返回后该函数的栈空间消失，所以函数中返回局部变量的地址都是非法的。
栈区存放局部变量。
堆区的空间是由下往上增长的。
自动分配内存，{}内有效，离开{}自动释放。
未初始化的值为随机值。
未初始化的静态局部变量，其值为0。

4.3 堆区

malloc、realloc、calloc等开辟的内存就在堆，从低地址向高地址增长，由程序员分配和释放，系统不自动回收，所以一定要记得申请了就要释放，以免溢出。动态内存是开发者手动分配的，是堆分配的。

堆的主要特点：

堆内存是在程序执行过程中分配的，用于存放进程运行中被动态分配的的变量。
函数返回这段内存不会消失。
动态申请的内存，程序员自己管理，用完要free，否则内存泄漏。
堆区的空间是由下往上增长的。
内存里面的内容为随机值，一般用memset函数清0。

注意，

避免分配大量的小内存块。分配堆上的内存有一些系统开销，所以分配许多小的内存块比分配几个大内存块的系统开销大。
仅在需要时分配内存。只要使用完堆上的内存块，就需要及时释放它(如果使用动态分配内存，需要遵守原则：谁分配，谁释放)，否则可能出现内存泄漏。

4.4 数据段

数据段包含程序中已经初始化的全局变量和静态变量。这些变量在程序运行期间一直存在，并且它们的值在程序开始执行之前就已经确定。

数据段可以进一步细分为已初始化数据段（包含有明确初始值的全局变量和静态变量）和未初始化数据段（也称为BSS段，包含未明确初始化的全局变量和静态变量，通常初始化为0）。

数据段分为：

rodata段：Read-Only Data段的缩写，是程序内存中的一个特定区域，用于存放只读数据，也就是那些不可修改的常量数据。这些数据在程序执行期间不会发生变化，因此被设计为只读，以防止程序意外地修改它们。rodata段常被称为常量区，存放的是诸如整数常量、字符串常量等。
bss段：程序内存布局中的一个特定段，它主要用于存放程序中未初始化的全局变量和静态变量。这些变量在编译时并没有明确赋予初值，因此在程序加载到内存时，系统会自动将bss段的内存空间清零，以保证这些变量在使用前具备确定的初值。
data段：主要用于存储程序中已经初始化且初值不为0的全局变量和静态局部变量。这些数据在程序编译时就已经确定，并且在程序运行期间会保持不变，因此它们被存放在一个可读可写的内存区域中。

注意，data段与bss段在功能上有所区别：

bss段主要用于存储未初始化的全局变量和静态变量，这些变量在程序加载时会被自动初始化为0。而data段则专门用于存储已初始化的非零变量。这种分工使得内存管理更为高效和有序。
在程序执行过程中，data段的内容是保持不变的。这是因为这些数据在程序编译时已经确定，并且在程序运行期间不会被修改。这使得.data段成为程序中的一个稳定的数据存储区域，为程序提供了可靠的数据支持。